Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding.

Irina Makarenko Christoph Benzmüller

Published in: KI (2020)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
positive and negative
logical framework
vector space
default reasoning
feature selection
pairwise
high dimensional
logic programming
first order logic
inference rules