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
   

Preferences

Show keywords Show abstracts

352.
pdf
Nothdurft, Florian; Bercher, Pascal; Behnke, Gregor; Minker, Wolfgang
Dialogues with Social Robots: Enablements, Analyses, and Evaluation
In Kristiina Jokinen and Graham Wilcock, editor,
Chapter User Involvement in Collaborative Decision-Making Dialog Systems, page 129--141.
Publisher: Springer,
2017
351.
pdf
Glimm, Birte; Kazakov, Yevgeny; Tran, Trung-Kien
Ontology Materialization by Abstraction Refinement in Horn {SHOIF}
In Satinder P. Singh and Shaul Markovitch, editor, Proceedings of the 31st {AAAI} Conference on Artificial Intelligence , page 1114--1120.
Publisher: {AAAI} Press,
2017
350.
default
Proceedings of the 30th International Workshop on Description Logics (DL 2017)
In Artale, Alessandro and Glimm, Birte and Kontchakov, Roman, editor, Volume 1879 of CEUR Workshop Proceedings
Publisher: CEUR-WS.org,
2017
349.
pdf
Behnke, Gregor; Höller, Daniel; Biundo, Susanne
This is a solution! (... but is it though?) - Verifying solutions of hierarchical planning problems
Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017) , page 20--28.
Publisher: AAAI Press,
2017
348.
pdf
Bercher, Pascal; Behnke, Gregor; Höller, Daniel; Biundo, Susanne
An Admissible HTN Planning Heuristic
Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017) , page 480--488.
Publisher: AAAI Press,
2017
347.
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
346.
pdf
Behnke, Gregor; Nielsen, Florian; Schiller, Marvin; Bercher, Pascal; Kraus, Matthias; Glimm, Birte; Minker, Wolfgang; Biundo, Susanne
SLOTH - the Interactive Workout Planner
Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017)
Publisher: IEEE,
2017
345.
pdf
Schiller, Marvin; Behnke, Gregor; Schmautz, Mario; Bercher, Pascal; Kraus, Matthias; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
A Paradigm for Coupling Procedural and Conceptual Knowledge
Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017)
Publisher: IEEE,
2017
344.
default
Mathieu, Christian; Klusch, Matthias; Glimm, Birte
QSMat: Query-Based Materialization for Efficient RDF Stream Processing
Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017) of Communications in Computer and Information Science
Publisher: Springer-Verlag,
2017
343.
default
Ulmschneider, Klaus; Glimm, Birte
Knowledge Graph: Semantic Representation and Assessment of Innovation Ecosystems
Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017) of Communications in Computer and Information Science
Publisher: Springer-Verlag,
2017
Export as: BibTeX, XML