4126 search results - page 443 / 826 » Set based logic programming |
196
click to vote
DKE
2008
15 years 6 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 ...
187
click to vote
CORR
2010
Springer
15 years 6 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...
194
click to vote
INTENV
2010
15 years 1 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...
159
click to vote
SIGSOFT
2008
ACM
16 years 7 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...
175
Voted
GPCE
2005
Springer
16 years 10 days 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...