Login / Signup
Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results.
Francesco Belardinelli
Wiebe van der Hoek
Published in:
IJCAI (2015)
Keyphrases
</>
boolean logic
expressive power
truth values
epistemic logic
belief change
databases
dynamic epistemic logic
artificial intelligence
relational databases
hidden markov models
first order logic
complex networks
data quality
conceptual change