Making believers out of computers
Artificial Intelligence
The mathematics of inheritance systems
The mathematics of inheritance systems
Nonmonotonic logic and temporal projection
Artificial Intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Model-preference default theories
Artificial Intelligence
Hard problems for simple default logics
Artificial Intelligence - Special issue on knowledge representation
Resolving ambiguity in nonmonotonic inheritance hierarchies
Artificial Intelligence
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
The tractability of path-based inheritance
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Vivid knowledge and tractable reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A clash of intuitions: the current state of nonmonotonic multiple inheritance systems
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
Selman and Kautz's paper on the logic of model-preference defaults introduced a new language and tractability results. This paper assesses the contributions of that work, including the properties of the logic itself, its relationship to some previous logics, and its applicability to some known tractable problems.