Unification Theory (2001)

Cached

Download Links

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

Documents Related by Co-Citation

157 The problem of solvability of equations in a free semigroup – G S Makanin - 1977
157 Description logic framework for information integration – Diego Calvanese, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati - 1998
153 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
960 Negation as failure – K L Clark - 1977
1852 Foundations of Logic Programming – J W Lloyd - 1987
1516 Foundations of Databases – S Abiteboul, R Hull, V Vianu - 1995
26 P.: Complexity of Unification Problems with AssociativeCommutative Operators – D Kapur, Narendran - 1992
114 Declarative modeling of the operational behavior of logic languages – M Falaschi, G Levi, C Palamidessi, M Martelli - 1989
416 Introduction to Logic Programming – K R Apt - 1989
611 Towards a theory of declarative knowledge – K R Apt, H A Blair, A Walker - 1988
108 Unification theory – J Siekmann - 1989
767 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
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
274 Symbolic Logic and Mechanical Theorem Proving – C Chang, R Lee - 1973
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