UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Benchmark Problems for Formal Nonmonotonic Reasoning (1989)
Vladimir Lifschitz
View:
PDF
Citation:
In
Proceedings of the Second international Workshop on Non-monotonic Reasoning
, pp. 202--219 1989.
Bibtex:
@inproceedings{lifschitz:nmr89, title={Benchmark Problems for Formal Nonmonotonic Reasoning}, author={Vladimir Lifschitz}, booktitle={Proceedings of the Second international Workshop on Non-monotonic Reasoning}, pages={202--219}, url="http://www.cs.utexas.edu/users/ai-lab?lifschitz:nmr89", year={1989} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Nonmonotonic Reasoning