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
The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
A formal foundation for process modeling
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Agents dealing with time and uncertainty
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Functional strips: a more flexible language for planning and problem solving
Logic-based artificial intelligence
Merging structured text using temporal knowledge
Data & Knowledge Engineering
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
TALplanner: A temporal logic based forward chaining planner
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Planning and Control in Artificial Intelligence: A Unifying Perspective
Applied Intelligence
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Use of Cognitive Robotics Logic in a Double Helix Architecture for Autonomous Systems
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Non-Markovian control in the situation calculus
Eighteenth national conference on Artificial intelligence
Perspectives on artificial intelligence planning
Eighteenth national conference on Artificial intelligence
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Handling defeasibilities in action domains
Theory and Practice of Logic Programming
Introduction: progress in formal commonsense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Elaboration tolerance through object-orientation
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions
Artificial Intelligence Review
Heterogeneous temporal probabilistic agents
ACM Transactions on Computational Logic (TOCL)
Event calculus and temporal action logics compared
Artificial Intelligence
The PMA and Relativizing Minimal Change for Action Update
Fundamenta Informaticae
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Spatio-Temporal Approximate Reasoning over Complex Objects
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Temporal Action Logic for Question Answering in an Adventure Game
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Managing Concurrent Engineering Design Processes and Associated Knowledge
Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
Bridging the Gap between High-Level Reasoning and Low-Level Control
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Reasoning about action in polynomial time
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Towards a complete classification of tractability in Allen's algebra
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
The next big thing: position statements
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
PDDL2.1: an extension to PDDL for expressing temporal planning domains
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
Automata theory for reasoning about actions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Natural language understanding using temporal action logic
KRAQ '06 Proceedings of the Workshop KRAQ'06 on Knowledge and Reasoning for Language Processing
Causality and minimal change demystified
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A circumscriptive formalization of the qualification problem
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Causal interaction: from a high-level representation to an operational event-based representation
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Semantics for a useful fragment of the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Event calculus and temporal action logics compared
Artificial Intelligence
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
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 today
Evolution and reactivity in the semantic web
Semantic techniques for the web
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
Maximal tractable subclasses of Allen's interval algebra: preliminary report
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Artificial Intelligence
Artificial Intelligence
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
Formalising the Fisherman's Folly puzzle
Artificial Intelligence
Design and Implementation of AT: a real-time action description language
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Systems theory: melding the AI and simulation perspectives
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
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
Understanding script-based stories using commonsense reasoning
Cognitive Systems Research
Applications of action languages in cognitive robotics
Correct Reasoning
Spatio-Temporal Approximate Reasoning over Complex Objects
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Hi-index | 0.00 |