People
Carolina Ruiz
Publications
Peer-Reviewed (Refereed) Journal Articles
-
Jack Minker, and Carolina Ruiz. Logic Knowledge Bases with Two Default Rules. Submitted for publication to Annals of Mathematics and Artificial Intelligence, 1996.
-
Dietmar Seipel, Jack Minker, and Carolina Ruiz. Model Generation and State Generation for Disjunctive Logic Programs. To appear in the Journal of Logic Programming. Available as 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.
-
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.
-
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.
Publications Under Review
-
Carolina Ruiz, and Jack Minker. Combining Closed World Assumptions with Stable Negation. To appear in Fundamenta Informaticae.
Conference Publications/Proceedings, Reviewed
-
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.
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.