Ulrike Sattler
- Auteur
Boeken van Ulrike Sattler
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
Bernhard Gramlich
Dale Miller
Ulrike Sattler
Automated Reasoning
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012.
Meer
Pedro Barahona
François Bry
Enrico Franconi
Nicola Henze
Ulrike Sattler
Reasoning Web
This volume contains the lecture notes of the Summer School “Reasoning Web 2006” (http://reasoningweb.org), which took place on September 4-6, 2006 in Lisbon and was hosted by the New University of Lisbon (Universidade Nova de Lisboa).
Meer