Angeletics and Logic in Reality.

Joseph E. Brenner

Published in: Inf. (2012)

Keyphrases

logic programming
classical logic
automated reasoning
databases
real world
modal logic
logical framework
digital circuits
proof theory
sound and complete axiomatization
neural network
genetic algorithm
artificial neural networks
epistemic logic