UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Elaboration Tolerance
Subareas:
Publications
Reinforcing a Claim in Commonsense Reasoning
2003
Jonathan Campbell and Vladimir Lifschitz, 2003. 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)
, 85-96, 2000.
Labs
Texas Action Group