Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence.

Christoph Schubert

Published in: ISDT (2009)

Keyphrases

logical equivalence
proof theory
np complete
default theories
data exchange
schema mappings
default reasoning
logic programming
objective function
data integration
automated reasoning
data sets
bayesian networks
default logic