Abstract Logics as Dialgebras.

Alessandra Palmigiano

Published in: CMCS (2002)

Keyphrases

propositional dynamic logic
modal logic
expressive power
high level
inference rules
neural network
higher level
learning algorithm
computer vision
image processing
multiscale
knowledge representation
computational properties