Complexity of Reasoning with Cardinality Minimality Conditions.

Nadia Creignou Frédéric Olive Johannes Schmidt

Published in: CoRR (2023)

Keyphrases

sufficient conditions
space complexity
computational cost
databases
reasoning systems
knowledge base
partial order
qualitative temporal reasoning
real time
formal models
probabilistic reasoning
relational databases
multi agent
image sequences
website
search engine
artificial intelligence
neural network