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