A Foundation to Perception Computing, Logic and Automata

Published in: CoRR (2006)

Keyphrases

logic programming
modal logic
classical logic
proof theory
data sets
neural network
automated reasoning
case study
theorem proving
default logic
finite state
automata theoretic
sound and complete axiomatization