4370 search results - page 291 / 874 » Algebra of Logic Programming |
90
Voted
AML
2004
15 years 17 days ago
2004
We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. "Truth values" are int...
96
Voted
BSL
1999
15 years 11 days ago
1999
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
100
click to vote
TASE
2008
IEEE
15 years 5 days ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
101
click to vote
ILP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Logical Bayesian Networks (LBNs) have recently been introduced as another language for knowledge based model construction of Bayesian networks, besides existing languages...
101
Voted
CORR
2006
Springer
15 years 22 days ago
2006
Springer
The purpose of this paper is twofold: (i) we argue that the structure of commonsense knowledge must be discovered, rather than invented; and (ii) we argue that natural language, w...