Extending arrow logic.

Philippe Balbiani Dimiter Vakarelov

Published in: RelMiCS (1998)

Keyphrases

logic programming
classical logic
databases
asynchronous circuits
multi valued
formal theory
linear logic
case study
artificial neural networks
evolutionary algorithm
logic programs
image processing
modal logic
decision making
neural network
set theory
abductive reasoning
data sets