32 T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A deductive system for nonmonotonic reasoning. In J. Dix et al. (eds.), Proc. of LPNMR'97, LNAI 1265, Springer Verlag, 1997 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Building a Knowledge Base: An Example - Gelfond, Gabaldon (1999) (Correct)
....queries. Roughly speaking this happens because Prolog and XSB do not allow reasoning by cases. This type of reasoning is incorporated in a more powerful system, called SLG [9] which was successfully used to answer queries in the presence of multiple stable models. A different type of engine, [11,17,36], are based on algorithms for computing stable models of programs without function symbols. tional specifications There are two reasons why we do that. The first advantage of the language of f specifications over A Prolog is its simplicity. The construction of f requires knowledge of a simple ....
T. Eiter, N. Leone, C. Mateis, G. Pfeifer and F. Scarcello, A deductive system for non-monotonic reasoning, in: Proc. 4th LPNMR, Lecture Notes in Computer Science, Vol. 1265 (Springer, Berlin, 1997) pp. 363--374.
Characterizing and Computing Semantically Correct.. - Barcelo, Bertossi, Bravo (2003) (Correct)
....magic sets [1] deserves more attention from the logic programming and database communities. The current alternative relies on nding those ground query atoms that belong to all the stable models once they have been computed via a ground instantiation of the original program (see Example 11) In [20] intelligent grounding strategies for pruning in advance the instantiated program have been explored and incorporated into DLV. It would be interesting to explore to what extent the program can be further pruned from irrelevant rules and subgoals using information obtained by querying the original ....
Eiter, T., Leone, N., Mateis, C., Pfeifer, G. and Scarcello, F. A DeductiveSystem for Non-Monotonic Reasoning. Proc. LPNMR'97, Springer LNAI 1265, 1997, pp. 364-375.
The dlv System: Model Generator and Application Frontends - Simona Citrigno Thomas (1997) (10 citations) Self-citation (Eiter Leone Mateis Pfeifer Scarcello) (Correct)
No context found.
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A Deductive System for Nonmonotonic Reasoning. In Jurgen Dix, Ulrich Furbach, and Anil 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.
A Compilation of Brewka and Eiter's Approach to.. - Delgrande, Schaub, Tompits (2000) (1 citation) Self-citation (Eiter) (Correct)
No context found.
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 Fourth International Conference on Logic Programming and Non-Monotonic Reasoning, volume 1265 of Lecture Notes in Artificial Intelligence, pages 363--374. Springer Verlag, 1997.
dlv { An Overview - Robert Bihlmeyer Wolfgang (1998) Self-citation (Leone Mateis Pfeifer) (Correct)
No context found.
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.
Logic Programming and Knowledge Representation - the A-Prolog .. - Gelfond, Leone (2002) (3 citations) Self-citation (Leone) (Correct)
No context found.
T. Eiter, N. Leone, C. Mateis., G. Pfeifer and F. Scarcello. A deductive system for nonmonotonic reasoning, Proceedings of the 4rd Logic Programming and Non-Monotonic Reasoning Conference { LPNMR '97, LNAI 1265, SpringerVerlag, Dagstuhl, Germania, Luglio 1997, pp. 363-374. 39
Logics for Authorizations and Security - Piero Bonatti And (2003) (1 citation) (Correct)
No context found.
32 T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A deductive system for nonmonotonic reasoning. In J. Dix et al. (eds.), Proc. of LPNMR'97, LNAI 1265, Springer Verlag, 1997
A Logic Framework for Reasoning on Workflow Executions - Greco, Guzzo, Sacca (2004) (Correct)
No context found.
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A Deductive System for Non-monotonic Reasoning. Proc. LPNMR Conf., 363-374, 1997.
Enhancing Disjunctive Logic Programming for Ontology.. - Calimeri, Galizia.. (2003) (Correct)
No context found.
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. A Deductive System for Nonmonotonic Reasoning. In Jurgen Dix and Ulrich Furbach and Anil Nerode, editor, Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97), number 1265 in Lecture Notes in AI (LNAI), pages 363--374, Berlin, 1997. Springer.
plp: A Generic Compiler for Ordered Logic Programs - Delgrande, Schaub, Tompits (2001) (5 citations) (Correct)
No context found.
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A deductive system for nonmonotonic reasoning. In Proc. LPNMR-97, pages 363--374. Springer Verlag, 1997.
Graphs and Colorings for Answer Set Programming: Abridged.. - Konczak, Linke, Schaub (2003) (Correct)
No context found.
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A deductive system for nonmonotonic reasoning. In J. Dix et al., editors, Proceedings of the Fourth Int'l Conference on Logic Programming and Non-Monotonic Reasoning, pages 363--374. Springer, 1997.
A Polynomial Translation of Logic Programs with.. - Pearce, Sarsakov, .. (2002) (6 citations) (Correct)
No context found.
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A Deductive System for Nonmonotonic Reasoning. In Proc. LPNMR-97, pages 363--374, 1997.
A Classification and Survey of Preference Handling.. - Delgrande, Schaub, al. (Correct)
No context found.
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A Deductive System for Non-monotonic Reasoning. In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97), pages 363--374, 1997.
How to Reason Credulously and Skeptically within a Single.. - Delgrande, Schaub (Correct)
No context found.
EITER T., LEONE N., MATEIS C., PFEIFER G., SCARCELLO F., "A Deductive System for Nonmonotonic Reasoning", DIX J., FURBACH U., NERODE A., Eds., Proceedings of the Fourth International Conference on Logic Programming and Non-Monotonic Reasoning, vol. 1265 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 1997, p. 363-374.
Graphs and Colorings for Answer Set Programming: Abridged.. - Konczak, Linke, Schaub (2003) (Correct)
No context found.
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A deductive system for nonmonotonic reasoning. In J. Dix et al., editors, Proceedings of the Fourth International Conference on Logic Programming and Non-Monotonic Reasoning, pages 363--374. Springer, 1997.
A Cartesian Closed Category of Approximable Concept Structures - Hitzler, Zhang (2004) (Correct)
No context found.
Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A deductive system for nonmonotonic reasoning. In Dix, J., Furbach, U., Nerode, A., eds.: Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97. Volume 1265 of Lecture Notes in Artificial Intelligence., Springer, Berlin (1997).
Logic Programs with Compiled Preferences - Delgrande, Schaub, Tompits (2000) (9 citations) (Correct)
No context found.
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello, `A deductive system for nonmonotonic reasoning', in Proc. LPNMR, eds., J. Dix, U. Furbach, and A. Nerode, pp. 363--374. Springer, (1997).
Graphs and Colorings for Answer Set Programming: Abridged.. - Konczak, Linke, Schaub (2003) (Correct)
No context found.
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A deductive system for nonmonotonic reasoning. In J. Dix et al., editors, Proceedings of the Fourth International Conference on Logic Programming and Non-Monotonic Reasoning, pages 363--374. Springer, 1997. Kathrin Konczak et al.
Using Nested Logic Programs for Answer Set Programming - Linke (2003) (Correct)
No context found.
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, LPNMR, volume 1265 of LNAI, pages 363--374. Springer Verlag, 1997.
More on noMoRe - Linke, Anger, Konczak (2002) (1 citation) (Correct)
No context found.
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, Proc. of the LPNMR, vol. 1265 of LNAI, p. 363--374. Springer Verlag, 1997.
Expressing Preferences in Default Logic - Delgrande, Schaub (2002) (4 citations) (Correct)
No context found.
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 Fourth International Conference on Logic Programming and NonMonotonic Reasoning, volume 1265 of Lecture Notes in Artificial Intelligence, pages 363-- 374. Springer Verlag, 1997.
Improving Query Optimization - For Disjunctive Datalog (Correct)
No context found.
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. A Deductive System for Nonmonotonic Reasoning. In Jurgen Dix and Ulrich Furbach and Anil Nerode, editor, Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97), number 1265 in Lecture Notes in AI (LNAI), pages 363-374, Berlin, 1997. Springer.
How to Reason Credulously and Skeptically within a Single.. - Delgrande, Schaub (Correct)
No context found.
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 LPNMR'97, pages 363--374. Springer, 1997.
Default Reasoning over Domains and Concept Hierarchies - Hitzler (Correct)
No context found.
Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A deductive system for nonmonotonic reasoning. In Dix, J., Furbach, U., Nerode, A., eds.: Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97. Volume 1265 of Lecture Notes in Artificial Intelligence., Springer, Berlin (1997)
Using Tabling to Extend Prolog with Non-Monotonic Constructs - Swift (Correct)
No context found.
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A deductive system for non-monotonic reasoning. In International Conference on Logic Programming and NonMonotonic Reasoning, 1997.
First 50 documents Next 50
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