279 search results - page 1 / 56 » Rewriting Logic Semantics of a Plan Execution Language |
CORR
2009
Springer
13 years 2 months ago
2009
Springer
ENTCS
2002
13 years 4 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
JOLLI
2007
13 years 4 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
ENTCS
2006
13 years 4 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
JLP
2006
13 years 4 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...