UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Negation and proof by contradiction in access-limited logic (1991)
J. M. Crawford and
Benjamin J. Kuipers
View:
PS
Citation:
In
Proceedings of the National Conference on Artificial Intelligence (AAAI-91)
1991. AAAI/MIT Press.
Bibtex:
@inproceedings{crawford:aaai91, title={Negation and proof by contradiction in access-limited logic}, author={J. M. Crawford and Benjamin J. Kuipers}, booktitle={Proceedings of the National Conference on Artificial Intelligence (AAAI-91)}, publisher={AAAI/MIT Press}, url="http://www.cs.utexas.edu/users/ai-lab?crawford:aaai91", year={1991} }
People
Benjamin Kuipers
Formerly affiliated Faculty
kuipers [at] cs utexas edu
Areas of Interest
Description Logics