Mathematical Foundations of Answer Set Programming

Abstract

applied, for instance, to developing a decision support system for the Space Shuttle INogueira et al., 2001] and to graph-theoretic problems arising in..

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

A decision support system for the graph model of conflicts.D. Marc Kilgour, Liping Fang & Keith W. Hipel - 1990 - Theory and Decision 28 (3):289-311.
On a Possibly Pure Set-Theoretic Contribution to Black Hole Entropy.Gábor Etesi - 2020 - Foundations of Science 25 (2):327-340.
Answer-set programming encodings for argumentation frameworks.Uwe Egly, Sarah Alice Gaggl & Stefan Woltran - 2010 - Argument and Computation 1 (2):147-177.
Foundations of Computing: System Development with Set Theory and Logic.Thierry Scheurer - 1994 - Addison-Wesley Longman.
Hybrid Answer Set Programming.Alex Brik & Jeffrey Remmel - 2014 - Annals of Pure and Applied Logic 165 (1):134-163.
A reductive semantics for counting and choice in answer set programming.Vladimir Lifschitz - unknown
Mathematical Foundations of Anticipatory Systems.A. H. Louie - 2019 - In Roberto Poli (ed.), Handbook of Anticipation: Theoretical and Applied Aspects of the Use of Future in Decision Making. Springer Verlag. pp. 937-964.
A Set-Theoretic Analysis of the Black Hole Entropy Puzzle.Gábor Etesi - 2023 - Foundations of Physics 54 (1):1-28.
Set Theory and Structures.Neil Barton & Sy-David Friedman - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 223-253.
Using criticalities as a heuristic for answer set programming.Orkunt Sabuncu, Ferda N. Alpaslan & Varol Akman - 2003 - In Vladimir Lifschitz & Ilkka Niemela (eds.), Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 2923 (7th International Conference, LPNMR 2004, Fort Lauderdale, FL, January 6-8, 2004 Proceedings). Berlin, Heidelberg: Springer. pp. 234-246.

Analytics

Added to PP
2010-12-22

Downloads
18 (#858,528)

6 months
9 (#355,912)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Model-based recasting in answer-set programming.Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits & Stefan Woltran - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):75-104.

Add more citations

References found in this work

No references found.

Add more references