Extracting higher-order logic formulas from English sentences.

Alexandre Rademaker Guilherme Lima Renato Cerqueira

Published in: ICNLSP (2023)

Keyphrases

higher order logic
higher order
theorem prover
logical framework
conditional logic
machine learning
decision trees
random variables
belief revision
inference rules