279 search results - page 1 / 56 » Rewriting Logic Semantics of a Plan Execution Language |
80
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
91
Voted
ENTCS
2002
15 years 6 days 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...
101
Voted
JOLLI
2007
15 years 9 days 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...
109
Voted
ENTCS
2006
15 years 12 days 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
15 years 11 days 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...