499 search results - page 37 / 100 » Logic Programming in a Fragment of Intuitionistic Linear Log... |
124
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
149
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
126
click to vote
JELIA
1998
Springer
15 years 8 months ago
1998
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic with exponentials. In the process we elaborate a methodology for proving mat...
142
click to vote
FAC
2008
15 years 4 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...