Sciweavers

561 search results - page 26 / 113
» Slicing of Constraint Logic Programs
Sort
View
APIN
2002
45views more  APIN 2002»
14 years 9 months ago
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
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...
Carlos Viegas Damásio, Peter Fröhlich,...
ICLP
1995
Springer
15 years 1 months ago
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel...
CP
2009
Springer
15 years 10 months ago
Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
Mohammad M. Fazel-Zarandi, J. Christopher Beck
KDD
2009
ACM
202views Data Mining» more  KDD 2009»
15 years 10 months ago
Correlated itemset mining in ROC space: a constraint programming approach
Correlated or discriminative pattern mining is concerned with finding the highest scoring patterns w.r.t. a correlation measure (such as information gain). By reinterpreting corre...
Siegfried Nijssen, Tias Guns, Luc De Raedt
ICLP
2005
Springer
15 years 3 months ago
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
Henning Christiansen, Verónica Dahl