Modeling hybrid domains using process description language

CEUR Workshop Proceedings

Volumn 142, Issue , 2005, Pages 303-317

  Chintabathina, Sandeep ^a   Gelfond, Michael ^a   Watson, Richard ^a  

^a Texas Tech University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION LANGUAGE; ANSWER SET PROGRAMMING; HYBRID DOMAIN; PROCESS DESCRIPTION LANGUAGES;

ARTIFICIAL INTELLIGENCE; SEMANTICS;

LOGIC PROGRAMMING;

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

References (18)

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 AAAI 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 Proc. of KR'02, pages 291-302.
5. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming, In Logic Programming: Proc. 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 Proc. 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. V. Lifschitz. Action languages, Answer Sets and planning. In The Logic Programming Paradigm:a 25 year perspective.357-373, Springer Verlag, 1999.
10. N. McCain and H. Turner. A causal theory of ramifications and qualifications. In Proc. of IJCAI-95, pages 1978-1984, 1995.
11. N. McCain and H. Turner. Causal theories of action and change. In Proc. of AAAI-97, pages 460-465, 1997.
12. I. Niemela and P. Simons. Smodels - an implementation of the stable model and well founded semantics for normal logic programs. In Proc. of LPNMR'97, pages 420-429, 1997.
13. J.A. Pinto. Temporal Reasoning in the Situation Calculus. PhD Thesis, Department of Computer Science, University of Toronto, 1994.
14. R. Reiter. Natural actions, concurrency and continuous time in the situation calculus. In Principles of Knowledge Representation and Reasoning: Proc. of the Fifth International Conference (KR'96), pages 2-13, Cambridge, Massachusetts, U.S.A., November 1996.
15. R. Reiter. Time, concurrency and processes. In Knowledge in action: Logical Foundations for specifying and implementing dynamical systems, pages 149-183, ISBN 0-262-18218-1, MIT, 2001.
16. E. Sandewall. Filter Preferential entailment for the logic of action in almost continuous worlds. In Proc. of IJCAI'89, pages 894-899, 1989.
17. M. Shanahan. Representing continuous change in the Event Calculus. In Proc. of the European Conference on Artificial Intelligence, pages 598-603, 1990.
18. R. Watson and S. Chintabathina. Modeling hybrid systems in action languages. In Proc. of the 2nd International ASP'03 workshop, pages 356-370, Messina, Sicily, Italy, September 2003.