A Type-Directed Negation Elimination.

Published in: FICS (2015)

Keyphrases

logic programming
neural network
special case
information systems
image sequences
multiscale
mobile robot
deductive databases
containment of conjunctive queries