Sign in
Representing Nonmonotonic Inference Based on c-Representations as an SMT Problem.
Martin von Berg
Arthur Sanin
Christoph Beierle
Published in:
ECSQARU (2023)
Keyphrases
</>
nonmonotonic inference
nonmonotonic reasoning
conditional logic
logic programming
belief revision
automatically discovering
higher level