A labelling approach for ideal and stage semantics.

Martin Caminada

Published in: Argument Comput. (2011)

Keyphrases

formal semantics
logic programming
semantic information
artificial intelligence
learning stage
databases
machine learning
information systems
knowledge base
natural language processing
first order logic
semantic representation
specification language
operational semantics
model theoretic