Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity.

Georg Gottlob Mingyi Zhang

Published in: Artif. Intell. (1994)

Keyphrases

default logic
worst case
databases
nonmonotonic reasoning
learning algorithm
high level
dynamic programming
logic programming
stereo matching
default rules