Reprint of: Assertion and denial: A contribution from logical notations.

Ahti-Veikko Pietarinen Francesco Bellucci

Published in: J. Appl. Log. (2017)

Keyphrases

logical structure
image segmentation
high level
database systems
support vector
multiresolution
mobile robot
modeling language
logical representation
logical reasoning