Justification Logic and History Based Computation.

Francisco Bavera Eduardo Bonelli

Published in: ICTAC (2010)

Keyphrases

automated reasoning
predicate logic
databases
knowledge base
search algorithm
efficient computation
real time
neural network
genetic algorithm
social networks
evolutionary algorithm
logic programming
probabilistic logic
proof theory
delay insensitive