Customizing cooperative office procedures by planning
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
Logic program based action specifications
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
Reasoning about Actions with CHRs and Finite Domain Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
A Matrix Characterization for MELL
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Towards State Update Axioms: Reifying Successor State Axioms
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Theory of First-Order Counterfactual Reasoning
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Mathematical Structures in Computer Science
A Matrix Characterization for Multiplicative Exponential Linear Logic
Journal of Automated Reasoning
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
Theoretical Computer Science
Mathematical Structures in Computer Science
Verifying Space and Time Requirements for Resource-Bounded Agents
Model Checking and Artificial Intelligence
A logical account of uncertain databases based on linear logic
Proceedings of the 12th International Conference on Database Theory
Model-checking memory requirements of resource-bounded reasoners
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Bounded-Resource Reasoning as (Strong or Classical) Planning
Computational Logic in Multi-Agent Systems
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
A new logical framework for deductive planning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
PHI: a logic-based tool for intelligent help systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
PLANLOG: a language framework for the integration of procedural and logical programming
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Computing ramifications by postprocessing
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
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
Artificial Intelligence
| Hi-index | 0.00 |