Publications

Book Chapters

• Carolina Ruiz and Jack Minker, Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs, in Nonmonotonic Extensions of Logic Programming, edited by J. Dix, L.M. Pereira and T.C. Przymusinski. Lecture Notes in Computer Science 927. Springer-Verlag, pages 205-229, 1995.

Research Articles in Journals

• Jack Minker and Carolina Ruiz, Semantics for Disjunctive Logic Programs with Explicit and Default Negation, Fundamenta Informaticae, Anniversary Issue, edited by H. Rasiowa, volume 20, number 3/4, pages 145-192, 1994.

• Dietmar Seipel, Jack Minker, Carolina Ruiz. Model Generation and State Generation for Disjunctive Logic Programs. Submitted for publication to the Journal of Logic Programming.

  Jack Minker and Carolina Ruiz. Mixing a Default Rule with Stable Negation. Proc. of the Fourth International Symposium on Artificial Intelligence and Mathematics. Fort Lauderdale, Florida, pages 122-125, Jan. 1996.

• Jack Minker and Carolina Ruiz, On Extended Disjunctive Logic Programs, Proceedings of the Seventh International Symposium on Methodologies for Intelligent Systems. (Invited Paper), Edited by J. Komorowski and Z.W. Ras, Lecture Notes in Artifical Intelligence, Springer-Verlag, pages 1-18, June 1993.

Theses

• Carolina Ruiz. Semantics of Knowledge Based Systems with Multiple Forms of Negation. Ph.D. thesis, Department of Computer Science. University of Maryland, College Park, MD. 20742. (In preparation.)

• Carolina Ruiz. Manta 2: An abstract data types manager. Master's thesis, Department of Computer Science. University of Los Andes. Bogotá, Colombia, 1990. (In Spanish).

• Carolina Ruiz. Automata topoi. BS Thesis. Department of Mathematics. University of Los Andes. Bogotá, Colombia, 1989. (In Spanish).

• Carolina Ruiz. An implementation of the Boyer and Moore theorem prover. BS Thesis. Department of Computer Science. University of Los Andes. Bogotá, Colombia, 1988. (In Spanish).

In Preparation

• Jack Minker and Carolina Ruiz. Disjunctive Logic Programs with Several Types of Negation. (In preparation.)

• Dietmar Seipel, Jack Minker and Carolina Ruiz. A Modified Disjunctive Well-Founded Semantics. (In preparation.)

Technical Reports

• Dietmar Seipel, Jack Minker, Carolina Ruiz. Model Generation and State Generation for Disjunctive Logic Programs. TR CS-TR-3546 UMIACS-TR-95-99, Dept. of Computer Science and Institute for Advanced Computer Studies. University of Maryland, College Park, MD 20742. USA, 1995.

• Carolina Ruiz and Jack Minker, Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs, TR CS-TR-3458 UMIACS-TR-95-49, Dept. of Computer Science and Institute for Advanced Computer Studies. University of Maryland, College Park, MD 20742. USA, 1995.

• Jack Minker and Carolina Ruiz, Semantics for Disjunctive Logic Programs with Explicit and Default Negation, TR CS-TR-3160 UMIACS-TR-93-107, Dept. of Computer Science and Institute for Advanced Computer Studies. University of Maryland, College Park, MD 20742. USA, 1993.