UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Representing Action and Change by Logic Programs (1993)
Michael Gelfond and
Vladimir Lifschitz
We represent properties of actions in a logic programming language that uses both classical negation and negation as failure. The method is applicable to temporal projection problems with incomplete information, as well as to reasoning about the past. It is proved to be sound relative to a semantics of action based on states and transition functions.
View:
PDF
Citation:
Journal of Logic Programming
, Vol. 17 (1993), pp. 301-322.
Bibtex:
@article{gel93a, title={Representing Action and Change by Logic Programs}, author={Michael Gelfond and Vladimir Lifschitz}, volume={17}, journal={Journal of Logic Programming}, pages={301-322}, url="http://www.cs.utexas.edu/users/ai-lab?gel93a", year={1993} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Action Languages
Nonmonotonic Reasoning
Reasoning about Actions