|
On the
Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers (Make Corrections) (2 citations) |
|
|
View or
download: |
|
Rate
this article: |
Abstract: When
combining languages for symbolic constraints, one is typically faced with the
problem of how to treat "mixed" constraints. The two main problems
are (1) how to define a combined solution structure over which these
constraints are to be solved, and (2) how to combine the constraint solving
methods for pure constraints into one for mixed constraints. The paper
introduces the notion of a "free amalgamated product" as a possible
solution to the first problem. Subsequently, we define... (Update)
F. Baader and K.U. Schulz, "On the Combination
of Symbolic Constraints, Solution Domains, and Constraint Solvers," in:
Proceedings CP'95, U.Montanari, F.Rossi (Eds.), Springer LNCS 976, pp. 380-397.
http://citeseer.nj.nec.com/314678.html More
Citations (may not include all citations):
219 An introduction to PROLOG III (context) - Colmerauer - 1990
123 Non-well-founded Sets (context) - Aczel - 1988
79 Equations and inequations on finite and
infinite trees (context) -
Colmerauer - 1984
72 Records for Logic Programming -
Smolka, Treinen - 1994
60 Equational problems and disunification
(context) - Comon, Lescanne - 1989
53 Unification in the union of disjoint
equational theories: Co.. -
Baader, Schulz - 1992
31 Combining symbolic constraint solvers on
algebraic domains -
Kirchner, Ringeissen - 1994
30 Unification in a combination of arbitrary
disjoint equationa.. (context) -
Schmidt-Schau - 1989
28 Embedding extensional finite sets in CLP - Dovier, Rossi - 1993
23 flogg: A Logic Programming language with
finite sets (context) - Dovier,
Omodeo et al. - 1991
21 Combination techniques and decision problems
for disunificat.. -
Baader, Schulz - 1993
19 Combination of Constraint Solving
Techniques: An Algebraic P.. -
Baader, Schulz - 1994
16 Unification in a combination of equational
theories: An effi.. (context) - Boudet
- 1990
13 Constraint Logic Programming and the
Unification of Informat.. (context) - Mukai
- 1991
12 Makanin's Algorithm - Two Improvements and a
Generalization (context) - Schulz
- 1990
12 Set values for unification based grammar
formalisms and logi.. (context) - Rounds
- 1988
11 Unification in a combination of equational
theories with sha.. -
Ringeissen - 1992
8 Complete axiomatizations of the algebras of
finite, rational.. (context) - Maher
- 1988
8 How to Win a Game with Features -
Backofen, Treinen - 1994
6 A feature-based constraint system for logic
programming with.. (context) -
Ait-Kaci, Podelski et al. - 1994
6 Unification Algebras: An Axiomatic Approach
to Unification, .. (context) -
Schmidt-Schau - 1988
4 Algebraic Systems (context) - Mal'cev - 1973
3 Universal domains and the amalgamation
property (context) -
Droste, Gobel - 1993
2 Model Theoretic Algebra: Selected Topics
(context) - Cherlin - 1976
2 Instantiation Theory: On the Foundation of
Automated Deducti.. (context) -
Williams - 1991
2 The Metamathematics of Algebraic Systems
(context) - Mal'cev - 1971
2 Decidability of the positive theory of a
free countably gene.. (context) -
Vazhenin, Rozenblat - 1983
Online articles have much greater impact More about CiteSeer Add search form to your site Submit documents
CiteSeer - citeseer.org - Terms of Service - Privacy Policy -
Copyright © 1997-2002 NEC Research Institute