Preliminary version presented at the Workshop on Disjunctive Logic Programs, International Logic Programming Symposium 1991, San Diego, California, 1993.
|
|
|
|
|
|
| Publications: | |||||
| Jose Alberto Fernandez, Jarek Gryz and Jack Minker, Disjunctive Deductive Databases: Semantics, Updates and Architecture, In Proceedings of the 4th Bar-Ilan Symposium on Foundations of AI, M. Koppel E, Shamir (eds.), AAAI Press, 1996, pp. 256-274 (Invited Paper). | |||||
| Jose Alberto Fernandez, Disjunctive Deductive Databases, PhD Thesis, Department of Computer Science, University of Maryland at College Park, 1994. | |||||
| Jose Alberto Fernandez, Weak Models for Disjunctive Logic Programs, International Logic Programming Symposium, 1993. | |||||
| Jose Alberto Fernandez and Jorge Lobo, A Proof Procedure for Stable Theories, Technical Report (UMIACS-TR-93-14 and CS-TR-3034), Department of Computer Science and the University of Maryland Institute for Advanced Computer Studies, University of Maryland at College Park, 1993. | |||||
| Jose Alberto Fernandez and Jack Minker, Disjunctive Deductive Databases, Proceedings of the Logic Programming and Automated Reasoning Conference, 1992. | |||||
| Jose Alberto Fernandez and Jack Minker. Semantics of Disjunctive Databases, International Conference on Data Technologies, 1992. | |||||
| Jose Alberto Fernandez and Jack Minker, Bottom-Up Computation of Perfect Models for Disjunctive Theories, Journal of Logic Programming, 1993. Submitted. Preliminary version presented at the Workshop on Disjunctive Logic Programs, International Logic Programming Symposium 1991, San Diego, California, 1993. |
|||||
| Jose Alberto Fernandez, Jorge Lobo, Jack Minker, and V.S. Subrahmanian, Disjunctive LP + Integrity Constraints = Stable Model Semantics, Annals of Mathematics and Artificial Intelligence, 8(3-4):449-474, 1993. | |||||
| J.A. Fernandez, J. Minker and A. Yahya. Computing Perfect and Stable Models Using Ordered Model Trees, Computational Intelligence, 11(1):89-112, Feb. 1995. | |||||
| Adnan Yahya, Jose Alberto Fernandez, and Jack Minker, Ordered Model Trees: A normal Form for Disjunctive Deductive Databases, Technical Report UMIACS-TR-93-63 and CS-TR3103, University of Maryland Institute for Advance Computer Studies, College Park, MD 20742, July 1993. Submitted to the Journal of Automated Reasoning. | |||||
| Zahidul Khandaker, Jose Alberto Fernandez, and Jack Minker, A Tractable Class of Disjunctive Deductive Databases, Workshop on Deductive Databases, International Conference on Logic Programming, 1992. | |||||