2529 search results - page 54 / 506 » The Logical Structure of Binding |
86
Voted
LOGCOM
2007
14 years 9 months ago
2007
We begin by showing how to faithfully encode the Classical Modal Display Logic (CMDL) of Wansing into the Calculus of Structures (CoS) of Guglielmi. Since every CMDL calculus enjo...
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
ICML
2010
IEEE
14 years 11 months ago
2010
IEEE
Markov logic networks (MLNs) use firstorder formulas to define features of Markov networks. Current MLN structure learners can only learn short clauses (4-5 literals) due to extre...
CSL
2004
Springer
15 years 3 months ago
2004
Springer
The aim of this work is to give an alternative presentation for the multiplicative fragment of Yetter’s cyclic linear logic. The new presentation is inspired by the calculus of s...
104
click to vote
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...