Default Rules for Curry.

Sergio Antoy Michael Hanus

Published in: PADL (2016)

Keyphrases

default rules
default reasoning
default logic
commonsense reasoning
default theories
nonmonotonic reasoning
possibility theory
data sets
positive examples
belief revision
logic programming
partial order