An Executable and Testable Semantics for iTasks.

Pieter W. M. Koopman Rinus Plasmeijer Peter Achten

Published in: IFL (2008)

Keyphrases

attribute grammars
formal semantics
process algebra
semantic information
conceptual graphs
formal specification
transformation rules
intended meaning
database
argumentation semantics
logical language
proof theory
speech acts
graphical representation
logic programming
natural language processing
real world
data sets