Incremental execution of guarded theories
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
The cognitive agents specification language and verification environment for multiagent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Two approaches to efficient open-world reasoning
Logic-based artificial intelligence
Knowledge, action, and the frame problem
Artificial Intelligence
On the Semantics of Deliberation in Indigolog—from Theory to Implementation
Annals of Mathematics and Artificial Intelligence
Scaling up reasoning about actions using relational database technology
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
On-line execution of cc-Golog plans
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
An on-line decision-theoretic Golog interpreter
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Hi-index | 0.00 |