Abstract Valuation Semantics.

Carlos Caleiro Ricardo Gonçalves

Published in: Stud Logica (2013)

Keyphrases

databases
conceptual graphs
propositional dynamic logic
information retrieval
low level
higher level
logic programming
formal semantics
database
artificial intelligence
default reasoning
semantic representation
specification language