Login / Signup
Modal Logic Applied to Query Answering and the Case for Variable Modalities.
Evgeny Zolin
Published in:
Description Logics (2007)
Keyphrases
</>
query answering
modal logic
data exchange
temporal logic
data integration
conjunctive queries
data complexity
situation calculus
answering queries
inference rules
decision procedures
integrity constraints
incomplete information
datalog programs