|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..|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Uwe Egly, Sarah Alice Gaggl & Stefan Woltran (2011). Answer-Set Programming Encodings for Argumentation Frameworks. Argument and Computation 1 (2):147-177.
David Pearce & Agustín Valverde (2005). A First Order Nonmonotonic Extension of Constructive Logic. Studia Logica 80 (2-3):321 - 346.
Jean-Gabriel Ganascia (2007). Modelling Ethical Rules of Lying with Answer Set Programming. Ethics and Information Technology 9 (1).
Christopher Potts, Rajesh Bhatt, Joe Pater & Michael Becker, Harmonic Grammar with Linear Programming: From Linear Systems to Linguistic Typology.
Gerhard Brewka (2005). Answer Sets and Qualitative Decision Making. Synthese 146 (1-2):171 - 187.
Maricarmen Martinez (2001). Some Closure Properties of Finite Definitions. Studia Logica 68 (1):43-68.
I. I. I. Holcomb (1988). Constraints on Defining the 'Level' and 'Unit' of Selection. Theoria 4 (1):107-138.
Sorry, there are not enough data points to plot this chart.
Added to index2010-12-22
Total downloads1 ( #275,053 of 550,802 )
Recent downloads (6 months)0
How can I increase my downloads?