Note on paraconsistency and reasoning about fractions.

Jan A. Bergstra Inge Bethke

Published in: J. Appl. Non Class. Logics (2015)

Keyphrases

qualitative reasoning
formal theory
onset detection
information systems
spatial reasoning
artificial intelligence
bayesian networks
object recognition