Steffen Hölldobler  Home/Search
Context
Related
Links: DBLP | pikas.inf.tudresden.de/steffe...a06.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: pikas.inf.tudresden.de/ste...pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Conditional equational theories can be built into logic programming using a generalized resolution rule which calls a universal unification procedure. Such unification procedures are often defined by sound and strongly complete sets of inference rules. (Update)
Active bibliography (related documents): More All
1.8: Conditional Equational Theories and Complete Sets of.. - Hölldobler (Correct)
1.6: Equations, Order-Sortedness, and Inheritance in Logic.. - Furbach, Hölldobler (Correct)
0.8: Semantic Unification for Convergent Systems - Mitra (1994) (Correct)
Similar documents based on text: More All
0.3: The Limits of Fixed-Order Computation - Sagonas, Swift, Warren (1996) (Correct)
0.3: Narrowing Approximations as an Optimization for Equational.. - Alpuente, al. (1993) (Correct)
0.2: Unification Algorithms Cannot be Combined in Polynomial Time - Hermann, Kolaitis (1996) (Correct)
BibTeX entry: (Update)
@misc{ lldobler-combining,
author = "Steffen Hölldobler",
title = "Combining Logic Programming and Equation Solving",
url = "citeseer.ist.psu.edu/516035.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1984 ACM
663 Some philosophical problems from the standpoint of Artificia.. (context) - McCarthy, Hayes - 1969 ACM
561 Constraint logic programming (context) - Jaffar, Lassez - 1987 ACM DBLP
267 The constraint logic programming language chip (context) - Dincbas, van Hentenryck et al. - 1988 DBLP
182 Logic for Problem Solving (context) - Kowalski - 1979 ACM
166 Unification revisited (context) - Lassez, Maher et al. - 1986 ACM DBLP
151 Logic semantics for a class of committed--choice programs (context) - Maher - 1987
134 Unification theory - Siekmann - 1986 ACM DBLP
126 Canonical forms and unification (context) - Hullot - 1980 ACM DBLP
114 Building-in equational theories (context) - Plotkin - 1972
87 An efficient unification algorithm (context) - Martelli, Montanari - 1982 ACM DBLP
81 Slog: A logic programming language interpreter based on clau.. (context) - Fribourg - 1985 DBLP
65 A new deductive approach to planning (context) - Holldobler, Schneeberger - 1989 ACM DBLP
65 the uniform halting problem for term rewriting systems (context) - Huet, Lankford - 1978
59 Foundations of Equational Logic Programming (context) - Holldobler - 1989 ACM
48 Basic narrowing revisited (context) - Nutt, Rety et al. - 1987 ACM DBLP
46 Complete sets of transformations for general E-unification (context) - Gallier, Snyder - 1989 DBLP
43 A theory of complete logic programs with equality (context) - Jaffar, Lassez et al. - 1984 DBLP
38 On completeness of narrowing strategies (context) - Echahed - 1988 ACM DBLP
32 Extending SLD-resolution to equational Horn clauses using E-.. (context) - Gallier, Raatz - 1989
32 A logic programming language scheme (context) - Jaffar, Lassez et al. - 1986
27 Constrained Resolution: A complete method for higher order l.. (context) - Huet - 1972
20 Le Fun: Logic (context) - Ait-Kaci, Lincoln et al. - 1987
18 Controlling recursive inference (context) - Smith, Genesereth et al. - 1986 ACM DBLP
16 Complete sets of unifiers and matchers in equational theorie.. (context) - Fages, Huet - 1986 ACM DBLP
14 Logic programming (context) - Kowalski - 1983 ACM DBLP
14 Unification in conditional-equational theories (context) - Hussmann - 1985
13 Oriented equational clauses as a programming language (context) - Fribourg - 1984
12 Equality-based binary resolution (context) - Digricoli, Harrison - 1986 ACM DBLP
11 Incorporating equality into logic programming via surface de.. (context) - Cox, Pietrzykowski - 1986
11 Loglisp: An alternative to Prolog (context) - Robinson, Sibert - 1982
11 An algorithm for unification in equational theories (context) - Martelli, Moiso et al. - 1986 DBLP
10 A general complete Eunification procedure (context) - Gallier, Snyder - 1987
10 The undecidability of the unification and matching problem f.. (context) - Heilbrunner, Holldobler - 1987 ACM DBLP
10 Leaf: A language which integrates logic (context) - Barbuti, Bellia et al. - 1986
9 A unified treatment of resolution strategies for logic progr.. (context) - Wolfram, Maher et al. - 1983
9 Prolog: Subsumption of equality axioms by the homogeneous fo.. (context) - Hoddinott, Elcock - 1986 ACM DBLP
8 From paramodulation to narrowing (context) - Holldobler - 1988 DBLP
8 Logic programming with equations (context) - van Emden, Yukawe - 1987 ACM DBLP
6 Refined strategies for semantic unification (context) - Bosco, Giovannetti et al. - 1987 ACM DBLP
5 Order-sorted equational unification (context) - Kirchner - 1988
5 Incremental construction of unification algorithms in equati.. (context) - Jouannaud, Kirchner et al. - 1983 ACM DBLP
5 A unification algorithm for confluent theories (context) - Holldobler - 1987 ACM
5 A new equational unification method: A generalisation of Mar.. (context) - Kirchner - 1984
5 SLD-resolution methods for Horn clauses with equality based .. (context) - Gallier, Raatz - 1986 DBLP
4 Eqlog: Equality (context) - Goguen, Meseguer - 1986
3 Logic programming - past (context) - Robinson - 1983
3 Domains in logic programming (context) - van Hentenryck, Dincbas - 1986 DBLP
3 If Prolog is the answer (context) - Bobrow - 1984
2 Lazy theory unification in Prolog: An extension of the Warre.. (context) - Burckert - 1986
2 A logical reconstruction of Prolog II (context) - van Emden, Lloyd - 1984 DBLP
1 Absys: The first logic programming language - a retrospectiv.. (context) - Elock - 1988 DBLP
1 Absys1: An incremental compiler for assertions - an introduc.. (context) - Foster, Elcock - 1969
1 and generics for logic programming (context) - Goguen, Meseguer - 1984
1 Horn equality theories and complete sets of transformations (context) - Holldobler - 1988 DBLP
1 Narrowing with built-in theories (context) - Bockmayr - 1988 ACM DBLP
1 Completeness of unification based on basic narrowing (context) - Yamamoto - 1987
Documents on the same site (http://pikas.inf.tu-dresden.de/steffen/pub.html): More
A Recursive Neural Network for Reflexive Reasoning - Hölldobler, Kalinke, Wunderlich (Correct)
Descriptions in the Fluent Calculus - Hölldobler (Correct)
Massively Parallel Reasoning - Bornscheuer, Hölldobler, Kalinke.. (1998) (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