Semantics and complexity of recursive aggregates in answer set programming

, &
Artificial Intelligence 175 (1):278-298 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2010.04.002

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

A reductive semantics for counting and choice in answer set programming.Vladimir Lifschitz - unknown
Recursive Programming Techniques.William H. Burge - 1975 - Addison Wesley Publishing Company.
A logic programming approach to knowledge-state planning, II: The system.Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer & Axel Polleres - 2003 - Artificial Intelligence 144 (1-2):157-211.
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.
Understanding programming languages.Raymond Turner - 2007 - Minds and Machines 17 (2):203-216.
Safe beliefs for propositional theories.Mauricio Osorio, Juan Pérez & José Arrazola - 2005 - Annals of Pure and Applied Logic 134 (1):63-82.
The complexity of recursive constraint satisfaction problems.Victor W. Marek & Jeffrey B. Remmel - 2010 - Annals of Pure and Applied Logic 161 (3):447-457.
Definitions in Answer Set Programming.Vladimir Lifschitz - unknown
Safe beliefs for propositional theories.Mauricio Osorio, Juan Antonio Navarro Pérez & José Arrazola - 2005 - Annals of Pure and Applied Logic 134 (1):63-82.
Logic Programming and Nonmonotonic Reasoning 5th International Conference, Lpnmr '99, El Paso, Texas, Usa, December 2-4, 1999 : Proceedings'.Michael Gelfond, Nicole Leone & Gerald Pfeifer - 1999 - Springer.
A game semantics for disjunctive logic programming.Thanos Tsouanas - 2013 - Annals of Pure and Applied Logic 164 (11):1144-1175.
Computability and Complexity: From a Programming Perspective Vol. 21.N. D. Jones - 1997 - MIT Press.
Hybrid Answer Set Programming.Alex Brik & Jeffrey Remmel - 2014 - Annals of Pure and Applied Logic 165 (1):134-163.
What is answer set programming?Vladimir Lifschitz - unknown
Author’s Response: Programming as a Playground for Computational Thinking Development.Jiří Vaníček - 2019 - Constructivist Foundations 14 (3):379-381.

Analytics

Added to PP
2020-12-22

Downloads
17 (#875,159)

6 months
15 (#174,673)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 18 citations / Add more citations

References found in this work

Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.

View all 10 references / Add more references