Abiteboul, Serge. (1990). Towards a deductive object-oriented database language. Data and Knowledge Engineering
, 5, 263–287.Google Scholar
Abiteboul, Serge and Kanellakis, Paris. (1989). Object identity as a query language primitive. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, (pp. 159–173).
Aït-Kaci, H. and Nasr, R. (1989). LOGIN: A logic programming language with built-in inheritance. Journal of Logic Programming
, 3, 185–215.Google Scholar
Baader, Franz, Bürckert, Hans-Jürgen, Hollunder, Bernhard, Nutt, Werner, and Siekmann, JörgH. (1990). Concept logics. In JohnW. Lloyd (Ed.), Computational Logics, Symposium Proceedings, pp. 177–201. Springer-Verlag.
Baader, Franz and Hollunder, Bernhard. (1991). Aterminological knowledge representation system with complete inference algorithm. In Proc. of the Workshop on Processing Declarative Knowledge (PDK-91), number 567 in Lecture Notes in Artificial Intelligence, (pp. 67–86), Springer-Verlag.
Borgida, Alexander, Brachman, Ronald J., McGuinness, Deborah L. and Alperin Resnick, Lori. (1989). CLASSIC: A structural data model for objects. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, (pp. 59–67).
Brachman, Ronald J., Pigman Gilbert, Victoria and Levesque, Hector J. (1985). An essential hybrid reasoning system: Knowledge and symbol level accounts in KRYPTON. In Proc. of the 9th Int. Joint Conf. on Artificial Intelligence (IJCAI-85), (pp. 532–539), Los Angeles.
Buchheit, Martin, Donini, Francesco M. and Schaerf, Andrea. (1993). Decidable reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research
, 1, 109–138.Google Scholar
Bürckert, Hans-Jürgen. (1994). A resolution principle for constrainted logics. Artificial Intelligence
, 66(2), 235–271.Google Scholar
Cadoli, Marco, Palopoli, Luigi, and Lenzerini, Maurizio. (1996). Datalog and description logics: Expressive power. Preliminary report. In Proc. of the 1996 Description Logic Workshop (DL-96).
Ceri, S., Gottlob, G. and Tanca, L. (1990). Logic programming and databases
. Springer-Verlag, Berlin.Google Scholar
Cohn, A.G. (1989). Taxonomic reasoning with many-sorted logics. Artificial Intelligence Review
, 3, 89–128.Google Scholar
De Giacomo, Giuseppe and Lenzerini, Maurizio. (1994). Boosting the correspondence between description logics and propositional dynamic logics. In Proc. of the 12th Nat. Conf. on Artificial Intelligence (AAAI-94), (pp. 205–212). AAAI Press/The MIT Press.
Donini, Francesco M., Lenzerini, Maurizio, Nardi, Daniele and Nutt, Werner. (1991a). The complexity of concept languages. In James Allen, Richard Fikes, and Erik Sandewall, editors, Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning(KR-91)
, (pp 151–162). Morgan Kaufmann, Los Altos.Google Scholar
Donini, Francesco M., Lenzerini, Maurizio, Nardi, Daniele and Schaerf, Andrea. (1991b). A hybrid system integrating Datalog and concept languages. In Proc. of the 2nd Conf. of the Italian Association for Artificial Intelligence (AI*IA-91), number 549 in Lecture Notes in Artificial Intelligence. Springer-Verlag. An extended version appeared also in the Working Notes of the AAAI Fall Symposium “Principles of Hybrid Reasoning”.
Fitting, Melvin. (1990). First-Order Logic and Automated Theorem Proving. Springer-Verlag.
Frisch, Alan M. (1989). A general framework for sorted deduction: Fundamental results on hybrid reasoning. In Ron J. Brachman, Hector J. Levesque, and Ray Reiter, editors, Proc. of the 1st Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-89)
. Morgan Kaufmann, Los Altos.Google Scholar
Frisch, Alan M. and Cohn, A. G. (1991). Thoughts and afterthoughts on the 1988 workshop on principles of hybrid reasonig. AI Magazine
, 12, 77–83.Google Scholar
Kifer, Michael, Lausen, Georg and Wu, James. (1995). Logical foundations of Object-Oriented and frame-based languages. Journal of the ACM, 42(3).
Levy, Alon Y., Rajaraman, Anand and Ordille, Joann J. (1996). Query answering algorithms for information agents. In Proc. of the 13th Nat. Conf. on Artificial Intelligence (AAAI-96), (pp. 40–47).
Levy, Alon Y. and Rousset, Marie-Christine. (1996). The limits on combining recursive Horn rules with description logics. In Proc. of the 13th Nat. Conf. on Artificial Intelligence (AAAI-96), (pp. 577–584).
Ling, Tok Wang, Mendelzon, Alberto O. and Vicille, Laurent (Eds.). (1995). Deductive and Object-Oriented Databases, number 1013 in Lecture Notes in Computer Science. Springer-Verlag.
Nebel, Bernhard. (1990). Terminological reasoning is inherently intractable. Artificial Intelligence
, 43, 235–249.Google Scholar
Nebel, Bernhard and von Luck, Kai. (1988). Hybrid reasoning in BACK. In Proc. of the 3rd Int. Sym. on Methodologies for Intelligent Systems (ISMIS-88)
, (pp. 260–269). North-Holland Publ. Co., Amsterdam.Google Scholar
Schmidt-Schauß, Manfred and Smolka, Gert. (1991). Attributive concept descriptions with complements. Artificial Intelligence
, 48(1), 1–26.Google Scholar
Stickel, Mark E. (1985). Automated deduction by theory resolution. Journal of Automated Reasoning
, 1(4), 333–355.Google Scholar
Ullman, Jeffrey D. (1988). Principles of Database and Knowledge Base Systems
, volume 1. Computer Science Press, Potomac, Maryland.Google Scholar
Van Hentenryck, Pascal. Constraint Satisfaction in Logic Programming. MIT Press, 1989.