-Logics.

Claus Hintermeier Hélène Kirchner Peter D. Mosses

Published in: HOA (1995)

Keyphrases

expressive power
modal logic
classical logic
propositional calculus
nonmonotonic logics
inference rules
multi agent
decision procedures
coalition logic
real world
propositional dynamic logic
proof theory
artificial neural networks
expert systems
multiscale
image processing
artificial intelligence