Interval Logics and Sequential Transducers.

Max Michel Jean-Bernard Stefani

Published in: CAAP (1988)

Keyphrases

expressive power
modal logic
finite automata
inference rules
databases
sequential search
expert systems
rough sets
search algorithm
multiscale
artificial intelligence
propositional logic
nonmonotonic logics
machine learning
conditional logic
real time
proof theory
valued logic
interval analysis