Andreas Steigmiller

University of Ulm - Institute of Artificial Intelligence

Albert-Einstein-Alee 11

Ulm, Baden-W├╝rttemberg D-89081

Germany

SCHOLARLY PAPERS

1

DOWNLOADS

8

SSRN CITATIONS

0

CROSSREF CITATIONS

0

Scholarly Papers (1)

1.

Konclude: System Description

Journal of Web Semantics First Look
Number of pages: 10 Posted: 09 Jul 2018
Andreas Steigmiller, Thorsten Liebig and Birte Glimm
University of Ulm - Institute of Artificial Intelligence, derivo GmbH and University of Ulm - Institute of Artificial Intelligence
Downloads 8 (667,533)
Citation 2

Abstract:

Loading...

Web Ontology Language, Description Logics, Tableau Theorem Proving