Using Truth Maintenance Systems: A Tutorial
IEEE Expert: Intelligent Systems and Their Applications
Incremental parsing and reason maintenance
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
On the relation between truth maintenance and autoepistemic logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
"Physical negation": integrating fault models into the general diagnostic engine
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Efficiency of production systems when coupled with an assumption based truth maintenance system
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |