Strategies in Model-based Diagnosis
Journal of Automated Reasoning
‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming
Journal of Automated Reasoning
A New Formulation of Tabled Resolution with Delay
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A formal framework for representing diagnosis strategies in model-based diagnosis systems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Diagnosis of power system protection
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
| Hi-index | 0.00 |