Author:
Bonatti Piero A.,Lutz Carsten,Murano Aniello,Vardi Moshe Y.
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Baader, F., Horrocks, I., Sattler, U.: Description logics for the semantic web. KI – Künstliche Intelligenz, 3,(2002)
2. Baader, F., McGuiness, D.L., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, Cambridge (2003)
3. Lecture Notes in Computer Science;G. Bhat,1996
4. P.A. Bonatti, C. Lutz, A. Murano and M.Y. Vardi. The Complexity of Enriched μ-calculi. Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, LTCS-Report, LTCS-06-02, Germany,(2006) see http://lat.inf.tu-dresden.de/research/reports.html
5. Bonatti, P.A., Peron, A.: On the undecidability of logics with converse, nominals, recursion and counting. Artificial Intelligence 158(1), 75–96 (2004)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献