Artificial Intelligence
Representing actions in equational logic programming
Proceedings of the eleventh international conference on Logic programming
Propositional State Event Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Representing Concurrent Actions and Solving Conflicts
KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Representing the Process Semantics in the Event Calculus
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Reasoning about continuous processes
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Representing the process semantics in the situation calculus
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
A formal method toward reasoning about continuous change
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
MABS'11 Proceedings of the 12th international conference on Multi-Agent-Based Simulation
Hi-index | 0.00 |
A formal theory of actions and change in dynamic systems is presented. Our formalism is based on the paradigm that state transitions in a system naturally occur while time passes by; one or more agents have the possibility to direct the development of the system by executing actions. Our theory covers concurrency of actions and events and includes a natural way to express delayed effects and nondeterminism. A uniform semantics for specifications of dynamic systems is developed, which enables us to express solutions to problems like temporal projection, planning and postdiction in terms of logical entailment.