Unification Theory (2001)

Cached

Download Links

by Franz Baader , Wayne Snyder
Citations:215 - 12 self

Documents Related by Co-Citation

157 The problem of solvability of equations in a free semigroup – G S Makanin - 1977
159 Description logic framework for information integration – Diego Calvanese, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati - 1998
154 Resolution Theorem Proving – Leo Bachmair, Harald Ganzinger - 2001
298 Tractable reasoning and efficient query answering in description logics: The DL-Lite family – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
966 Negation as failure – K Clark - 1978
1858 Foundation of Logic Programming – J W Lloyd - 1987
1526 V.: Foundations of Databases – S Abiteboul, R Hull, Vianu - 1995
114 Declarative modeling of the operational behavior of logic languages – M Falaschi, G Levi, C Palamidessi, M Martelli - 1989
418 Logic programming – K Apt - 1990
26 P.: Complexity of Unification Problems with AssociativeCommutative Operators – D Kapur, Narendran - 1992
615 Towards a theory of declarative knowledge – Krzysztof Apt, Howard Blair, Adrian Walker - 1988
109 Unification theory – J Siekmann - 1989
771 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
275 R.C.-T.: Symbolic Logic and Mechanical Theorem Proving – C-L Chang, Lee - 1973
7 Enhancing web portals with Ontology-Based Data Access: the case study of South Africa’s Accessibility Portal for people with disabilities – C. Maria Keet, Ronell Alberts, Aurona Gerber, Gibson Chimamiwa
13 Realizing ontology based data access: A plug-in for protégé – Mariano Rodriguez-muro, Lina Lubyte, Diego Calvanese - 2008
13 Saturation-based decision procedures for extensions of the guarded fragment – Y Kazakov - 2006
71 Reasoning in Description Logics using Resolution and Deductive Databases – M. Sc. Boris Motik - 2006
28 Asking queries about frames – Er Borgida, Deborah L. Mcguinness - 1996