Ioerger T.R. (1997), Integrating a spatial reasoner with a resolution theorem-prover, In proceedings of AAAI'97 Conference, Providence RI, July, 145-152. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Combining a Logical and an Analogical Framework for Route.. - Moulin, Kettani (Correct)
No context found.
Ioerger T.R. (1997), Integrating a spatial reasoner with a resolution theorem-prover, In proceedings of AAAI'97 Conference, Providence RI, July, 145-152.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC