Logics of Dependence and Independence: The Local Variants.

Erich Grädel Phil Pützstück

Published in: CoRR (2021)

Keyphrases

dependence structure
independence assumption
modal logic
expressive power
artificial intelligence
epistemic logic
conditional independence
inference rules
conditional logic
computational properties
classical logic
default logic
real world
search algorithm
database systems
case study
information retrieval