2225 search results - page 81 / 445 » Logical Structures in the Lexicon |
159
click to vote
CIE
2005
Springer
15 years 11 months ago
2005
Springer
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...
132
Voted
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Users without knowledge of schemas or structured query languages have difficulties in accessing information stored in databases. Commercial and research efforts have focused on key...
158
click to vote
AAAI
1990
15 years 6 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...
141
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Focused proof systems provide means for reducing and structuring the non-determinism involved in searching for sequent calculus proofs. We present a focused proof system ...
138
click to vote
ENTCS
2007
15 years 5 months ago
2007
We present local Hoare reasoning about data update, using Context Logic for analysing structured data. We apply our reasoning to tree update, heap update which is analogous to loc...