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..Links
PhilArchive
External links
(no proxy)
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.
Answer-set programming encodings for argumentation frameworks.Uwe Egly, Sarah Alice Gaggl & Stefan Woltran - 2010 - Argument and Computation 1 (2):147-177.
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
7 (#1,045,441)
6 months
1 (#452,962)
2010-12-22
Downloads
7 (#1,045,441)
6 months
1 (#452,962)
Historical graph of downloads
