Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CORR
2009
Springer

favoriteEmaildiscussreport

86views Education» more CORR 2009»

Rewriting Logic Semantics of a Plan Execution Language

13 years 2 months ago

Rewriting Logic Semantics of a Plan Execution Language

Download shemesh.larc.nasa.gov

Gilles Dowek, César Muñoz, Camilo Ro

Real-time Traffic

CORR 2009 | Education |

claim paper

Related Content

» Plan in Maude Specifying an Active Network Programming Language

» Linear temporal logic as an executable semantics for planning languages

» The Rewriting Logic Semantics Project

» Executable structural operational semantics in Maude

» A Rewriting Logic Sampler

» Defining Standard Prolog in Rewriting Logic

» Operational Semantics of Constraint Logic Programs with Coroutining

» Rewriting Logic as a Unifying Framework for Petri Nets

» ELAN from a rewriting logic point of view

Post Info
More Details (n/a)

Added	17 Feb 2011
Updated	17 Feb 2011
Type	Journal
Year	2009
Where	CORR
Authors	Gilles Dowek, César Muñoz, Camilo Rocha

Comments (0)