Adnan Yahya: Selected Publications

  1. Adnan Yahya and L.J. Henschen: Deduction in Non-Horn Databases. Journal of Automated Reasoning (JAR) , 1(2):141-160, 1985.
  2. Adnan Yahya and Jack Minker: Representations for Disjunctive Deductive Databases. Technical Report UMIACS-TR-93-63 and CS-TR3103, University of Maryland Institute for Advance Computer Studies, College Park, Maryland. 1994.
  3. Adnan Yahya, Jose Alberto Fernandez and Jack Minker: Ordered Model Trees: A normal Form for Disjunctive Deductive Databases. Journal of Automated Reasoning (JAR) , 13(1):117-143, August 1994.
  4. Adnan Yahya and Jack Minker: Query Evaluation in Partitioned Disjunctive Deductive Databases. International Journal of Intelligent and Cooperative Information Systems (IJCIS), 3(4):385-413, December 1994.
  5. Jose Alberto Fernandez, Jack Minker and Adnan Yahya: Computing Perfect and Stable Models Using Ordered Model Trees . Journal of Computational Intelligence , 11(1):89-112, Feb. 1995.
  6. François Bry and Adnan Yahya: Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux. Proceedings of the 5th Workshop on Theorem Proving with Tableaux and Related Methods, Lecture Notes on Artificial Intelligence Series, Springer-Verlag, No. 1071, Pages: 143-159, May 1996.
    Abstract (ASCII), Full version (gzipped Postscript).
  7. Thomas Brüggemann, François Bry, Norbert Eisinger, Tim Geisler, Sven Panne, Heribert Schütz, Sunna Torge, Adnan Yahya: Satchmo: Minimal Model Generation and Compilation (System Description) JFPLC'96.
    Abstract (ASCII), Full version (gzipped Postscript).
  8. Adnan Yahya: Model Generation in Disjunctive Normal Databases. Technical Report Number PMS-FB-1996-10. Institut fuer Informatik, LMU-Muenchen, Germany.
    Abstract (ASCII) Full version (gzipped Postscript).
  9. Adnan Yahya: A Goal-Driven Approach to Efficient Query Processing in Disjunctive Databases. Technical Report Number PMS-FB-1996-12. Institut fuer Informatik, LMU-Muenchen, Germany. Presented at the Dagstuhl Seminar on Disjunctive Logic Programming and Databases: Nonmonotonic Aspects, 1-5 July, 1996, Dagstuhl, Germany, Report Number 150.
    Abstract (ASCII), Full version (gzipped Postscript).
  10. Adnan Yahya: Generalized Query Answering in Disjunctive Databases Using Minimal Model Generation. Technical Report Number PMS-FB-1996-13. Institut fuer Informatik, LMU-Muenchen, Germany.
    Abstract (ASCII), Full version (gzipped Postscript).
  11. Adnan H. Yahya: Generalized Query Answering in Disjunctive Deductive Databases: Procedural and Nonmonotonic Aspects. Fourth International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR'97. Dagstuhl, Germany, July 28-31, 1997. Lecture Notes on Artificial Intelligence Series, Springer-Verlag Number 1265, July 1997. PP. 324-340
    Abstract (ASCII), Full version (Postscript).
  12. Adnan H. Yahya: Updates in Disjunctive Deductive Databases: A Minimal Model Based Approach. Proceedings of the Workshop Logic Programming and Knowledge Representation (LPKR'97) in conjunction with the International Logic Programming Symposium 1997 (ILPS'97). Port Jefferson, Long Island N.Y., Oct 12-16 1997.
    Abstract (ASCII), Extended Abstract (postscript), Full version (Postscript).
  13. François Bry and Adnan Yahya: Positive Unit Hyper-Resolution Tableaux for Minimal Model Generation. Journal of Automated Reasoning (JAR) (to Appear).
  14. Adnan H. Yahya: Minimal Model Generation for Refined Answering of Generalized Queries in Disjunctive Deductive Databases. Journal of Data and Knowledge Engineering (to Appear).

Adnan Yahya: Selected Publications on other Topics:
EEEE Department          CollegeCollege          BZUUniversity yahyaA. Yahya