C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals.
Fausto Barbero
Jonni Virtema
Published in:
JELIA (2023)
Keyphrases
</>
complete axiomatization
probabilistic logic
probability theory
uncertain data
probabilistic model
probabilistic knowledge
bayesian networks
logic programming
generative model
classical logic
database systems
distributed systems
modal logic
multi valued
proof theory