Algebraic Neighbourhood Logic.

Peter Höfner Bernhard Möller

Published in: J. Log. Algebraic Methods Program. (2008)

Keyphrases

computer algebra
multi valued
modal logic
automated reasoning
predicate logic
algebraic structure
logic programming
asynchronous circuits
neural network
real world
information systems
classical logic
artificial intelligence
defeasible logic
algebraic expressions