Agostino Dovier, Carla Piazza, Enrico Pontelli, G. Rossi  Home/Search
Context Related
| dimi.uniud.it/~piazza/PA...iclp99.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: dimi.uniud.it/~piazza/pb (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Disunification is the problem of deciding satisfiability of a system of equations and disequations w.r.t. a given equational theory. In this paper we study the disunification problem in the context of ACI1 equational theories. We provide a characterization of the interpretation structures suitable to model the axioms in ACI1 theories. The satisfiability problem is solved using known techniques for the equality constraints and novel methodologies to transform disequation constraints into solved... (Update)
Context of citations to this paper: More
.... since, if f( Delta) is a unary (free) function symbol, then fX j Y g is equivalent to f(X) Y (cf. also Footnote 1 and [19] In [12] ACI1 constraints (including unification) for the general case are studied and solved. 5 Multisets Expressiveness results similar to those...
Cited by: More
Comparing Expressiveness of Set Constructor Symbols - Dovier, Piazza, Policriti (2000) (Correct)
Active bibliography (related documents): More All
1.5: Disunification in ACI1 Theories - Dovier, Piazza, Pontelli (1999) (Correct)
0.5: A Minimality Study for Set Unification - Arenas-Sánchez, Dovier (1997) (Correct)
0.3: ACI1 constraints - Dovier, Piazza, Pontelli, Rossi (1999) (Correct)
Similar documents based on text: More All
1.2: Sets and Constraint Logic Programming - Dovier (Correct)
1.0: Multiset Constraints and P Systems - Dovier, Piazza, Rossi (Correct)
0.9: Fast (Hyper) Set Equivalence - Dovier, Piazza, Policriti (Correct)
BibTeX entry: (Update)
A. Dovier, C. Piazza, E. Pontelli, and G. Rossi. ACI1 constraints. In D. De Schreye, editor, ICLP'99, 16th International Conference on Logic Programming, pages 573--587. The MIT Press, Cambridge, Mass., 1999. http://citeseer.ist.psu.edu/article/dovier99aci.html More
@inproceedings{ dovier99aci,
author = "Agostino Dovier and Carla Piazza and Enrico Pontelli and Gianfranco Rossi",
title = "ACI1 Constraints",
booktitle = "International Conference on Logic Programming",
pages = "573-587",
year = "1999",
url = "citeseer.ist.psu.edu/article/dovier99aci.html" }
Citations (may not include all citations):759 Negation as Failure (context) - Clark - 1978
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
134 Unification Theory - Siekmann - 1990
118 Complete Axiomatizations of the Algebras of Finite (context) - Maher - 1988
71 Unification in the Union of Disjoint Equational Theories: Co.. - Baader, Schulz - 1996
65 General Lattice Theory (context) - Gratzer - 1978
48 Disunification: a Survey - Comon - 1991
45 Interval Propagation to Reason about Sets: Definition and Im.. (context) - Gervet - 1997
40 flogg: A Language for Programming in Logic with Finite Sets - Dovier, Omodeo et al. - 1996
33 NP-Completeness of the Set Unification and Matching Problems (context) - Kapur, Narendran - 1986
26 Combination Techniques and Decision Problems for Disunificat.. - Baader, Schulz - 1995
23 A Set-theoretic Model for Real-Time Specification and Reason.. - Fidge - 1998
19 Type Dependencies for Logic Programs using ACIunification - Codish, Lagoon - 1996
19 Short Overview of the CLPS System (context) - Legeard, Legros - 1991
14 the Representation and Management of Finite Sets in CLP-lang.. - Dovier, Piazza et al. - 1998
14 Axiomatizable Classes of Locally Free Algebras of Various Ty.. (context) - Mal'cev - 1971
13 The Semantics of Constraint Logic Programs - Jaffar, Maher et al. - 1998
13 Series of Monographs on Computer Science (context) - Cantone, Ferro et al. - 1989
2 Solving Disequations in Equational Theories (context) - Buckert - 1988
2 Set Unification Revisited (context) - Dovier, Pontelli et al. - 1998
2 Unification in Commutative and Idempotent Monoids (context) - Baader, Buttner - 1988
Documents on the same site (http://www.dimi.uniud.it/~piazza/pb.html): More
Fast (Hyper) Set Equivalence - Dovier, Piazza, Policriti (Correct)
A Fast Bisimulation Algorithm - Fast (Hyper) Set Equivalence - Dovier, Piazza, Policriti (Correct)
Simulation as Coarsest Partition Problem - Gentilini, Piazza, Policriti (2002) (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