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

2018

382.
G. Behnke and S. Biundo, "X and more Parallelism: Integrating LTL-Next into SAT-based Planning with Trajectory Constraints While Allowing for Even More Parallelism" , Inteligencia Artificial, vol. 21, no. 62, pp. 75--90, 2018.
DOI:10.4114/intartif.vol21iss62pp75-90
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018SATltljournal.pdf
381.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "Plan and Goal Recognition as HTN Planning" in Proceedings of the AAAI 2018 Workshop on Plan, Activity, and Intent Recognition (PAIR 2018), 2018. pp. 607--613.
File:pdfhttp://www.planrec.org/PAIR/PAIR18/Papers/HollerPair18.pdf
380.
G. Behnke, D. Höller and S. Biundo, "Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems" in Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2018), IEEE Computer Society, 2018. pp. 73--80.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018treeSAT.pdf
379.
P. Bercher, "Hybrides Planen — Von der Theorie zur Praxis" in Proc. of Ausgezeichnete Informatikdissertationen, Gesellschaft für Informatik, 2018.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Bercher2018DissertationAbstract.pdf
378.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "HTN Plan Repair Using Unmodified Planning Systems" in Proceedings of the First ICAPS Workshop on Hierarchical Planning, 2018. pp. 26--30.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller18Repair.pdf
377.
F. Richter, "Hierarchical planning under uncertainty", Dissertation, Ulm University, Germany, 2018.
DOI:10.18725/OPARU-5243
File:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/5300/dissertation_richter.pdf
376.
M. R. G. Schiller, G. Behnke, P. Bercher, M. Kraus, M. Dorna, F. Richter, S. Biundo, B. Glimm and W. Minker, "Evaluating Knowledge-Based Assistance for DIY" in Proceedings of MCI Workshop "Digital Companion", 2018. pp. 925--930.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/MCI-WS19-schillerEtAl2018.pdf
375.
Y. Kazakov and P. Skocovsky, "Enumerating Justifications using Resolution" in IJCAR, Didier Galmiche and Stephan Schulz and Roberto Sebastiani, Eds. Springer, 2018. pp. 609--626.
DOI:10.1007/978-3-319-94205-6
ISBN:978-3-319-94204-9
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/KazSko18Justifications_IJCAR.pdf
374.
M. Brenner and B. Glimm, "Embracing Change by Abstraction Materialization Maintenance for Large ABoxes" in Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), AAAI Press, 2018.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/BrGl18a.pdf
373.
T. Perleth, M. R. G. Schiller and B. Glimm, "Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations" in Proceedings of DL 2018, CEUR Workshop Proceedings Vol. 2211, 2018.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/PerlethSchillerGlimmDL2018.pdf
372.
P. Bercher, F. Richter, F. Honold, F. Nielsen, F. Schüssel, T. Geier, T. Hörnle, S. Reuter, D. Höller, G. Behnke, M. Weber, K. Dietmayer, W. Minker and S. Biundo, "A Companion-System Architecture for Realizing Individualized and Situation-Adaptive User Assistance" , 2018.
DOI:10.18725/OPARU-11023
File:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/11080/AssemblyAssistant.pdf
371.
M. Kraus, G. Behnke, P. Bercher, M. R. G. Schiller, S. Biundo, B. Glimm and W. Minker, "A Multimodal Dialogue Framework for Cloud-Based Companion Systems" in Proc. of the 10th International Workshop on Spoken Dialog Systems Technology (IWSDS 2018), 2018.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Kraus2018CompanionCloudDemo.pdf
370.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "A Generic Method to Guide HTN Progression Search with Classical Heuristics" in Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018), AAAI Press, 2018. pp. 114--122.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller18Progression.pdf
369.
P. Bercher, "Hybrid Planning - From Theory to Practice", Dissertation, Ulm University, 2018.
DOI:10.18725/OPARU-5242
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/DissertationBercher.pdf

2017

