Sciweavers

Share
ASP
2005
Springer

Modeling Hybrid Domains Using Process Description Language

8 years 10 months ago
Modeling Hybrid Domains Using Process Description Language
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.
Sandeep Chintabathina, Michael Gelfond, Richard Wa
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where ASP
Authors Sandeep Chintabathina, Michael Gelfond, Richard Watson
Comments (0)
books