SOGrounder: Modelling and Solving Second-Order Logic.

Matthias van der Hallen Gerda Janssens

Published in: BNAIC/BENELEARN (2019)

Keyphrases

higher order
combinatorial optimization
data sets
modal logic
classical logic
defeasible logic
real time
learning algorithm
information systems
quadratic programming
formal semantics
predicate logic
asynchronous circuits