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
Carsten Lutz
Uli Sattler
Cesare Tinelli
Anni-Yasmin Turhan
Frank Wolter
Description Logic, Theory Combination, and All That
€ 60,99
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions.
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
Carsten Lutz€ 60,99
Carsten Lutz€ 60,99