5482 search results - page 43 / 1097 » Logic Programming and Databases |
132
click to vote
DAGSTUHL
1998
15 years 3 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
TPLP
2008
15 years 2 months ago
2008
This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the strengths of the two paradigms: logic programming f...
125
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...
118
click to vote
EGC
2005
Springer
15 years 8 months ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...