Completeness and Correspondence in Chellas-Segerberg Semantics.

Matthias Unterhuber Gerhard Schurz

Published in: Stud Logica (2014)

Keyphrases

formal semantics
semantic information
logic programming
neural network
artificial intelligence
case study
correspondence matching
real time
model theoretic
owl ontologies
specification language
conceptual graphs
conceptual model
image matching
query language
similarity measure
databases