The Material Logics of Confirmation.

Morten Holmqvist

Published in: InnovaInt. J. Actor Netw. Theory Technol. Innov. (2014)

Keyphrases

expressive power
modal logic
inference rules
genetic algorithm
case study
image segmentation
database systems
image sequences
multi agent
hidden markov models
computational properties
decision procedures