The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
A New Equational Foundation for the Fluent Calculus
CL '00 Proceedings of the First International Conference on Computational Logic
A Theory of First-Order Counterfactual Reasoning
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Inferring Implicit State Knowledge and Plans with Sensing Actions
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Integrating Function Application in State-Based Planning
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Robots, softbots, immobots: The 1997 AAAI Workshop on Theories of Action, Planning and Control
The Knowledge Engineering Review
Planning Actions with Social Consequences
Agent Computing and Multi-Agent Systems
Challenges for action theories
Challenges for action theories
The boundary between decidable and undecidable fragments of the fluent calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Hi-index | 0.00 |