1445 search results - page 76 / 289 » Abstract Interpretation of Logic Programs |
138
click to vote
SUM
2009
Springer
16 years 23 days 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...
141
click to vote
LPNMR
2007
Springer
16 years 11 days 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...
175
click to vote
ICLP
1998
Springer
15 years 10 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 ...
132
click to vote
APIN
2002
15 years 6 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...
185
click to vote
FMOODS
2003
15 years 7 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...