- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence 151 (1-2):177-212 (2003)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming.Jesse Heyninck, Ofer Arieli & Bart Bogaerts - 2024 - Artificial Intelligence 331 (C):104110.
From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence.André Thayse & Paul Gochet - 1988
Handbook of Logic in Artificial Intelligence and Logic Programming.Dov M. Gabbay, Christopher John Hogger & J. A. Robinson - 1993
From Natural Language Processing to Logic for Expert Systems: A Logic Based Approach to Artificial Intelligence.André Thayse & Jean-Louis Binot - 1991
Determining inference semantics for disjunctive logic programs.Yi-Dong Shen & Thomas Eiter - 2019 - Artificial Intelligence 277 (C):103165.
Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
Logic Programming: Proceedings of the Tenth International Conference on Logic Programming.David S. Warren - 1993 - MIT Press.
ASSAT: computing answer sets of a logic program by SAT solvers.Fangzhen Lin & Yuting Zhao - 2004 - Artificial Intelligence 157 (1-2):115-137.
Handbook of Logic in Artificial Intelligence Nad Logic Programming, Vol. Iii.David Makinson - 1994 - Clarendon Press.
Analytics
Added to PP
2020-12-22
Downloads
4 (#1,642,306)
6 months
4 (#863,447)
2020-12-22
Downloads
4 (#1,642,306)
6 months
4 (#863,447)
Historical graph of downloads
Citations of this work
An incremental algorithm for generating all minimal models.Rachel Ben-Eliyahu – Zohary - 2005 - Artificial Intelligence 169 (1):1-22.
New models for generating hard random boolean formulas and disjunctive logic programs.Giovanni Amendola, Francesco Ricca & Miroslaw Truszczynski - 2020 - Artificial Intelligence 279 (C):103185.
Graph-based construction of minimal models.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti & Luigi Palopoli - 2022 - Artificial Intelligence 313 (C):103754.
References found in this work
On the complexity of propositional knowledge base revision, updates, and counterfactuals.Thomas Eiter & Georg Gottlob - 1992 - Artificial Intelligence 57 (2-3):227-270.
Computational complexity of planning and approximate planning in the presence of incompleteness.Chitta Baral, Vladik Kreinovich & Raúl Trejo - 2000 - Artificial Intelligence 122 (1-2):241-267.
Reasoning with minimal models: efficient algorithms and applications.Rachel Ben-Eliyahu-Zohary & Luigi Palopoli - 1997 - Artificial Intelligence 96 (2):421-449.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-7qn45 uwo