Login / Signup
An Expressive Semantics of Mocking.
Josef Svenningsson
Hans Svensson
Nicholas Smallbone
Thomas Arts
Ulf Norell
John Hughes
Published in:
FASE (2014)
Keyphrases
</>
logic programming
highly expressive
formal semantics
semantic information
real time
conceptual graphs
semantic representation
data mining
information retrieval
learning algorithm
logical framework
transformation rules