Assertions of Counterfactuals and Epistemic Irresponsibility.

Vittorio Morato

Published in: FLAP (2021)

Keyphrases

knowledge base
causal models
logical language
database
computation tree logic
epistemic logic
decision making
multi agent
data structure
cooperative
model checking
belief change
socio cognitive
dynamic epistemic logic
logic program updates