William S. Havens  @ NUS Home/Search
Context Related
| fas.sfu.ca/pub/css...SSISTR9212.ps.gz Cached: PS.gz PS PDF Image Update Help From: fas.sfu.ca/isl/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Abstract: A new type of reasoning engine for model-based expert system applications is described which employs recent advances in constraint logic programming (CLP), intelligent backtracking (IB) and schema (object-oriented) knowledge representations. Constraint reasoning and logic programming (LP) have been recently joined in the new field of CLP. There is keen research interest and new CLP languages are emerging. IB techniques using reason maintenance systems (RMS) have also been extensively... (Update)
Context of citations to this paper: More
.... resulting from consistency checking and domain reduction in a TMS [7] or ATMS style [6] This has been proposed in CLP by [3] and [9] and developed in [8] in the Concurrent Constraint framework by [4] in the CSP framework by [17, 12] and for Hierarchical CLP in [14]...
...user choices. Unnecessarily undoing user choices has previously been recognized as a problem with standard backtracking algorithms. Havens [6] calls this situation backtracking the user and proposes an algorithm that helps to avoid the problem. This algorithm is described in...
Cited by: More
Intelligent Backtracking in Logic Programming with Constraints .. - Kotzamanidis (1995) (Correct)
Aspects of Failure Analysis in a CLP(R) system - Hogger, Kotzamanidis (Correct)
Constraint Retraction in FD - Codognet, Diaz, Rossi (1996) (Correct)
Active bibliography (related documents): More All
0.5: Inheritance Reasoning and Head-Driven Phrase Structure Grammar - Vogel (1990) (Correct)
0.3: Interval Linear Constraint Solving in Constraint Logic Programming - Chiu (1994) (Correct)
0.3: Efficient Interval Linear Equality Solving in Constraint Logic.. - Chiu, Lee (Correct)
Similar documents based on text: More All
0.2: Hierarchical Arc Consistency for Disjoint Real Intervals in.. - Sidebottom (1992) (Correct)
0.1: The Environment, Trade and Industrial Restructuring.. - Cole, Elliott, Azhar (2000) (Correct)
0.1: NoGood Caching for MultiAgent Backtrack Search - Havens (Correct)
Related documents from co-citation: More All
6: Consistency in networks of relations (context) - Mackworth - 1977
4: and Some Electrical Engineering Problems (context) - Heintze, Michaylov et al. - 1992
4: and its combination with intelligent backtracking (context) - Codognet, Fages et al. - 1993
BibTeX entry: (Update)
W. S. Havens. Intelligent Backtracking in the Echidna Constraint Logic Programming System. Research Rep. CSS-IS TR 92-12, Simon Fraser University, Vancouver, Canada, 1992. http://citeseer.comp.nus.edu.sg/102286.html More
@misc{ havens92intelligent,
author = "W. Havens",
title = "Intelligent Backtracking in the Echidna Constraint Logic Programming System",
text = "W. S. Havens. Intelligent Backtracking in the Echidna Constraint Logic
Programming System. Research Rep. CSS-IS TR 92-12, Simon Fraser University,
Vancouver, Canada, 1992.",
year = "1992",
url = "citeseer.comp.nus.edu.sg/102286.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1984
702 Consistency in Networks of Relations (context) - Mackworth - 1977
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
380 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
334 A Truth Maintenance System (context) - Doyle - 1979
304 A Framework for Representing Knowledge (context) - Minsky - 1975
265 Increasing Tree-Search Efficiency for Constraint Satisfactio.. (context) - Haralick, Elliot - 1980
261 An Introduction to Prolog III (context) - Colmerauer - 1990
211 Enhancement Schemes for Constraint Processing: Backjumping (context) - Dechter - 1990
185 The Complexity of Some Polynomial Network Consistency Algori.. (context) - Mackworth, Freuder - 1985
166 Synthesizing Constraint Expressions (context) - Freuder - 1978
158 Rule-Based Expert Systems: The MYCIN Experiments of the Stan.. (context) - Buchanan, Shortliffe - 1984
155 Forward Reasoning and Dependency Directed Backtracking in a .. (context) - Stallman, Sussman - 1977
128 Diagnostic Reasoning Based on Structure and Behavior (context) - Davis - 1984
127 Constraint Satisfaction Algorithms (context) - Nadel - 1989
125 An Assumption-Based TMS (context) - deKleer - 1986
121 Concurrent Constraint Programming Languages (context) - Saraswat - 1989
112 Performance Measurement and Analysis of Certain Search Algor.. (context) - Gaschnig - 1979
100 Smalltalk-80: The Language and its Implementation (context) - Goldberg, Robson - 1983
81 Constraint-Directed Search: A Case Study of Job-Shop Schedul.. - Fox - 1987
73 Generating Semantic Descriptions from Drawings of Scenes wit.. (context) - Waltz - 1972
66 Methodology and Implementation of a CLP System (context) - Jaffar, Michaylov - 1987
48 Implementing Prolog: Compiling Predicate Logic Programs (context) - Warren - 1977
40 Extending Prolog with Constraint Arithmetic on Real Interval.. - Older, Vellino - 1990
32 Deduction Revision by Intelligent Backtracking (context) - Bruynooghe, Pereira - 1984
32 Object-Oriented Programming in Prolog (context) - Zaniolo - 1984
31 An Outlook on Truth Maintenance (context) - McAllester - 1980
29 Estimating the Efficiency of Backtrack Programs (context) - Knuth - 1975
24 Logical objects (context) - Conery - 1988
22 Semi-Intelligent Backtracking of Prolog Based on a Static De.. (context) - Chang, Despain - 1985
19 Hierarchical Arc Consistency: Exploiting Structured Domains .. (context) - Mackworth, Mulder et al. - 1985
17 PRIDE: an Expert System for the Design of Paper Handling Sys.. (context) - Mittal, Dym et al. - 1986
14 Yet Another Intelligent Backtracking Method (context) - Codognet, Codognet et al. - 1988
12 Hierarchical Arc Consistency Applied to Numeric Constraint P.. (context) - Sidebottom, Havens - 1991
11 A Data-Dependency-Based Intelligent Backtracking Scheme for .. (context) - Kumar, Lin - 1988
9 Spreadsheets with Incremental Queries as a User Interface fo.. (context) - van Emden, Ohki et al. - 1986
9 An Overview of KRL: a Knowledge Representation Language (context) - Bobrow, Winograd - 1977
9 Scoop: Structured concurrent object oriented prolog (context) - Vaucher, Lapalme et al. - 1988
8 Knowledge and Control for a Mechanical Design Expert System (context) - Brown, Chandrasekaran - 1986
4 Echidna Constraint Reasoning System (context) - Havens, Sidebottom et al. - 1992
4 Platypus: a Constraint-Based Reasoning System (context) - Havens, Rehfuss - 1989
3 Reason Maintenance in Horn Clause Logic Programs (context) - Drakos - 1988
3 The Nature and Evaluation of Commercial Expert Systems Build.. (context) - Gevarter - 1987
2 Echidna Constraint Reasoning System: Programming Specificati.. (context) - Havens - 1990
1 Computers and Signal Processing (context) - Rim, Communications - 1991
1 IntelCAD: an Intelligent Basis for Design (context) - Calvert, Dickinson et al. - 1991
1 The Constraint Language Trilogy: Semantics and Computation (context) - pages, Voda - 1988
1 Reason Maintenance Systems (context) - Smith, Kelleher - 1988
1 Intelligent Backtracking in Prolog Made Practical (context) - You, Wong - 1989
1 Applications of the Echidna Constraint Reasoning System (context) - Havens, Jones et al. - 1991
1 Intelligent Graphics Interfaces for Supervisory Control and .. (context) - Havens, Dill et al. - 1991
1 International Logic Programming Symposium: Workshop on Defea.. (context) - An, Backtracking et al. - 1991
1 AAAI Spring Symp (context) - Dataflow, in et al. - 1991
Documents on the same site (http://fas.sfu.ca/isl/publications.html): More
An Interactive Constraint-Based Expert Assistant for Music.. - Russell Ovans (1992) (Correct)
Approximating Solution Probabilities in CSPs - Content Area (Correct)
Backtrack-Free Search for Resource Allocation Problems - Tamara Dakic (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.