Jimmy H.M. Lee, Ho-fung Leung  Home/Search
Context
Related
| cuhk.edu.hk/~isl/paper/jlee/...iq.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cuhk.edu.hk/~isl/dPub2 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the context of constraint logic programming, incremental queries involve adding new constraints or deleting old ones from a query after a solution is found. This paper presents an implementation scheme IQ of incremental queries in Constraint Pandora, which defines a class of non-deterministic concurrent constraint logic... (Update)
Similar documents (at the sentence level):
32.0%: IQ: Towards Incremental Query Processing in Non-Deterministic.. - Lee, Leung (1994) (Correct)
21.5%: Incremental Querying In The Concurrent Clp Language.. - Lee, Leung (1996) (Correct)
Active bibliography (related documents): More All
0.8: Dynamic scheduling: State of the art report - Kocjan (2002) (Correct)
0.5: Interval Computation as Deduction in CHIP - Lee, van Emden (1993) (Correct)
0.3: Optimal Incremental and Anytime Scheduling - Fromherz, Carlson (1995) (Correct)
Similar documents based on text: More All
0.5: Pandora: A Flexible Network Monitoring Platform - Patarin, Makpangou (2000) (Correct)
0.4: The pandora fonts for use with LATEX2e - Mittelbach (1994) (Correct)
0.2: Opening Pandora's box, bottom side up: Automated extraction of.. - Oost (2002) (Correct)
BibTeX entry: (Update)
@article{ lee00execution,
author = "Jimmy H. M. Lee and Ho-fung Leung",
title = "An execution scheme for interactive problem-solving in concurrent constraint logic programming languages",
journal = "Computer Languages",
volume = "25",
number = "3",
pages = "119--144",
year = "2000",
url = "citeseer.ist.psu.edu/24302.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
702 Consistency in networks of relations (context) - Mackworth - 1977
380 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
267 The constraint logic programming language CHIP (context) - Dincbas, Van Hentenryck et al. - 1988
221 Constraint logic programming (context) - Ja, J-L - 1987
151 Logic semantics for a class of committed-choice programs (context) - Maher - 1987
127 SKETCHPAD: a Man-Machine Graphical Communication System (context) - Sutherland - 1963
121 Guarded Horn Clause - Ueda - 1986
114 Applying interval arithmetic to real (context) - Benhamou, Older - 1997
59 Solving the carsequencing problem in constraint logic progra.. (context) - Dincbas, Simonis et al. - 1988
48 Concurrent Prolog: a progress report (context) - Shapiro - 1986
36 The abstract machine and implementation of parallel parlog (context) - Crammond - 1992
33 ACM Transactions on Programming Languages and Systems (context) - Ja, Michaylov et al. - 1992
28 The cardinality operator: A new logical connective for const.. (context) - Van Hentenryck, Deville - 1991
27 Computer Science Department (context) - Van Hentenryck, Saraswat et al. - 1993
27 Interval computation as deduction in CHIP - Lee, van Emden - 1993
25 Parallel Logic Programming in PARLOG: The Language and Its I.. (context) - Gregory - 1987
23 An Object-Oriented Architecture for Constraint-Based Graphic.. - Helm, Huynh et al. - 1995
22 Presented at Gigalips Project Workshop (context) - Warren, model - 1992
14 Incremental search in constraint logic programming (context) - Van Hentenryck, Le Provost - 1991
11 A reactive constraint logic programming scheme - Fages, Fowler et al. - 1995
11 Non-Deterministic Concurrent Logic Programming in Pandora (context) - Bahgat - 1992
9 Spreadsheets with incremental queries as a user interface fo.. (context) - van Emden, Ohki et al. - 1986
8 Incremental constraint deletion in systems of linear constra.. (context) - Huynh, Marriott - 1995
8 Relaxation Methods in Theoretical Physics (context) - Southwell - 1946
8 User Manuals - Team - 1993
6 IMPRO: An environment for incremental execution in Prolog (context) - Chatalic - 1989
6 Parallel logic programming (context) - Clark - 1990
5 A framework for interactive problem solving based on interac.. (context) - Ohki, Takeuchi et al. - 1986
5 Consistency Techniques in Logic Programming (context) - Van Hentenryck - 1987
4 European Computer-Industry Research Centre (context) - Chatalic, Prolog et al. - 1987
4 Expanding query power in contraint logic programming languag.. (context) - Maher, Stuckey - 1989
3 Logic as an interaction language (context) - van Emden - 1984
2 Tables as a user interface for logic programs - Cheng, van Emden et al. - 1988
2 A spreadsheet interface for Prolog (context) - van Emden, Rosenblueth - 1986
1 volume 41 of World Scientific series in computer science (context) - Leung, Logic - 1993
Documents on the same site (http://www.cse.cuhk.edu.hk/~isl/dPub2.html): More
Speeding Up Constraint Propagation By Redundant Modeling - Cheng, Lee, Wu (1996) (Correct)
A Constraint-Based Interactive Train Rescheduling Tool - Chiu, Chou, Lee, Leung, Leung (1996) (Correct)
Towards a More Efficient Stochastic Constraint Solver - Lee, Leung, Won (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC