Representation Theorems and the Semantics of (Semi)Lattice-Based Logics.

Viorica Sofronie-Stokkermans

Published in: ISMVL (2001)

Keyphrases

propositional dynamic logic
logic programming
image representation
semantic representation
default theories
nonmonotonic logics
conceptual graphs
conditional logic
epistemic logic
highly expressive
neural network
expressive power
modal logic
nonmonotonic reasoning
graphical representation
anti unification