Carsten Lutz (lutz-c)

Contributions à Philosophie.ch

Bibliography

Ghilardi, Silvio, Lutz, Carsten, Wolter, Frank and Zakharyaschev, Michael. 2006. “Conservative Extensions in Modal Logic.” in Advances in Modal Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 187–207. London: King’s College Publications.
Haarslev, Volker, Lutz, Carsten and Möller, Ralf. 1998. “Foundations of Spatiotemporal Reasoning with Description Logics.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 112–123. San Francisco, California: Morgan Kaufmann Publishers.
Kontchakov, Roman, Lutz, Carsten, Wolter, Frank and Zakharyaschev, Michael. 2004. “Temporalizing Tableaux.” Studia Logica: An International Journal for Symbolic Logic 76(1): 91–134.
Lutz, Carsten. 2002. “Adding Numbers to the SHIQ Description Logic–First Results.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 191–202. San Francisco, California: Morgan Kaufmann Publishers.
Lutz, Carsten. 2003. “Description Logics with Concrete Domains – A Survey.” in Advances in Modal Logic, volume IV, edited by Philippe Balbiani, Suzuki Nobi-Yuki, Frank Wolter, and Michael Zakharyaschev, pp. 265–296. London: King’s College Publications.
Lutz, Carsten and Sattler, Ulrike. 2002. “The Complexity of Reasoning with Boolean Modal Logics.” in Advances in Modal Logic, volume III, edited by Frank Wolter, Heinrich Theodor Wansing, Maarten de Rijke, and Michael Zakharyaschev, pp. 329–348. Singapore: World Scientific Publishing Co.