1461 search results - page 19 / 293 » Analysis of Constraint Logic Programs |
122
click to vote
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
154
Voted
BMCBI
2004
15 years 2 months ago
2004
Background: The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information ...
118
Voted
UAI
2003
15 years 4 months ago
2003
Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...
71
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
132
Voted
AGP
1998
IEEE
15 years 7 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...