Finite-valued Semantics for Canonical Labelled Calculi.

Matthias Baaz Ori Lahav Anna Zamansky

Published in: J. Autom. Reason. (2013)

Keyphrases

valued semantics
consistent query answering
default logic
dl lite
databases
database
object oriented
description logics
integrity constraints
logical implication