Deducibility and independence in Beklemishev's autonomous provability calculus.

David Fernández-Duque Eduardo Hermo Reyes

Published in: Inf. Comput. (2022)

Keyphrases

robotic systems
autonomous learning
neural network
conditional independence
genetic algorithm
mobile robot
autonomous navigation
formal language
algebraic structure
provably correct
sequent calculus