Towards a general theory of action and time
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Representing actions in equational logic programming
Proceedings of the eleventh international conference on Logic programming
Representing continuous change in the abductive event calculus
Proceedings of the eleventh international conference on Logic programming
A circumscriptive calculus of events
Artificial Intelligence
Cicumscribing Features and Fluents
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Soundness and completeness theorems for three formalizations of action
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The range of applicability of nonmonotonic logics for the inertia problem
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Reasoning about continuous processes
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
In this paper we shall present a translation of the process semantics [5] to the event calculus. The aim is to realize a method of integrating high-level semantics with logical calculi to reason about continuous change. The general translation rules and the soundness and completeness theorem of the event calculus with respect to the process semantics are main technical results of this paper.