4126 search results - page 443 / 826 » Set based logic programming |
161
click to vote
DKE
2008
15 years 4 months ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
140
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments ar...
135
click to vote
INTENV
2010
14 years 11 months ago
2010
We explore a coherent combination of two jointly implemented logic programming based systems, namely those of Evolution Prospection and Intention Recognition, to address a number o...
126
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
136
click to vote
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...