Generalized DEL-Sequents.

Guillaume Aucher Bastien Maubert François Schwarzentruber

Published in: JELIA (2012)

Keyphrases

linear logic
sequent calculus
inference rules
genetic algorithm
pairwise
data mining
machine learning
artificial intelligence
case study
multiscale
state space
social bookmarking