Adequacy of Compositional Translations for Observational Semantics.

Manfred Schmidt-Schauß Joachim Niehren Jan Schwinghammer David Sabel

Published in: IFIP TCS (2008)

Keyphrases

formal semantics
logic programming
real time
information systems
first order logic
semantic representation
learning algorithm
artificial intelligence
semantic information