Carsten Lutz
- Auteur
Boeken van Carsten Lutz
Franz Baader
Ian Horrocks
Carsten Lutz
Ulrike Sattler
An Introduction to Description Logic
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
Steffen Hölldobler
Carsten Lutz
Heinrich Wansing
Logics in Artificial Intelligence
This volume contains the papers selected for presentation at the 11th European Conference on Logics in Arti?cial Intelligence (or Journ´ ees Europ´ eennes sur la Logique en Intelligence Arti?
Meer
Carsten Lutz
Uli Sattler
Cesare Tinelli
Anni-Yasmin Turhan
Frank Wolter
Description Logic, Theory Combination, and All That
Carsten Lutz
Michael Thielscher
KI 2014: Advances in Artificial Intelligence
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