C. Lutz, F. Wolter, and M. Zakharyaschev. A tableau algorithm for reasoning about concepts and similarity. In Proceedings of the Twelfth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Reasoning about Concepts and Similarity - Lutz, Wolter, Zakharyaschev Self-citation (Lutz Wolter) (Correct)
No context found.
C. Lutz, F. Wolter, and M. Zakhatyaschev. A tableau algorithm for reasoning about concepts and similarity. Proceedings of Tableaux 2003. To appear.
Reasoning about Concepts and Similarity - Lutz, Wolter, Zakharyaschev Self-citation (Lutz Wolter) (Correct)
No context found.
C. Lutz, F. Wolter, and M. Zakhatyaschev. A tableau algorithm for reasoning about concepts and similarity. Proceedings of Tableaux 2003. To appear.
A Logic for Metric and Topology - Wolter, Zakharyaschev Self-citation (Wolter Zakharyaschev) (Correct)
No context found.
C. Lutz, F. Wolter, and M. Zakharyaschev. A tableau algorithm for reasoning about concepts and similarity. In M. C. Mayer and F. Pirri, editors, Automated Reasoning with Analytic Tableaux and Related Methods, volume 2796 of LNCS. Springer, 2003.
Uncertainty and Description Logic Programs over Lattices - Straccia (2005) (Correct)
No context found.
C. Lutz, F. Wolter, and M. Zakharyaschev. A tableau algorithm for reasoning about concepts and similarity. In Proceedings of the Twelfth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2003.
Towards a Fuzzy Description Logic for the Semantic Web - Straccia (2005) (2 citations) (Correct)
No context found.
C. Lutz, F. Wolter, and M. Zakharyaschev. A tableau algorithm for reasoning about concepts and similarity. In Proc. of the 12th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2003, number 2796 in LNAI, Rome,Italy, 2003. Springer.
Uncertainty in Description Logics: a Lattice-based Approach - Straccia (2004) (Correct)
No context found.
C. Lutz, F. Wolter, and M. Zakharyaschev. A tableau algorithm for reasoning about concepts and similarity. In Proc. of TABLEAUX 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC