Alternating Epistemic Mu-Calculus.

Nils Bulling Wojciech Jamroga

Published in: IJCAI (2011)

Keyphrases

algebraic structure
belief change
computer algebra
artificial intelligence
epistemic logic
data sets
automated deduction
formal language
development environment
databases
real numbers
expert systems
proof procedure
data mining
database
computation tree logic
logic program updates
independent natural extension