Dynamic Testimonial Logic.

Wesley H. Holliday

Published in: LORI (2009)

Keyphrases

logic programming
dynamic environments
proof theory
real time
neural network
real world
genetic algorithm
artificial intelligence
mobile robot
nonmonotonic logics