Reasoning agents in dynamic domains
Logic-based artificial intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
A causal theory of ramifications and qualifications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Artificial intelligence today
Answer set programming modulo theories and reasoning about continuous changes
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
In this paper we present a new version of action language H which is more expressive and powerful than its previous version. We enhanced the syntax to include triggers which allows us to reason about natural actions. The new version is capable of modeling a variety of domains, demonstrating that it is a good language for knowledge representation. We present the syntax and semantics of the language and show how it can be used to model the behavior of a bouncing ball.