352 search results - page 36 / 71 » Paraconsistent Declarative Semantics for Extended Logic Prog... |
149
click to vote
IDT
2010
15 years 1 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
223
click to vote
LMCS
2006
15 years 2 months ago
2006
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
129
Voted
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
112
Voted
DALT
2004
Springer
15 years 8 months ago
2004
Springer
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid...
116
click to vote
CSL
1998
Springer
15 years 7 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...