Building Tools for LOTOS Symbolic Semantics in Maude.

Alberto Verdejo

Published in: FORTE (2002)

Keyphrases

logic programming
user friendly
software tools
formal semantics
decision support
building blocks
operational semantics
record keeping
artificial intelligence
end users
knowledge representation
logic programs
formal specification