529 search results - page 10 / 106 » Simple Random Logic Programs |
182
click to vote
IJCAI
2003
15 years 7 months ago
2003
In constraint programming one models a problem by stating constraints on acceptable solutions. The constraint model is then usually solved by interleaving backtracking search and ...
167
Voted
CCS
2006
ACM
15 years 9 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
147
Voted
IJCAI
1993
15 years 7 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...
173
click to vote
EUROCAST
1994
Springer
15 years 10 months ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
167
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...