Complexity of Reasoning with Cardinality Minimality Conditions.

Nadia Creignou Frédéric Olive Johannes Schmidt

Published in: AAAI (2023)

Keyphrases

sufficient conditions
space complexity
model based reasoning
data mining
knowledge base
case study
knowledge representation
real time
worst case
reasoning mechanisms
deductive reasoning
polynomial hierarchy
consistency checking
knowledge representation and reasoning
reasoning tasks
meta level
neural network