Proving Quantified Literals in Defeasible Logic.

David Billington

Published in: Inf. Sci. (1999)

Keyphrases

defeasible logic
universally quantified
defeasible reasoning
extended logic programs
rule base
business rules
knowledge representation and reasoning
answer sets
default logic
nonmonotonic reasoning
horn clauses
real time
logic programs
incomplete information