Encoding W: A Logic for Z in 2OBJ.

Andrew P. Martin

Published in: FME (1993)

Keyphrases

logic programming
modal logic
multi valued
classical logic
data sets
probability theory
fractal image compression
proof theory
probabilistic logic
predicate logic
delay insensitive
artificial intelligence
motion estimation
automated reasoning
logic synthesis