Modeling hybrid domains using process description language

Sandeep Chintabathina, Michael Gelfond, Richard Watson

Research output: Contribution to journalConference article

13 Scopus citations

Abstract

In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain values that are in constant change. In this paper we introduce an action language for modeling such hybrid domains called the process description language. We discuss the syntax and semantics of the language, model an example using this language, and give a provenly correct translation into answer set programming.

Original languageEnglish
Pages (from-to)303-317
Number of pages15
JournalCEUR Workshop Proceedings
Volume142
StatePublished - 2005
Event3rd International Workshop on Answer Set Programming: Advances in Theory and Implementation, ASP 2005, Co-located Event with the 19th International Joint Conference on Artificial Intelligence, IJCAI 2005 - Bath, United Kingdom
Duration: Jul 27 2005Jul 29 2005

Fingerprint Dive into the research topics of 'Modeling hybrid domains using process description language'. Together they form a unique fingerprint.

  • Cite this