1776 search results - page 277 / 356 » Using a Logic Programming Language with Persistence and Cont... |
AGP
2003
IEEE
14 years 17 days ago
2003
IEEE
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
LOPSTR
2009
Springer
14 years 1 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
BDA
1993
13 years 10 months ago
1993
We show how structured data stored in files can benefit from standard database technology and in particular be queried and updated using database languages. We introduce the notio...
CAV
1997
Springer
14 years 15 days ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
TSE
2010
13 years 7 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...