Sign in
Logic Engines as Interactors
Paul Tarau
Published in:
CoRR (2008)
Keyphrases
</>
logic programming
classical logic
predicate logic
modal logic
real time
neural network
decision trees
data structure
multi agent systems
relational databases
expressive power
multi valued
digital circuits
abductive reasoning
logic synthesis
deductive reasoning