Modeling hybrid systems in action languages

CEUR Workshop Proceedings

Volumn 78, Issue , 2003, Pages 356-370

  Watson, Richard ^a   Chintabathina, Sandeep ^a  

^a Texas Tech University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION LANGUAGE; ANSWER SET; GLOBAL TIME; LOCAL TIME; ON CURRENTS;

LOGIC PROGRAMMING;

HYBRID SYSTEMS;

EID: 84887059510     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. M. Balduccini and M. Gelfond. Diagnostic reasoning with A-Prolog. In Journal of Theory and Practice of Logic Programming (TPLP), 3(4-5):425-461, Jul 2003.
2. M. Balduccini and M. Gelfond. Logic Programs with Consistency-Restoring Rules. In AAA! Spring 2003 Symposium, 2003.
3. C. Baral and M. Gelfond. Reasoning agents in dynamic domains. In Minker, J, ed., Logic-Based AI, Kluwer Academic publishers,(2000),257-279.
4. C. Baral, T. Son and L. Tuan. A transition function based characterization of actions with delayed and continuous effects. In Proceedings of KR'02, pages 291-302.
5. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming, In Logic Programming: Proceedings of the Fifth International Conference and Symposium, 1988, pp. 1070-1080.
6. M. Gelfond and V. Lifschitz. Action Languages. In Electronic Transactions on Artificial Intelligence, 3(6),1998.
7. M. Gelfond and R. Watson. On Methodology of Representing Knowledge in Dynamic Domains. In Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems, pp. 57-66, 1999.
8. V. Lifschitz, Two components of an action language, In Annals of Mathematics and Artificial Intelligence, Vol. 21, 1997, pp. 305-320.
9. [Lif99] V. Lifschitz. Action languages, Answer Sets and planning. In The Logic Programming Paradigm:a 25 year perspective.357-373, Springer Verlag,1999.
10. [MT95] N. McCain and H. Turner. A causal theory of ramifications and qualifications. In Proceedings of IJCAI'95. ppl978-1984, 1995.
11. I. Niemela and P. Simons. Smodels - an implementation of the stable model and well founded semantics for normal logic programs. In Proceedings of LPNMR'97, pages 420-429,1997.
12. R. Reiter. Natural actions, concurrency and continuous time in the situation calculus. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR'96), pages 2-13, Cambridge, Massachusetts, U.S.A., November 1996.