Nonmonotonic logic and temporal projection
Artificial Intelligence
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Artificial intelligence and mathematical theory of computation
Representing the Process Semantics in the Event Calculus
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Representing the process semantics in the situation calculus
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
A formal method toward reasoning about continuous change
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
Hi-index | 0.00 |
The problem of finding a set of assumptions which explain a given proposition is in general NP-hard, even when the background theory is an acyclic Horn theory. In this paper it is shown that when the background theory is acyclic Horn and its pseudo-completion ...