HOL-λσ: an intentional first-order expression of higher-order logic.

Gilles Dowek Thérèse Hardin Claude Kirchner

Published in: Math. Struct. Comput. Sci. (2001)

Keyphrases

higher order logic
higher order
conditional logic
theorem prover
first order logic
default reasoning
belief revision
modal logic
nonmonotonic reasoning
pairwise
theorem proving
logical framework
concept learning
mental states
inference rules
probabilistic inference
machine learning