Boeken van Carsten Lutz
Franz Baader
Ian Horrocks
Carsten Lutz
Ulrike Sattler
An Introduction to Description Logic
€ 66,48
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge.
Meer
Armin Biere
Carsten Lutz
Sara Negri
Automated Reasoning
€ 48,99
This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.
Meer
Carsten Lutz
Silvio Ranise
Frontiers of Combining Systems
€ 60,99
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015.
Meer
Steffen Hölldobler
Carsten Lutz
Heinrich Wansing
Logics in Artificial Intelligence
€ 60,99
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008.
Meer
Carsten Lutz
Michael Thielscher
KI 2014: Advances in Artificial Intelligence
€ 60,99
This book constitutes the refereed proceedings of the 37th Annual German Conference on Artificial Intelligence, KI 2014, held in Stuttgart, Germany, in September 2014.
Meer
Franz Baader€ 66,48
Armin Biere€ 48,99
Carsten Lutz€ 60,99
Steffen Hölldobler€ 60,99
Carsten Lutz€ 60,99