UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Elaboration Tolerance
Publications
Reinforcing a Claim in Commonsense Reasoning
2003
Jonathan Campbell and Vladimir Lifschitz, unpublished. In {em Working Notes of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning}.
Missionaries and Cannibals in the Causal Calculator
2000
Vladimir Lifschitz, In
Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)
, pp. 85-96 2000.