|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 18 keywords
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
166 | Wray L. Buntine, Hans-Jürgen Bürckert |
On Solving Equations and Disequations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 41(4), pp. 591-629, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings, pp. 301-315, 1993, Springer, 3-540-56868-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
143 | Hans-Jürgen Bürckert |
Solving Disequations in Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 517-526, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 9(1), pp. 35-91, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 12(4), 2016. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1988 |
RDF |
|
30 | Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran |
Asymmetric Unification and Disunification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logic, Theory Combination, and All That ![In: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, pp. 497-522, 2019, Springer, 978-3-030-22101-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale |
On Solving Nominal Disunification Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019, pp. 3-22, 2019, Elsevier. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Veena Ravishankar, Kimberly A. Gero, Paliath Narendran |
Asymmetric Unification and Disunification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.05066, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
30 | Franz Baader, Stefan Borgwardt, Barbara Morawska 0001 |
Dismatching and Local Disunification in EL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland, pp. 40-56, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-85-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Franz Baader, Stefan Borgwardt, Barbara Morawska 0001 |
Dismatching and Local Disunification in EL (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015., 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings, pp. 107-121, 2012, Springer, 978-3-642-28716-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Matthias Horbach |
Disunification for Ultimately Periodic Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Dakar) ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers, pp. 290-311, 2010, Springer, 978-3-642-17510-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Jorge Coelho 0001, Mário Florido, Temur Kutsia |
Sequence Disunification and Its Application in Collaborative Schema Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE Workshops ![In: Web Information Systems Engineering - WISE 2007 Workshops, WISE 2007 International Workshops, Nancy, France, December 3, 2007, Proceedings, pp. 91-102, 2007, Springer, 978-3-540-77009-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Klaus U. Schulz |
Tractable and intractable instances of combination problems for unification and disunification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 10(1), pp. 105-135, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Miki Hermann, Phokion G. Kolaitis |
On the Complexity of Unification and Disunification in Commutative Idempotent Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings, pp. 282-296, 1997, Springer. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Franz Baader, Klaus U. Schulz |
Combination Techniques and Decision Problems for Disunification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 142(2), pp. 229-255, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
30 | Denis Lugiez |
Positive and Negative Results for Higher-Order Disunification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 20(4), pp. 431-470, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
30 | Denis Lugiez |
Higher Order Disunification: Some decidable cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCL ![In: Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germany, September 7-9, 1994, pp. 121-135, 1994, Springer, 3-540-58403-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Maribel Fernández |
Narrowing Based Procedures for Equational Disunification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 3, pp. 1-26, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Akihiko Takano |
Generalized Partial Computation using Disunification to Solve Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 424-428, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Hubert Comon |
Disunification: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic - Essays in Honor of Alan Robinson ![In: Computational Logic - Essays in Honor of Alan Robinson, pp. 322-359, 1991, The MIT Press, 0-262-12156-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
30 | Hubert Comon, Pierre Lescanne |
Equational Problems and Disunification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 7(3/4), pp. 371-425, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Emmanuel Kounalis, Denis Lugiez, Loic Pottier |
A Solution of the Complement Problem in Associative-Commutative Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings, pp. 287-297, 1991, Springer, 3-540-54345-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings, pp. 153-169, 1990, Springer, 3-540-53686-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings, pp. 79-93, 2008, Springer, 978-3-540-70588-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau |
Anti-pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 110-124, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, pp. 103-118, 2002, Springer, 3-540-44233-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 660-672, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings, pp. 316-327, 1993, Springer, 3-540-56868-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|