Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello  Home/Search
Context Related
| dbai.tuwien.ac.at/staff...lpnmr97.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dbai.tuwien.ac.at/...publications (more) Homepages: T.Eiter |
Rate this article:      (best)Comment on this article |
Abstract: . Disjunctive Deductive Databases (DDDBs) --- function-free disjunctive logic programs with negation in rule bodies allowed --- have been recently recognized as a powerful tool for knowledge representation and commonsense reasoning. Much research has been spent on issues like semantics and complexity of DDDBs, but the important area of implementing DDDBs has been less addressed so far. However, a thorough investigation thereof is a basic requirement for building systems which render previous... (Update)
Cited by: More
Logics for Authorizations and Security - Piero Bonatti And (2003) (Correct)
A Logic Framework for Reasoning on Workflow Executions - Greco, Guzzo, Sacca (2004) (Correct)
Enhancing Disjunctive Logic Programming for Ontology.. - Calimeri, Galizia.. (2003) (Correct)
Similar documents (at the sentence level):
50.5%: The Architecture of a Disjunctive Deductive Database.. - Eiter, Leone, Mateis.. (1997) (Correct)
Active bibliography (related documents): More All
1.3: A Deductive System for - Non-Monotonic Reasoning Thomas (Correct)
0.3: Disjunctive Datalog - Eiter, Gottlob, Mannila (1997) (Correct)
0.3: Disjunctive Stable Models: Unfounded Sets, Fixpoint.. - Leone, Rullo, Scarcello (1997) (Correct)
Similar documents based on text: More All
1.0: Progress Report on the Disjunctive Deductive Database System - Eiter (1998) (Correct)
1.0: Publication List 2000 - TU-Wien (2000) (Correct)
0.9: The dlv System: Model Generator and Application Frontends - Citrigno, Eiter, Faber, .. (1997) (Correct)
Related documents from co-citation: More All
33: The Stable Model Semantics for Logic Programming - Gelfond - 1988
28: Classical Negation in Logic Programs and Disjunctive Databases - Gelfond, Lifschitz - 1991
20: A Logic for Default Reasoning (context) - Reiter - 1980
BibTeX entry: (Update)
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A Deductive System for Nonmonotonic Reasoning. In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '97), number 1265 in Lecture Notes in AI (LNAI), Berlin, 1997. Springer. http://citeseer.ist.psu.edu/eiter97deductive.html More
@inproceedings{ eiter97deductive,
author = "Thomas Eiter and Nicola Leone and Cristinel Mateis and Gerald Pfeifer and Francesco Scarcello",
title = "A Deductive System for Non-Monotonic Reasoning",
booktitle = "Logic Programming and Non-monotonic Reasoning",
pages = "364-375",
year = "1997",
url = "citeseer.ist.psu.edu/eiter97deductive.html" }
Citations (may not include all citations):374 Classical Negation in Logic Programs and Disjunctive Databas.. - Gelfond, Lifschitz - 1991
312 The Well-Founded Semantics for General Logic Programs - van Gelder, Ross et al. - 1991
189 Foundations of Disjunctive Logic Programming (context) - Lobo, Minker et al. - 1992
185 On Indefinite Data Bases and the Closed World Assumption (context) - Minker - 1982
149 Logic Programming and Knowledge Representation - Baral, Gelfond - 1994
120 Stable Semantics for Disjunctive Programs - Przymusinski - 1991
113 Relations and Logic (context) - Ramakrishnan, Srivastava et al. - 1992
91 Splitting a Logic Program - Lifschitz, Turner - 1994
84 The Complexity of Logic-Based Abduction - Eiter, Gottlob - 1995
82 Semantics of Logic Programs: Their Intuitions and Formal Pro.. - Dix - 1995
76 Static Semantics for Normal and Disjunctive Logic Programs - Przymusinski - 1995
61 Disjunctive stable models: Unfounded sets (context) - Leone, Rullo et al. - 1997
60 Efficient Implementation of the Well-founded and Stable Mode.. - Niemela, Simons - 1996
46 Disjunctive Semantics based upon Partial and Bottom-Up Evalu.. - Brass, Dix - 1995
44 Possible Model Semantics for Disjunctive Databases - Sakama - 1989
43 Propositional Semantics for Disjunctive Logic Programs (context) - Ben-Eliyahu, Dechter - 1994
35 Strong and weak constraints in disjunctive datalog (context) - Buccafurri, Leone et al. - 1997
34 Disjunctive Datalog - Eiter, Gottlob et al. - 1997
28 COMPLEX: An Object-Oriented Logic Programming System (context) - Greco, Leone et al. - 1992
27 Experimenting with Nonmonotonic Reasoning (context) - Cholewi'nski, Marek et al. - 1995
25 Branch and Bound = Stable Models (context) - Subrahmanian, Nau et al. - 1995
20 Reasoning with Minimal Models: Efficient Algorithms and Appl.. (context) - Ben-Eliyahu, Palopoli - 1994
17 Annals of Mathematics and Artificial Intelligence (context) - Minker, Disjunctive - 1994
15 A Deductive Database System (context) - Phipps, Derr et al. - 1991
11 Embedding Circumscriptive Theories in General Disjunctive Pr.. - Sakama, Inoue - 1995
11 Computing of Stable Models and its Integration with Logical .. (context) - Chen, Warren - 1995
8 The DFG Project DisLoP on Disjunctive Logic Programming (context) - Dix, Furbach - 1996
7 Logic and Computation (context) - Console, Dupr'e et al. - 1991
6 Non-Monotonic Reasoning Based on Minimal Models and its Effi.. - Seipel
3 GI Workshop: Disjunctive Logic Programming and Disjunctive D.. (context) - Wolfinger - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dbai.tuwien.ac.at/staff/mateis/publications.html): More
Progress Report on the Disjunctive Deductive Database System - Eiter (1998) (Correct)
The KR System dlv: Progress Report, Comparisons and.. - Eiter, Leone, Mateis, al. (1998) (Correct)
Unification of Bounded Simple Set Terms in Deductive Databases - Greco, Mateis (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC