Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control.

Marcelo Finger Renata Wassermann

Published in: J. Log. Comput. (2004)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
nonmonotonic reasoning
belief revision
reasoning tasks
computational properties
logic programs
integrity constraints
theorem prover