SCDBR: An Automated Reasoner for Specifications of Database Updates
Journal of Intelligent Information Systems
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Reuse and abstraction in verification: agents acting in dynamic environments
First international workshop, AOSE 2000 on Agent-oriented software engineering
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Logic-based artificial intelligence
An ordering on subgoals for planning
Annals of Mathematics and Artificial Intelligence
Scheduling in the situation calculus: A case study
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Modeling Dynamic Domains with ConGolog
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Non-situation Calculus and Database Systems
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Declarative Formalization of Strategies for Action Selection: Applications to Planning
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
The Situation and State Calculus versus Branching Temporal Logic
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Knowledge, action, and the frame problem
Artificial Intelligence
Compositional verification of knowledge-based task models and problem-solving methods
Knowledge and Information Systems
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach
Annals of Mathematics and Artificial Intelligence
Heuristic planning: a declarative approach based on strategies for action selection
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Journal of Intelligent Information Systems
Event calculus and temporal action logics compared
Artificial Intelligence
On the Syntax and Semantics of Effect Axioms
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
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
Property persistence in the situation calculus
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Dynamic semantics for tense and aspect
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
What robots can do: robot programs and effective achievability
Artificial Intelligence
Event calculus and temporal action logics compared
Artificial Intelligence
Property persistence in the situation calculus
Artificial Intelligence
The frame problem and knowledge-producing actions
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Reasoning about nondeterministic and concurrent actions: a process algebra approach
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Artificial Intelligence
GLAM: a generic layered adaptation model for adaptive hypermedia systems
AH'06 Proceedings of the 4th international conference on Adaptive Hypermedia and Adaptive Web-Based Systems
Deductive systems' representation and an incompleteness result in the situation calculus
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Deriving Invariants and Constraints from Action Theories
Fundamenta Informaticae
How to progress a database III
Artificial Intelligence
The design of intelligent socio-technical systems
Artificial Intelligence Review
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
A classification of first-order progressable action theories in situation calculus
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |