2145 search results - page 160 / 429 » Lax Logical Relations |
110
click to vote
FOSSACS
2006
Springer
15 years 4 months 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 ...
116
click to vote
JELIA
2000
Springer
15 years 4 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
121
click to vote
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Many real-world applications of AI require both probability and first-order logic to deal with uncertainty and structural complexity. Logical AI has focused mainly on handling com...
105
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
108
Voted
CORR
2006
Springer
15 years 22 days ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...