PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The deductive synthesis of database transactions
ACM Transactions on Database Systems (TODS)
The complexity of logic-based abduction
Journal of the ACM (JACM)
A heuristic technique for multi-agent planning
Annals of Mathematics and Artificial Intelligence
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Learning Collective Behaviour from Local Interactions
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Temporal representation of state transitions
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Metatheory of actions: Beyond consistency
Artificial Intelligence
Abstraction in Knowledge-Rich Models for Case-Based Planning
ICCBR '09 Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Temporal projection and explanation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
An abductive framework for general logic programs and other nonmonotonic systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Formal theories of action (preliminary report)
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Cohesion, coupling and the meta-theory of actions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Embracing causality in specifying the indirect effects of actions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Computing ramifications by postprocessing
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Verifying event-driven programs using ramified frame properties
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
Challenges for action theories
Challenges for action theories
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Possible worlds and the qualification problem
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Journal of Artificial Intelligence Research
Possible worlds and the qualification problem
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Constrained intelligent action: planning under the influence of a master agent
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Artificial Intelligence
What Defaults Can Do That Hierarchies Can't
Fundamenta Informaticae
The ramifications of sharing in data structures
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hi-index | 0.00 |