Login / Signup
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic.
Christiano de O. Braga
Edward Hermann Haeusler
José Meseguer
Peter D. Mosses
Published in:
AMAST (2000)
Keyphrases
</>
logic programming
action descriptions
reasoning about actions
modal logic
action selection
reasoning tasks
logical framework
conditional logic
proof theory