A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning.

@article{DBLP:journals/tkde/LeoneRMR97,
  author    = {Nicola Leone and
               Pasquale Rullo and
               Antonella Mecchia and
               Giuseppe Rossi},
  title     = {A Deductive Environment for Dealing with Objects and Nonmonotonic
               Reasoning},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {9},
  number    = {4},
  year      = {1997},
  pages     = {539-558},
  ee        = {db/journals/tkde/LeoneRMR97.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1997 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

References

[1]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX

[2]

Matts Ahlsen, Alessandro D'Atri, Paul Johannesson, Els Laenens, Nicola Leone, Pasquale Rullo, P. Rossi, François Staes, Laura Tarantino, L. Van Beirendonck, L. Van Cadsand, W. Van Santvliet, J. Vanslembrouck, Brigitte Verdonk, Dirk Vermeir: The KIWIS Knowledge Base Management System. CAiSE 1991: 79-97 BibTeX

[3]

Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 BibTeX

[4]

Hassan Aït-Kaci, Roger Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3(3): 185-215(1986) BibTeX

[5]

Isaac Balbin, Kotagiri Ramamohanarao: A Generalization of the Differential Approach to Recursive Query Evaluation. J. Log. Program. 4(3): 259-262(1987) BibTeX

[6]

François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162 BibTeX

[7]

François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15 BibTeX

[8]

Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-284 BibTeX

[9]

Isaac Balbin, Graeme S. Port, Kotagiri Ramamohanarao, Krishnamurthy Meenakshi: Efficient Bottom-UP Computation of Queries on Stratified Databases. J. Log. Program. 11(3&4): 295-344(1991) BibTeX

[10]

Francesco Buccafurri, Nicola Leone, Luigi Palopoli, Pasquale Rullo: Disjunctive Ordered Logic. DEXA 1995: 303-312 BibTeX

[11]

Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Stable Models and Their Computation for Logic Programming with Inheritance and True Negation. J. Log. Program. 27(1): 5-43(1996) BibTeX

[12]

Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto Zicari: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. SIGMOD Conference 1990: 225-236 BibTeX

[13]

Marco Cadoli, Thomas Eiter, Georg Gottlob: Default Logic as a Query Language. KR 1994: 99-108 BibTeX

[14]

Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2(1): 76-90(1990) BibTeX

[15]

Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378 BibTeX

[16]

Michael Gelfond, Vladimir Lifschitz: Logic Programs with Classical Negation. ICLP 1990: 579-597 BibTeX

[17]

Sergio Greco, Nicola Leone, Pasquale Rullo: COMPLEX: An Object-Oriented Logic Programming System. IEEE Trans. Knowl. Data Eng. 4(4): 344-359(1992) BibTeX

[18]

Ravi Krishnamurthy, Haran Boral, Carlo Zaniolo: Optimization of Nonrecursive Queries. VLDB 1986: 128-137 BibTeX

[19]

Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146 BibTeX

[20]

Robert A. Kowalski, Fariba Sadri: Logic Programs with Exceptions. ICLP 1990: 598-613 BibTeX

[21]

...

[22]

Nicola Leone, Giuseppe Rossi: Well-Founded Semantics and Stratification for Ordered Logic Programs. New Generation Comput. 12(1): 91-121(1993) BibTeX

[23]

...

[24]

Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. SIGMOD Conference 1988: 424-433 BibTeX

[25]

Els Laenens, Domenico Saccà, Dirk Vermeir: Extending Logic Programming. SIGMOD Conference 1990: 184-193 BibTeX

[26]

Els Laenens, Dirk Vermeir: A Fixpoint Semantics for Ordered Logic. J. Log. Comput. 1(2): 159-185(1990) BibTeX

[27]

Els Laenens, Dirk Vermeir: Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models. J. Log. Comput. 2(2): 133-172(1992) BibTeX

[28]

...

[29]

Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross: Glue-Nail: A Deductive Database System. SIGMOD Conference 1991: 308-317 BibTeX

[30]

Teodor C. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 193-216 BibTeX

[31]

Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980) BibTeX

[32]

Kenneth A. Ross: Modular Stratification and Magic Sets for DATALOG Programs with Negation. PODS 1990: 161-171 BibTeX

[33]

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: CORAL - Control, Relations and Logic. VLDB 1992: 238-250 BibTeX

[34]

Domenico Saccà, Carlo Zaniolo: The Generalized Counting Method for Recursive Logic Queries. ICDT 1986: 31-53 BibTeX

[35]

V. S. Subrahmanian: Amalgamating Knowledge Bases. ACM Trans. Database Syst. 19(2): 291-331(1994) BibTeX

[36]

...

[37]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[38]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: Unfounded Sets and Well-Founded Semantics for General Logic Programs. PODS 1988: 221-230 BibTeX

[39]

Moshe Y. Vardi: The Complexity of Relational Query Languages (Extended Abstract). STOC 1982: 137-146 BibTeX

[40]

Peter Wegner: Dimensions of Object-Based Language Design. OOPSLA 1987: 168-182 BibTeX