Carsten Lutz

No bio available. Add one in Open Library.

Books by Carsten Lutz (50 max)

+ shelf+ list

Introduction to Description Logic

2008

Franz Baader, Carsten Lutz, Uli Sattler

+ shelf+ list

KI 2014 : Advances in Artificial Intelligence: 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings

2014

Carsten Lutz, Michael Thielscher

+ shelf+ list

Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2015

Carsten Lutz, Silvio Ranise

+ shelf+ list

Kompetenzkonflikte und Aufgabenverteilung Zwischen Nationalen und Internationalen Gerichten: Erste Bausteine Einer Weltgerichtsordnung

2003

Carsten Lutz

+ shelf+ list

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

2008

Steffen Hölldobler, Carsten Lutz, Heinrich Wansing

+ shelf+ list

Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

2019

Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter