Dynamic Epistemic Preferential Logic of Action.

Krystian Jobczyk Antoni Ligeza

Published in: ICAISC (2) (2017)

Keyphrases

dynamic environments
epistemic logic
knowledge base
data structure
modal operators
bayesian networks
logic programming
modal logic
situation calculus
nonmonotonic logics
proof theory