Author:
Vitória Aida,Mamede Margarida
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Research Report;F. Baader,1990
2. Lect Notes Comput Sci;F. Baader,1998
3. LTCS-Report;F. Baader,1998
4. F. Baader and P. Narendran. Unification of concept terms in description logics. In H. Prade, editor, Proc. of the 13th European Conference on Artificial Intelligence (ECAI-98), pages 331–335. John Wiley & Sons Ltd, 1998.
5. A. Brogi, S. Contiero, and F. Turini. Composing general logic programs. In J. Dix, U. Furbach, and A. Nerode, editors, Proc. of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’97), volume 1265 of Lecture Notes in Artificial Intelligence, pages 273–288. Springer-Verlag, 1997.