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: 91,386

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

Definitions in Answer Set Programming.Vladimir Lifschitz - unknown
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.
What is answer set programming?Vladimir Lifschitz - unknown
A reductive semantics for counting and choice in answer set programming.Vladimir Lifschitz - unknown
Temporal Phylogenetic Networks and Logic Programming.Vladimir Lifschitz - unknown
Answer-set programming encodings for argumentation frameworks.Uwe Egly, Sarah Alice Gaggl & Stefan Woltran - 2010 - Argument and Computation 1 (2):147-177.
Mengenlehre—Vom Himmel Cantors zur Theoria prima inter pares.Peter Schreiber - 1996 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 4 (1):129-143.
Games in the semantics of programming languages – an elementary introduction.Jan Jürjens - 2002 - Synthese 133 (1-2):131-158.
Set-Theoretic Foundations.Stewart Shapiro - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 6:183-196.
Modelling ethical rules of lying with answer set programming.Jean-Gabriel Ganascia - 2007 - Ethics and Information Technology 9 (1):39-47.
The foundations of decision theory: An intuitive, operational approach with mathematical extensions.J. M. Bernardo, J. R. Ferrandiz & A. F. M. Smith - 1985 - Theory and Decision 19 (2):127-150.
Between logic and intuition: essays in honor of Charles Parsons.Gila Sher & Richard Tieszen (eds.) - 2000 - New York: Cambridge University Press.
Past, present and future of set theory.Jaakko Hintikka - unknown
Mathematical logic and foundations of set theory.Yehoshua Bar-Hillel (ed.) - 1970 - Amsterdam,: North-Holland Pub. Co..

Analytics

Added to PP
2010-12-22

Downloads
16 (#886,588)

6 months
7 (#418,426)

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