A note on da Costa-Doria "exotic formalizations".

Published in: Arch. Math. Log. (2010)

Keyphrases

situation calculus
onset detection
wavelet transform
relational databases
probabilistic model
image data
general purpose
data management
autoepistemic logic