A linear space decision procedure for Gödel propositional logic.

Stefano Aguzzoli

Published in: FUZZ-IEEE (2016)

Keyphrases

propositional logic
linear space
davis putnam
proof procedure
first order logic
valued logic
belief revision
decision making
nearest neighbor search
decision problems
space efficient
propositional satisfiability
external memory
horn logic
database
arbitrary shape
knn
high dimensional
expert systems