UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Answer Set Planning (1999)
Vladimir Lifschitz
In ``answer set programming,'' solutions to a problem are represented by answer sets, and not by answer substitutions produced in response to a query, as in conventional logic programming. Instead of Prolog, answer set programming uses software systems capable of computing answer sets. This paper is about applications of this idea to planning.
View:
PS
Citation:
In
Proceedings ICLP-99
, pp. 23-37 1999.
Bibtex:
@INPROCEEDINGS{lif99c, title={Answer Set Planning}, author={Vladimir Lifschitz}, booktitle={Proceedings ICLP-99}, pages={23-37}, url="http://www.cs.utexas.edu/users/ai-lab?lif99c", year={1999} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Answer Set Programming
Automated Reasoning
Nonmonotonic Reasoning
Planning
Reasoning about Actions