Definitions in Answer Set Programming

Abstract

affects the collection of answer sets. In particular, it is useful to be able to describe the effects of adding definitions to a program with nested expressions, in view of the relation of this class of programs to the input language of the answer set programming system sMonELs. In this..

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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 reductive semantics for counting and choice 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
Twelve definitions of a stable model.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.
Mathematical Foundations of Answer Set Programming.Vladimir Lifschitz - unknown
Temporal Phylogenetic Networks and Logic Programming.Vladimir Lifschitz - unknown
Answer Set Programming on Expert Feedback to Populate and Extend.Colin Allen - 2008 - In David Wilson & H. Chad Lane (eds.), Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference. AAAI Press. pp. 500-505.
A Language for Mathematical Knowledge Management.Steven Kieffer, Jeremy Avigad & Harvey Friedman - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).
Modelling ethical rules of lying with answer set programming.Jean-Gabriel Ganascia - 2007 - Ethics and Information Technology 9 (1):39-47.
Harmonic grammar with linear programming: From linear systems to linguistic typology.Christopher Potts, Rajesh Bhatt, Joe Pater & Michael Becker - unknown
Some closure properties of finite definitions.Maricarmen Martinez - 2001 - Studia Logica 68 (1):43-68.
Constraints on defining the 'level' and 'unit' of selection.I. I. I. Holcomb - 1988 - Theoria 4 (1):107-138.

Analytics

Added to PP
2010-12-22

Downloads
12 (#1,025,624)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references