Toward the Formulation of Presupposition by Illative Combinatory Logic.

Yuri Ishishita Daisuke Bekki

Published in: LACL (2012)

Keyphrases

logic programming
modal logic
optimization procedure
multi valued
probabilistic formulation
asynchronous circuits
least squares
epistemic logic
automated reasoning
question answer
predicate logic
nonmonotonic logics
logical framework
data sets
multiscale
machine learning
neural network