Modeling hybrid domains using process description language

Sandeep Chintabathina; Michael Gelfond; Richard Watson

Modeling hybrid domains using process description language

Sandeep Chintabathina, Michael Gelfond, Richard Watson

Computer Science

Research output: Contribution to journal › Conference article › peer-review

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 language	English
Pages (from-to)	303-317
Number of pages	15
Journal	CEUR Workshop Proceedings
Volume	142
State	Published - 2005
Event	3rd 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 2005 → Jul 29 2005

Cite this

@article{010683c609e14176824484100a73f327,

title = "Modeling hybrid domains using process description language",

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.",

author = "Sandeep Chintabathina and Michael Gelfond and Richard Watson",

year = "2005",

language = "English",

volume = "142",

pages = "303--317",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

note = "null ; Conference date: 27-07-2005 Through 29-07-2005",

}

TY - JOUR

T1 - Modeling hybrid domains using process description language

AU - Chintabathina, Sandeep

AU - Gelfond, Michael

AU - Watson, Richard

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84879949155&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:84879949155

SN - 1613-0073

VL - 142

SP - 303

EP - 317

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

Y2 - 27 July 2005 through 29 July 2005

ER -

Modeling hybrid domains using process description language

Abstract

Other files and links

Fingerprint

Cite this