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

[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

[3]

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

[4]

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

[5]

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

[6]

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

[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

[8]

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

[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)

[10]

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

[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)

[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

[13]

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

[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)

[15]

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

[16]

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

[17]

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

[18]

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

[19]

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

[20]

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

[21]

...

[22]

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

[23]

...

[24]

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

[25]

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

[26]

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

[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)

[28]

...

[29]

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

[30]

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

[31]

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

[32]

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

[33]

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

[34]

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

[35]

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

[36]

...

[37]

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

[38]

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

[39]

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

[40]

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