ASNP: a tame fragment of existential second-order logic.

Manuel Bodirsky Simon Knäuer Florian Starke

Published in: CoRR (2020)

Keyphrases

higher order
databases
classical logic
modal logic
neural network
logic programming
automata theoretic
case study
multi valued
computational properties
real time
data model
query answering
automated reasoning
knowledge base
defeasible logic
predicate logic
hessian matrix
proof theory
logical equivalence