2585 search results - page 255 / 517 » Automating Coherent Logic |
132
click to vote
LICS
2007
IEEE
16 years 27 days ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
143
click to vote
CSL
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
167
click to vote
ICLP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
204
click to vote
ILP
2007
Springer
16 years 23 days ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
184
click to vote
LICS
2006
IEEE
16 years 19 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....