Reasoning About Inconsistent Formulas.

João Marques-Silva Carlos Mencía

Published in: IJCAI (2020)

Keyphrases

complete axiomatization
qualitative reasoning
spatial reasoning
modal operators
belief base
formal theory
artificial intelligence
data mining
multiscale
information retrieval
search algorithm
multi agent systems
qualitative spatial reasoning