368.
B. Glimm, Y. Kazakov and T. Tran, "Scalable Reasoning by Abstraction in DL-Lite" in Proceedings of the 30th International Workshop on Description Logics (DL 2017), CEUR-WS.org, 2017.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlKT17b.pdf
367.
B. Glimm, Y. Kazakov and T. Tran, "Ontology Materialization by Abstraction Refinement in Horn SHOIF" in Proceedings of the 31st AAAI Conference on Artificial Intelligence, 31st AAAI Conference on Artificial Intelligence, San Francisco, California, USA, February 4-9, 2017,Satinder P. Singh and Shaul Markovitch, Eds. AAAI Press, 2017. pp. 1114--1120.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlKT17a.pdf
366.
Artale, Alessandro and Glimm, Birte and Kontchakov, Roman, Eds., Proceedings of the 30th International Workshop on Description Logics (DL 2017): CEUR Workshop Proceedings.
365.
D. Ponomaryov and M. Soutchanski, "Progression of Decomposed Local-Effect Action Theories" , ACM Transactions on Computational Logic, vol. 18, no. 2, pp. 1--41, 2017. ACM, http://doi.acm.org/10.1145/3091119.
DOI:10.1145/3091119
364.
C. Mathieu, M. Klusch and B. Glimm, "QSMat: Query-Based Materialization for Efficient RDF Stream Processing" in Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017), Springer-Verlag, 2017. pp. 159-174.
DOI:10.1007/978-3-319-69548-8_12
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/MaKG17a.pdf
363.
Y. Kazakov, P. Klinov and A. Stupnikov, "Towards Reusable Explanation Services in Protege" in Proceedings of the 30th International Workshop on Description Logics (DL 2017), Alessandro Artale and Birte Glimm and Roman Kontchakov, Eds. CEUR-WS.org, 2017.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/KazKliStu17Explanations_DL.pdf
362.
G. Behnke, F. Nielsen, M. R. G. Schiller, P. Bercher, M. Kraus, W. Minker, S. Biundo and B. Glimm, "SLOTH - the Interactive Workout Planner" in Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017), IEEE, 2017.
DOI:10.1109/COMPANION.2017.8287077
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017Sloth.pdf
361.
B. Glimm, M. R. G. Schiller and F. Schiller, "Testing the Adequacy of Automated Explanations of EL Subsumptions" in Proceedings of the 30th International Workshop on Description Logics (DL 2017), CEUR-WS.org, 2017.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/ScSG17a.pdf
360.
G. Behnke, D. Höller and S. Biundo, "This is a solution! (... but is it though?) - Verifying solutions of hierarchical planning problems" in Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017), AAAI Press, 2017. pp. 20--28.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke17Verify.pdf
359.
G. Behnke, F. Nielsen, M. R. G. Schiller, D. Ponomaryov, P. Bercher, B. Glimm, W. Minker and S. Biundo, "To Plan for the User Is to Plan With the User -- Integrating User Interaction Into the Planning Process" in Companion Technology -- A Paradigm Shift in Human-Technology Interaction,Susanne Biundo and Andreas Wendemuth, Eds. Springer, 2017, pp. 123--144.
DOI:10.1007/978-3-319-43665-4_7
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017CompBookMIP.pdf
358.
I. Siegert, F. Schüssel, M. Schmidt, S. Reuter, S. Meudt, G. Layher, G. Krell, T. Hörnle, S. Handrich, A. Al-Hamadi, K. Dietmayer, H. Neumann, G. Palm, F. Schwenker and A. Wendemuth, "Multi-modal Information Processing in Companion-Systems: A Ticket Purchase System" in Companion Technology -- A Paradigm Shift in Human-Technology Interaction,Susanne Biundo and Andreas Wendemuth, Eds. Springer, 2017, pp. 493--500.
DOI:10.1007/978-3-319-43665-4_25
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Siegert2017CompBookTicketSystem.pdf