Hamish Taylor  Home/Search
Context
Related
| cee.hw.ac.uk/~hamish/ps/reconcile.ps 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: cee.hw.ac.uk/~hami...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper reviews requirements for supporting both capabilities in a resolution based framework, and considers logic programming schemes which sustain each kind of capability. It then considers attempts to reconcile these schemes to support both capabilities efficiently together. It argues that no approach so far advocated is ultimately satisfactory, although a hybrid approach of coupling resolution engines supporting each kind of capability is a workable compromise. Keywords: resolution,... (Update)
Similar documents (at the sentence level):
6.8%: Coupling Committed and Trial Binding Resolution Engines - Taylor (1989) (Correct)
Active bibliography (related documents): More All
1.0: A Lingua Franca for Concurrent Logic Programming - Hamish Taylor (1989) (Correct)
0.5: Technical Annex for the ACCLAIM Project (PE7195) - Haridi (1992) (Correct)
0.4: Towards Parallel Mercury - Conway (2002) (Correct)
Similar documents based on text: More All
0.1: Vol. 1 / Ofc 2003 / Tuesday Afternoon - Tuesday March We (Correct)
0.0: Set Reconciliation with Nearly Optimal Communication.. - Minsky, Trachtenberg.. (2000) (Correct)
0.0: GATE - a TIPSTER-based General Architecture for Text.. - Cunningham, Humphreys, al. (1997) (Correct)
BibTeX entry: (Update)
@inproceedings{ taylor90reconciling,
author = "Hamish Taylor",
title = "Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming",
booktitle = "{UK} Conference on Logic Programming",
pages = "253-281",
year = "1990",
url = "citeseer.ist.psu.edu/3050.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1984
759 Negation as Failure (context) - Clark - 1978
182 Logic for Problem Solving (context) - Kowalski - 1979
147 An Amateur's Introduction to Recursive Query Processing Stra.. (context) - Bancilhon, Ramakrishnan - 1986
121 Guarded Horn Clauses - Ueda - 1986
112 OLD resolution with tabulation (context) - Tamaki, Sato - 1986
55 PARLOG: Parallel Programming in Logic (context) - Clark, Gregory - 1986
48 Concurrent Prolog: A Progress Report (context) - Shapiro - 1986
38 Parallelizing Nu-Prolog (context) - Naish - 1988
31 Partial Evaluation of Prolog Programs and its Application to.. (context) - Takeuchi, Furukawa - 1985
25 Parallel Logic Programming in Parlog - The language and its .. (context) - Gregory - 1987
21 Pandora: Non-deterministic Parallel Logic Programming (context) - Bahgat, Gregory - 1988
21 Implementation of Committed Choice Logic Languages on Shared.. (context) - Crammond - 1988
21 Meta-Interpreters for Expert System Construction (context) - Sterling, Beer - 1989
19 Parallel execution of logic programs (context) - Conery - 1986
17 A Database-Complete Proof Procedure Based on SLD-Resolution (context) - Vieille - 1987
13 EDUCE A Marriage of Convenience: Prolog and a Relational DBM.. (context) - Bocca - 1986
12 Notes on the Implementation of Parlog (context) - Clark, Gregory - 1985
8 Systems Programming in Concurrent Prolog (context) - Shapiro - 1984
8 Parlog and Prolog United (context) - Clark, Gregory - 1987
8 An Abstract Machine for the Implementation of Parlog on Unip.. (context) - Gregory, Foster et al. - 1989
7 A Flat GHC Implementation for Supercomputers (context) - Nilsson, Tanaka - 1988
5 Freeze, Indexing and Other Implementation Issues in the WAM (context) - Carlsson - 1987
4 An Or-Parallel Execution Algorithm for Prolog and its FCP Im.. (context) - Shapiro - 1987
4 A Distributed Implementation of Flat GHC on the Multi-PSI (context) - Ichiyoshi, Miyazaki et al. - 1987
4 An Abstract KL1 Machine and its Instruction Set (context) - Kimura, Chikayama - 1987
3 Parlog as a Systems Programming Language (context) - Foster - 1988
2 The Aurora Or-Parallel Prolog System (context) - Warren - 1988
2 FGHC Partial Evaluator as a General Purpose Parallel Compile.. (context) - Fujita - 1988
1 A Model and an Architecture for a Relational Knowledge Base (context) - Yokota, Itoh - 1986
1 Knowledge Base System towards Logic Programming and Parallel.. (context) - Itoh, Monoi et al. - 1988
1 Competitive Partial Evaluation - Some Remaining Problems of .. (context) - Takeuchi, Fujita - 1988
1 Knowledge Retrieval and Updating for Parallel Problem Solvin.. (context) - Yokota, Kitakami et al. - 1988
1 Compiling Horn Clause Queries in Deductive Databases: A Horn.. (context) - Miyazaki, Yokota et al. - 1986
1 KL1 Execution Model for PIM Cluster with Shared Memory (context) - Sato, Shimizu et al. - 1987
1 An Evaluation of FGHC via Practical Application Programs (context) - Kishimoto, Hosoi et al. - 1987
Documents on the same site (http://www.cee.hw.ac.uk/~hamish/publications.html): More
Applying Coupled Resolution Engines to Knowledge Bases - Taylor, Williams (Correct)
What Must, Ought, Is Worth and May Not Be Done - Taylor (Correct)
Cache Modelling in a Performance Evaluator of Parallel Database .. - Zhou Tomov (1997) (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