Robinson consistency in many-sorted hybrid first-order logics.

Guillermo Badia Tomasz Kowalski Daniel Gaina

Published in: AiML (2022)

Keyphrases

expressive power
first order logic
conditional logic
higher order
modal logic
neural network
quantifier elimination
hybrid learning
inference rules
data sets
theorem proving
bayesian networks
computational properties
artificial intelligence
hybrid approaches
propositional calculus
classical first order logic