Computing with Logic as Operator Elimination: The ToyElim System.

Christoph Wernhard

Published in: INAP/WLP (2011)

Keyphrases

logic programming
modal operators
modal logic
neural network
classical logic
artificial intelligence
image processing
image sequences
search algorithm
expert systems
evolutionary algorithm
multi valued
computational properties
digital circuits
boolean algebra