Qsmodels: ASP planning in interactive gaming environment

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3229, Issue , 2004, Pages 689-692

  Padovani, Luca ^a   Provetti, Alessandro ^b  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSITY OF MESSINA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; LOGIC PROGRAMMING; ENCODING (SYMBOLS); GAME THEORY; INFORMATION ANALYSIS; PLANNING; SET THEORY; SYNTACTICS;

ANSWER SET; ANSWER SET PROGRAMMING; INTERACTIVE GAMING ENVIRONMENT; NOVEL APPLICATIONS; SMODELS SOLVER;

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING;

ANSWER SET PROGRAMMING; INTERACTIVE GAMING ENVIRONMENT; SMODELS SOLVER; SYNTACTIC INFORMATION;

EID: 22944479328     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30227-8_58     Document Type: Conference Paper

References (4)

1. C. Baral, 2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.
2. C. Baral, M. Gelfond and A. Provetti, 1997. Representing Actions: Laws, Observations and Hypotheses. Journal of Logic Programming, 31 (1-3).
3. L. Padovani, 2004. Answer Set Programming in Interactive Gaming Environment. Graduation project in Informatics (in Italian). University of Milan. Available from http://mag.usr.dsi.unimi.it
4. Web location of the smodels solver: http://www.tcs.hut.fi/Software/smodels