Double-negation Shift as a constructive principle

Published in: CoRR (2013)

Keyphrases

logic programs
logic programming
deductive databases
learning algorithm
computer vision
similarity measure
mobile robot