Propositional equality, identity types, and direct computational paths

Ruy J. G. B. de Queiroz Anjolina Grisi de Oliveira

Published in: CoRR (2011)

Keyphrases

case study
first order logic
propositional logic
neural network
learning algorithm
shortest path
database
data sets
artificial intelligence
wireless sensor networks
mathematical programming
optimal path
statistical relational learning