Formulae-as-types for an involutive negation.

Guillaume Munch-Maccagnoni

Published in: CSL-LICS (2014)

Keyphrases

deductive databases
horn clauses
data sets
databases
neural network
machine learning
website
video sequences
pairwise
artificial neural networks
evolutionary algorithm
special case
logic programs
logic programming
multiple types