2 citations found. Retrieving documents...
Artificial Intelligence Journal, 35:343--382. Lifschitz, V. (1985). Computing circumscription. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 121-- 127.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Default Logic as a formalism for understanding commonsense.. - Amati, Aiello, Pirri (1996)   (Correct)

No context found.

Artificial Intelligence Journal, 35:343--382. Lifschitz, V. (1985). Computing circumscription. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 121-- 127.


Nonmonotonic Reasoning as SAT Search - Amir (1997)   (Correct)

No context found.

Artificial Intelligence, 35(3):343--382. Lifschitz, V. (1985). Computing circumscription. In Proc. of IJCAI-85, pages 121--127.

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