5482 search results - page 117 / 1097 » Logic Programming and Databases |
128
Voted
CORR
2010
Springer
15 years 2 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...
163
Voted
AIIA
1995
Springer
15 years 6 months ago
1995
Springer
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
109
click to vote
ICANN
2009
Springer
15 years 9 months ago
2009
Springer
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
129
Voted
APVIS
2004
15 years 4 months ago
2004
Program traces can be used to drive visualisations of reusable components, but such traces can be gigabytes in size, are very expensive to generate, and are hard to extract inform...
128
Voted
DEXA
2000
Springer
15 years 7 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...