Search results for "AC-Disunification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
166	Wray L. Buntine, Hans-Jürgen Bürckert	On Solving Equations and Disequations.	J. ACM	1994	DBLP DOI BibTeX RDF	E-disunification, E-unification equational theory, definite clause, solving equations and disequations, logic programming, inequations
145	Franz Baader, Klaus U. Schulz	Combination Techniques and Decision Problems for Disunification.	RTA	1993	DBLP DOI BibTeX RDF
143	Hans-Jürgen Bürckert	Solving Disequations in Equational Theories.	CADE	1988	DBLP DOI BibTeX RDF	E-unification, E-disunification, solving equations and disequations, Equational theories
127	Agostino Dovier, Carla Piazza, Enrico Pontelli	Disunification in ACI1 Theories.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	disunification, ACI, complexity, sets, equational theories, CLP
60	Franz Baader, Stefan Borgwardt, Barbara Morawska 0001	Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification.	Log. Methods Comput. Sci.	2016	DBLP DOI BibTeX RDF
60	Hubert Comon	Unification et disunification : théorie et applications. (Unification and disunification in free algebras and in initial algebras : theory and applications).		1988	RDF
30	Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran	Asymmetric Unification and Disunification.	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
30	Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale	On Solving Nominal Disunification Constraints.	LSFA	2019	DBLP DOI BibTeX RDF
30	Veena Ravishankar, Kimberly A. Gero, Paliath Narendran	Asymmetric Unification and Disunification.	CoRR	2017	DBLP BibTeX RDF
30	Franz Baader, Stefan Borgwardt, Barbara Morawska 0001	Dismatching and Local Disunification in EL.	RTA	2015	DBLP DOI BibTeX RDF
30	Franz Baader, Stefan Borgwardt, Barbara Morawska 0001	Dismatching and Local Disunification in EL (Extended Abstract).	Description Logics	2015	DBLP BibTeX RDF
30	Franz Baader, Alexander Okhotin	Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints.	LPAR	2012	DBLP DOI BibTeX RDF
30	Matthias Horbach	Disunification for Ultimately Periodic Interpretations.	LPAR (Dakar)	2010	DBLP DOI BibTeX RDF
30	Jorge Coelho 0001, Mário Florido, Temur Kutsia	Sequence Disunification and Its Application in Collaborative Schema Construction.	WISE Workshops	2007	DBLP DOI BibTeX RDF
30	Klaus U. Schulz	Tractable and intractable instances of combination problems for unification and disunification.	J. Log. Comput.	2000	DBLP DOI BibTeX RDF
30	Miki Hermann, Phokion G. Kolaitis	On the Complexity of Unification and Disunification in Commutative Idempotent Semigroups.	CP	1997	DBLP DOI BibTeX RDF
30	Franz Baader, Klaus U. Schulz	Combination Techniques and Decision Problems for Disunification.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
30	Denis Lugiez	Positive and Negative Results for Higher-Order Disunification.	J. Symb. Comput.	1995	DBLP DOI BibTeX RDF
30	Denis Lugiez	Higher Order Disunification: Some decidable cases.	CCL	1994	DBLP DOI BibTeX RDF
30	Maribel Fernández	Narrowing Based Procedures for Equational Disunification.	Appl. Algebra Eng. Commun. Comput.	1992	DBLP DOI BibTeX RDF
30	Akihiko Takano	Generalized Partial Computation using Disunification to Solve Constraints.	CTRS	1992	DBLP DOI BibTeX RDF
30	Hubert Comon	Disunification: A Survey.	Computational Logic - Essays in Honor of Alan Robinson	1991	DBLP BibTeX RDF
30	Hubert Comon, Pierre Lescanne	Equational Problems and Disunification.	J. Symb. Comput.	1989	DBLP DOI BibTeX RDF
28	Emmanuel Kounalis, Denis Lugiez, Loic Pottier	A Solution of the Complement Problem in Associative-Commutative Theories.	MFCS	1991	DBLP DOI BibTeX RDF	The Subsumption Lattice of First-Order terms, Associative and Commutative Reasoning, AC-Disunification, Pattern-Matching, Inductive Learning, Sufficient-Completeness
28	Ricardo Caferra, Nicolas Zabel	Extending Resolution for Model Construction.	JELIA	1990	DBLP DOI BibTeX RDF	Equational Problems, Disunification, Theorem Proving, Decision Procedures, Unification, Model Construction
23	Santiago Escobar 0001, José Meseguer 0001, Ralf Sasse	Effectively Checking the Finite Variant Property.	RTA	2008	DBLP DOI BibTeX RDF
23	Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau	Anti-pattern Matching.	ESOP	2007	DBLP DOI BibTeX RDF
23	Miguel García-Díaz, Susana Nieva	Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms.	FLOPS	2002	DBLP DOI BibTeX RDF	hereditary Harrop formulas, finite symbolic trees, first-order logic, real numbers, constraint systems
23	Paliath Narendran, Michaël Rusinowitch	The Theory of Total Unary RPO Is Decidable.	Computational Logic	2000	DBLP DOI BibTeX RDF	recursive path ordering, ground reducibility, ordered rewriting, tree automata, first-order theory
23	Mohamed Tajine	The Negation Elimination from Syntactic Equational Formula is Decidable.	RTA	1993	DBLP DOI BibTeX RDF