SOGrounder: Modelling and Solving Second-Order Logic.

Matthias van der Hallen Gerda Janssens

Published in: KR (2018)

Keyphrases

higher order
neural network
modal logic
case study
automated reasoning
asynchronous circuits
information retrieval
genetic algorithm
learning algorithm
objective function
linear programming
probability theory
multi valued
classical logic
nonlinear programming