A logic-based calculus of events
New Generation Computing
Combining logic and differential equations for describing real-world systems
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic reasoning in the framework of situation calculus
Artificial Intelligence - Special issue on knowledge representation
Artificial intelligence and mathematical theory of computation
Database updates in the event calculus
Journal of Logic Programming
Temporal reasoning with abductive event calculus
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Temporal reasoning in logic programming: a case for the situation calculus
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Representing continuous change in the abductive event calculus
Proceedings of the eleventh international conference on Logic programming
The situation calculus and event calculus compared
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
A circumscriptive calculus of events
Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
The Abductive Event Calculus as a General Framework for Temporal Databases
ICTL '94 Proceedings of the First International Conference on Temporal Logic
E-RES: Reasoning about Actions, Events and Observations
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Situation Calculus Specifications for Event Calculus Logic Programs
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
An Argumentation Framework of Reasoning about Actions and Change
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Inductive Definability and the Situation Calculus
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Event Calculus Planning Revisited
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Modal event calculi with preconditions
TIME '97 Proceedings of the 4th International Workshop on Temporal Representation and Reasoning (TIME '97)
Filter preferential entailment for the logic of action in almost continuous worlds
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Soundness and completeness theorems for three formalizations of action
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The ramification problem in the event calculus
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Knowledge preconditions for actions and plans
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
A simple formalization of actions using circumscription
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Artificial intelligence today
Noise and the common sense informatic situation for a mobile robot
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Noise, non-determinism and spatial uncertainty
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Adding knowledge to the action description language A
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Man bites dog: looking for interesting inconsistencies in structured news reports
Data & Knowledge Engineering
Inferring operational requirements from scenarios and goal models using inductive learning
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Event calculus and temporal action logics compared
Artificial Intelligence
Book reviews: Knowledge representation and commonsense reasoning: Reviews of four books
Artificial Intelligence
Extracting Requirements from Scenarios with ILP
Inductive Logic Programming
A Theory of Action, Knowledge and Time in the Event Calculus
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Automating commonsense reasoning using the event calculus
Communications of the ACM - Rural engineering development
Expressive policy analysis with enhanced system dynamicity
Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
Event calculus and temporal action logics compared
Artificial Intelligence
Reasoning with knowledge, action and time in dynamic and uncertain domains
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
SAGE: A Logical Agent-Based Environment Monitoring and Control System
AmI '09 Proceedings of the European Conference on Ambient Intelligence
Theory and Practice of Logic Programming
Distributed AI for ambient intelligence: issues and approaches
AmI'07 Proceedings of the 2007 European conference on Ambient intelligence
Enforcement of integrated security policy in trusted operating systems
IWSEC'07 Proceedings of the Security 2nd international conference on Advances in information and computer security
Deriving non-zeno behavior models from goal models using ILP
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Artificial Intelligence
Modular-E and the role of elaboration tolerance in solving the qualification problem
Artificial Intelligence
Probabilistic event calculus based on Markov logic networks
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Modular-ε: an elaboration tolerant approach to the ramification and qualification problems
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
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
A reasoning framework for ambient intelligence
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Understanding script-based stories using commonsense reasoning
Cognitive Systems Research
Working with events and states in PENG light
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
Processing incomplete temporal information in controlled natural language
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
A Runtime Goal Conflict Resolution Model for Agent Systems
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Towards complex actions for complex event processing
Proceedings of the 7th ACM international conference on Distributed event-based systems
| Hi-index | 0.00 |
The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this paper we summarise how variants of the Event Calculus may be expressed as classical logic axiomatisations, and how under certain circumstances these theories may be reformulated as "action description language" domain descriptions using the Language 驴. This enables the classical logic Event Calculus to inherit various provably correct automated reasoning procedures recently developed for 驴.