Login / Signup
Deriving Partial Correctness Logics From Evolving Algebras.
Arnd Poetzsch-Heffter
Published in:
IFIP Congress (1) (1994)
Keyphrases
</>
modal logic
expressive power
spatial reasoning
decision procedures
database
neural network
genetic algorithm
search algorithm
classical logic
nonmonotonic logics
belief functions