Home Advanced Search

Advanced Search - Page 1

An Introduction to Description Logic
  • PDF
  • English
  • Year: 2017
  • Author: Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler
An Introduction to Description Logic
  • PDF
  • English
  • Year: 2017
  • Author: Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler
Handbook on Ontologies
  • PDF
  • English
  • Year: 2004
  • Author: Franz Baader, Ian Horrocks, Ulrike Sattler (auth.), PD Dr. Steffen Staab, Professor Dr. Rudi Studer (eds.)
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2019
  • Author: Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Franz Baader, Jan Hladik, Carsten Lutz (auth.), Moshe Y. Vardi, Andrei Voronkov (eds.)
The Description Logic Handbook Theory, Implementation and Applications
  • PDF
  • English
  • Year: 2010
  • Author: Franz Baader
Fermenta cognitionis, Heft 1.
  • PDF
  • German
  • Year: 1822
  • Author: Franz Baader
Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Franz Baader
Tibet
  • PDF
  • German
  • Year: 2008
  • Author: Uli Franz
Gebrauchsanweisung fur Tibet
  • PDF
  • German
  • Year: 2000
  • Author: Uli Franz
search