What's a head without a body?

Frontiers in Artificial Intelligence and Applications

Volumn 141, Issue , 2006, Pages 769-770

  Anger, Christian ^a   Gebser, Martin ^a   Janhunen, Tomi ^b   Schaub, Torsten ^a,c  

^a UNIVERSITY OF POTSDAM   (Germany)

^b AALTO UNIVERSITY   (Finland)

^c SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

ANSWER SET PROGRAMMING; COMPUTATIONAL OBJECTS; EXPONENTIALS; S MODELS; SEARCH SPACES; SIMPLE++; SMODELS;

LOGIC PROGRAMMING;

EID: 84886049518     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Article

References (7)

1. C. Anger, M. Gebser, T. Linke, A. Neumann, and T. Schaub, 'The nomore++ approach to answer set solving', in Proceedings of LPAR'05, eds., G. Sutcliffe and A. Voronkov, pp. 95-109. Springer-Verlag, (2005).
2. M. Baaz, U. Egly, and A. Leitsch, 'Normal form transformations', in Handbook of Automated Reasoning, eds., J. Robinson and A. Voronkov, 273-333, Elsevier, (2001).
3. C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving, Cambridge University Press, 2003.
4. P. Beame and T. Pitassi, 'Propositional proof complexity: Past, present, and future', Bulletin of EATCS, 65, 66-89, (1998).
5. N. Leone, W. Faber, G. Pfeifer, T. Eiter, G. Gottlob, C. Koch, C. Mateis, S. Perri, and F. Scarcello, 'The DLV system for knowledge representation and reasoning', ACM TOCL, (2006). To appear.
6. http://www.cs.uni-potsdam.de/nomore.
7. P. Simons, 'Extending and implementing the stable model semantics', Helsinki University of Technology, (2000). Doctoral dissertation.