Towards a general theory of action and time
Artificial Intelligence
Problems in formal temporal reasoning
Artificial Intelligence
Chronological ignorance: experiments in nonmonotonic temporal reasoning
Artificial Intelligence
A new deductive approach to planning
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
Recent advances in qualitative physics
Recent advances in qualitative physics
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
Representing actions in equational logic programming
Proceedings of the eleventh international conference on Logic programming
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
Representing concurrent actions in extended logic programming
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Representing the Process Semantics in the Event Calculus
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Reasoning about non-immediate triggers in biological networks
Annals of Mathematics and Artificial Intelligence
A case study in reasoning about processes
CIMMACS'06 Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Modelling mixed discrete-continuous domains for planning
Journal of Artificial Intelligence Research
The concurrent, continuous FLUX
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
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
Reasoning about continuous uncertainty in the situation calculus
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain events. Such events are points in time at which the equations describing the system's behavior--that is, the equations which specify the ongoing processes--change. Between two events the system's parameters stay continuous. A high-level semantics for drawing logical conclusions about dynamic systems with continuous processes is presented, and we have developed an adequate calculus to automate this reasoning process. In doing this, we have combined deduction and numerical calculus, offering logical reasoning about precise, quantitative system information. The scenario of multiple balls moving in 1-dimensional space interacting with a pendulum serves as demonstration example of our method.