ASNP: A Tame Fragment of Existential Second-Order Logic.

Manuel Bodirsky Simon Knäuer Florian Starke

Published in: CiE (2020)

Keyphrases

higher order
logic programming
classical logic
query answering
automata theoretic
abductive reasoning
automated reasoning
modal logic
neural network
query language
expert systems
databases
multiscale
artificial intelligence
multi valued
genetic algorithm
set theory
predicate logic
machine learning
natural deduction