499 search results - page 22 / 100 » Logic Programming in a Fragment of Intuitionistic Linear Log... |
125
click to vote
TABLEAUX
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. linTAP is a tableau prover for the multiplicative and exponential fragment M?LL of Girards linear logic. It proves the validity of a given formula by constructing an anal...
166
click to vote
JELIA
2010
Springer
15 years 2 months ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
145
click to vote
LOPSTR
1995
Springer
15 years 8 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
128
click to vote
AMAI
2008
Springer
15 years 4 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
136
click to vote
JAPLL
2010
14 years 11 months ago
2010
The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this p...