Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings: 9322 (Lecture Notes in Computer Science)
by Carsten Lutz,Silvio Ranise
ISBN 13: 9783319242453
Format: Paperback (376 pages) Publisher: Springer Published: 12 Nov 2015
Save for later
An Introduction to Description Logic
by Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler
ISBN 13: 9780521873611
Format: Hardcover (260 pages) Publisher: Cambridge University Press Published: 30 Apr 2017
KI 2014: Advances in Artificial Intelligence: 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings (Lecture Notes in Computer Science)
by Carsten Lutz,Michael Thielscher
ISBN 13: 9783319112053
Format: Paperback (336 pages) Publisher: Springer Published: 23 Sep 2014
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday: 11560 (Lecture Notes in Computer Science)
by Carsten Lutz,Uli Sattler,Cesare Tinelli
ISBN 13: 9783030221010
Format: Paperback (678 pages) Publisher: Springer Published: 01 Jun 2019