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
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Semantics for Persistency in Propositional Dynamic Logic
CL '00 Proceedings of the First International Conference on Computational Logic
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
Addressing the Qualification Problem in FLUX
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Intelligent execution monitoring in dynamic environments
Fundamenta Informaticae
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach
Annals of Mathematics and Artificial Intelligence
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
Event calculus and temporal action logics compared
Artificial Intelligence
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
Reconciling situation calculus and fluent calculus
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Optimal regression for reasoning about knowledge and actions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
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
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
Progression of situation calculus action theories with incomplete information
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The concurrent, continuous FLUX
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Semantics for a useful fragment of the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Event calculus and temporal action logics compared
Artificial Intelligence
A semantical account of progression in the presence of defaults
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Simple Default Reasoning in Theories of Action
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Challenges for action theories
Challenges for action theories
Multi-agent FLUX for the gold mining domain (system description)
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Solving planning problems by partial deduction
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Distributed AI for ambient intelligence: issues and approaches
AmI'07 Proceedings of the 2007 European conference on Ambient intelligence
An agent team based on FLUX for the ProMAS contest 2007
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
On defaults in action theories
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Artificial Intelligence
Artificial Intelligence
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
Artificial Intelligence
Specialization and validation of statecharts in OWL
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
The adversarial activity model for bounded rational agents
Autonomous Agents and Multi-Agent Systems
Strategy learning for reasoning agents
ECML'05 Proceedings of the 16th European conference on Machine Learning
System properties of action theories
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
PROTON: A Prolog Reasoner for Temporal ONtologies in OWL
Expert Systems with Applications: An International Journal
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Journal of Automated Reasoning
Intelligent Execution Monitoring in Dynamic Environments
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
How to progress a database III
Artificial Intelligence
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 |