1445 search results - page 76 / 289 » Abstract Interpretation of Logic Programs |
104
click to vote
SUM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we introduce a fixpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from different sources of infor...
101
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We describe the development of a constraint logic programming based system, called CPP, which is capable of generating most preferred plans with respect to a user’s pre...
138
click to vote
ICLP
1998
Springer
15 years 7 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
110
click to vote
APIN
2002
15 years 3 months ago
2002
Abstract. In this paper, we describe how to realise alarm-correlation in cellular phone networks using extended logic programming which provides integrity constraints, implicit and...
150
click to vote
FMOODS
2003
15 years 4 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...