92 search results - page 7 / 19 » An Executable UML with OCL-based Action Semantics Language |
92
Voted
ROOM
2000
15 years 1 months ago
2000
A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data...
110
Voted
ISOLA
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...
AIPS
2010
15 years 2 months ago
2010
We present Shopper, a plan execution engine that facilitates experimental evaluation of plans and makes it easier for planning researchers to incorporate replanning. Shopper inter...
115
Voted
CLIMA
2010
15 years 1 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
83
Voted
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...