Light Logics and Higher-Order Processes

Ugo Dal Lago Simone Martini Davide Sangiorgi

Published in: EXPRESS (2010)

Keyphrases

higher order
higher order logic
anti unification
natural images
expressive power
pairwise
high order
data mining
communication channels
inference rules
modal logic
markov random field
website
inductive logic programming
computational models
image sequences
stochastic processes
neural network
propositional calculus