2225 search results - page 32 / 445 » Logical Structures in the Lexicon |
FOSSACS
2006
Springer
14 years 21 days ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
LOGCOM
2007
13 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
14 years 29 days ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
ICML
2010
IEEE
13 years 10 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
14 years 2 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...