Login / Signup
Obligation versus Factual Conditionals under the Weak Completion Semantics.
Emmanuelle-Anna Dietz Saldanha
Steffen Hölldobler
Isabelly Lourêdo Rocha
Published in:
YSIP (2017)
Keyphrases
</>
conditional logic
default rules
proof theoretic
semantic information
multi agent systems
belief revision
modal logic
default reasoning
formal semantics
knuth bendix
databases
logical language
epistemic states
operational semantics
semantic representation
nonmonotonic reasoning
conceptual model
neural network