Default Rules for Curry.

Sergio Antoy Michael Hanus

Published in: CoRR (2016)

Keyphrases

default rules
default reasoning
default logic
commonsense reasoning
default theories
nonmonotonic reasoning
possibility theory
logic programming
incomplete information
positive examples
machine learning
object oriented
constraint satisfaction