The deductive synthesis of database transactions
ACM Transactions on Database Systems (TODS)
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Selected AI-related dissertations
ACM SIGART Bulletin
State-Based Regression with Sensing and Knowledge
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Evolutionary-based learning of generalised policies for AI planning domains
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Regression with respect to sensing actions and partial states
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
On the progression of situation calculus basic action theories: resolving a 10-year-old conjecture
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Generalizing nonlinear planning to handle complex goals and actions with context-dependent effects
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
How to progress a database II: the STRIPS connection
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |