On a problem of Foreman and Magidor.

Arthur W. Apter

Published in: Arch. Math. Log. (2005)

Keyphrases

nonmonotonic reasoning
default logic
higher order
tableau calculus
knowledge base
query language
genetic programming
sufficient conditions