 |
|
|
|
|
|
|
|
Annex |
|
|
|
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 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. 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. |
|
|
|
Fernandez J.A., Formal Specification of a Description System for Animated Images. Master Thesis, Universidad Simon Bolivar. Caracas, Venezuela (Oct 1985). |
|
|
|
Fernandez J.A., Meier A., Abstract Data Types for the specification of Animation: SCRIPTS, ACTORS and MOVIES. Proceedings de la Conferencia PANEL 85. Porto Alegre, Brasil (Jul 85). |
|
|
|
Aponte, Fernandez, Roussel, EDILOG, An editor for first-order logic proofs, Proceedings de la Conferencia PANEL 84. Vina del Mar, Chile (Abr 84). |
|
|
|
Aponte, Fernandez, Roussel, EDITING FIRST-ORDER PROOFS: Programmed Rules vs. Derived Rules. Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, NJ (Feb 84). |
|