Default reasoning from conditional knowl
โ
Thomas Eiter; Thomas Lukasiewicz
๐
Article
๐
2000
๐
Elsevier Science
๐
English
โ 625 KB
Conditional knowledge bases have been proposed as belief bases that include defeasible rules (also called defaults) of the form "ฯ โ ฯ", which informally read as "generally, if ฯ then ฯ". Such rules may have exceptions, which can be handled in different ways. A number of entailment semantics for con