The event calculus and consistency maintenance
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
A three-valued semantics for deductive databases and logic programs
Journal of Computer and System Sciences
Three-valued formalization of logic programming: is it needed?
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Answer set programming and plan generation
Artificial Intelligence
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
Two components of an action language
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A logic of inductive implication or artificial intelligence meets philosophy of science II
AI'05 Proceedings of the 18th Canadian Society conference on Advances in Artificial Intelligence
Fundamenta Informaticae
Hi-index | 0.00 |