Unification Theory (2001)

Cached

Download Links

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

Documents Related by Co-Citation

159 Problem of Solvability of Equations in Free Semigroup, Math. Sbornik 103 – G S Makanin - 1977
159 Description logic framework for information integration – Diego Calvanese, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati - 1998
157 Resolution Theorem Proving – Leo Bachmair, Harald Ganzinger - 2001
310 Tractable reasoning and efficient query answering in description logics: The DL-Lite family – Diego Calvanese, G. De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati - 2007
959 Negation as failure – K L Clark - 1978
1858 Foundations of Logic Programming – J Lloyd - 1987
1531 Foundations of Databases – S Abiteboul, R Hull, V Vianu - 1995
26 P.: Complexity of Unification Problems with AssociativeCommutative Operators – D Kapur, Narendran - 1992
416 Introduction to Logic Programming – K R Apt - 1990
115 Declarative modeling of the operational behavior of logic languages – M Falaschi, G Levi, M Martelli, C Palamidessi - 1989
610 Towards a theory of declarative knowledge – K R Apt, H Blair, A Walker - 1988
108 Unification theory – J Siekmann - 1989
769 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
276 Symbolic Logic and Mechanical Theorem Proving – C Chang - 1973
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
2 Equations in free monoids – A Lentin - 1972