Login / Signup
Monotonicity and the Complexity of Reasoning with Quantifiers.
Jonathan Sippel
Jakub Szymanik
Published in:
CogSci (2018)
Keyphrases
</>
reasoning process
automated reasoning
database
knowledge base
knowledge representation
worst case
first order logic
neural network
machine learning
computational cost
reasoning tasks
reasoning systems
polynomial hierarchy