This page contains all publications of the institute. If you are searching for a particular paper that might have been written before the researcher joined us, please visit his or her individual page.

Please note that there is also a list of all students' theses written at our institute.

Publications of the Institute of Artificial Intelligence

Author


All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Z
All :: L. Schulz, ... , Langmaack, Layher, Leichtmann, ... , Luther

Preferences

Show keywords Show abstracts

80.
pdf
Behnke, Gregor; Leichtmann, Benedikt; Bercher, Pascal; Höller, Daniel; Nitsch, Verena; Baumann, Martin; Biundo, Susanne
Help me make a dinner! Challenges when assisting humans in action planning
Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017)
Publisher: IEEE,
2017
79.
default
Siegert, Ingo; Reuter, Stephan; Schüssel, Felix; Layher, Georg; Hörnle, Thilo; Meudt, Sascha; Wendemuth, Andreas
Multimodal Information Processing: The Ticket Purchase - a Demonstration Scenario of the SFB/TRR-62
In Jokisch, Oliver, editor, Elektronische Sprachsignalverarbeitung 2016. Tagungsband der 27. Konferenz Volume 81 of Studientexte zur Sprachkommunikation , page 111--118.
Publisher: TUDpress, Leipzig, Germany
2016
78.
pdf
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Completion Graph Caching for Expressive Description Logics
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Publisher: CEUR Workshop Proceedings,
2015
77.
pdf
Steigmiller, Andreas; Liebig, Thorsten; Glimm, Birte
Konclude: System Description
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 27(1)
2014
76.
pdf
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Reasoning with Nominal Schemas through Absorption
Journal of Automated Reasoning, 53(4):351-405
2014
75.
pdf
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Optimised Absorption for Expressive Description Logics
In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editor, Proceedings of the 27th International Workshop on Description Logics (DL 2014) Volume 1193 of CEUR Workshop Proceedings
Publisher: CEUR-WS.org,
2014
74.
pdf
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Coupling Tableau Algorithms for Expressive Description Logics with Completion-based Saturation Procedures
In Stéphane Demri, Deepak Kapur and Christoph Weidenbach, editor, Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014) Volume 8562 of Lecture Notes in Computer Science , page 449-463.
Publisher: Springer-Verlag,
2014
73.
pdf
Glimm, Birte; Kazakov, Yevgeny; Liebig, Thorsten; Tran, Trung-Kien; Vialard, Vincent
Abstraction Refinement for Ontology Materialization
Proceedings of the 13th International Semantic Web Conference (ISWC 2014) Volume 8797 of Lecture Notes in Computer Science , page 180-195.
Publisher: Springer-Verlag,
2014
72.
pdf
Glimm, Birte; Kazakov, Yevgeny; Liebig, Thorsten; Tran, Trung-Kien; Vialard, Vincent
Abstraction Refinement for Ontology Materialization
Proceedings of the 27th International Workshop on Description Logics (DL 2014) Volume 1193 of CEUR Workshop Proceedings , page 180-195.
Publisher: CEUR-WS.org,
2014
71.
pdf
Cheptsov, Alexey; Tenschert, Axel; Schmidt, Paul; Glimm, Birte; Matthesius, Mauricio; Liebig, Thorsten
Introducing a New Scalable Data-as-a-Service Cloud Platform for Enriching Traditional Text Mining Techniques by Integrating Ontology Modelling and Natural Language Processing
In Axel Tenschert and Alexey Cheptsov, editor, Proceedings of the International Workshop on Big Web Data (BigWebData 2013) of Lecture Notes in Computer Science
Publisher: Springer,
2013
Export as: BibTeX, XML