A Foundation for Metareasoning Part I: The Proof Theory.

Giovanni Criscuolo Fausto Giunchiglia Luciano Serafini

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

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
decision theoretic
default logic
knowledge base
multi dimensional
belief revision
query answering
nonmonotonic reasoning