An Implementation of Kripke-Kleene Semantics.

Faye F. Liu Douglas H. Moore

Published in: Inf. Sci. (1998)

Keyphrases

propositional logic
formal semantics
implementation issues
database
data sets
genetic algorithm
bayesian networks
expert systems
efficient implementation
regular expressions
desirable properties
inference rules
operational semantics