Default rules for Curry.

Sergio Antoy Michael Hanus

Published in: Theory Pract. Log. Program. (2017)

Keyphrases

default rules
default reasoning
default logic
commonsense reasoning
nonmonotonic reasoning
default theories
possibility theory
positive examples
general purpose
logic programming
belief revision
probability theory