NIGEL Gets To Know Logic.

Bernhard Nebel Norman K. Sondheimer

Published in: GWAI (1986)

Keyphrases

modal logic
digital circuits
logic programming
multi valued
proof theory
automated reasoning
case study
information systems
genetic algorithm
multiscale
databases
probabilistic logic
logical framework
classical logic
computational properties
predicate logic
dynamic logic
neural network