Auf dieser Seite finden Sie sämtliche Publikationen, die an diesem Institut entstanden sind. Wenn Sie nach einem bestimmten Papier suchen, das womöglich geschrieben wurde, bevor der entsprechende Autor an unser Institut gewechselt hat, besuchen Sie bitte seine/ihre Mitarbeiterseite.

Bitte beachten Sie, dass auch eine Auflistung sämtlicher am Institut entstandener studentischer Abschlussarbeiten existiert.

Publikationen des Instituts für Künstliche Intelligenz

2019

391.
M. Kraus, M. R. G. Schiller, G. Behnke, P. Bercher, S. Biundo, B. Glimm and W. Minker, "9th International Workshop on Spoken Dialogue Systems", Rafael Banchs and Luis Fernando D'Haro and Haizhou Li, Eds. Springer, 2019.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Kraus2019CloudCompanion.pdf
390.
G. Behnke, D. Höller and S. Biundo, "Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-based HTN Planning" in Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019), AAAI Press, 2019, pp. 7520--7529.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019orderchaos.pdf

2018

389.
B. Leichtmann, P. Bercher, D. Höller, G. Behnke, S. Biundo, V. Nitsch and M. Baumann, "Towards a Companion System Incorporating Human Planning Behavior -- A Qualitative Analysis of Human Strategies" in Proceedings der dritten transdisziplinären Konferenz "Technische Unterstützungssysteme, die die Menschen wirklich wollen" (engl: Proceedings of the 3rd "Transdisciplinary Conference on Support Technologies"), TCST 2018, 2018, pp. 89--98.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Leichtmann2018HumanPlanningBehavior.pdf
388.
D. Höller, G. Behnke, P. Bercher and S. Biundo, "Plan and Goal Recognition as HTN Planning" in Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2018), IEEE Computer Society, 2018, pp. 466--473.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller2018PlanRec.pdf
387.
Pascal Bercher and Daniel Höller and Susanne Biundo and Ron Alford, Eds., Proceedings of the 1st ICAPS Workshop on Hierarchical Planning.
Datei:pdfhttp://icaps18.icaps-conference.org/fileadmin/alg/conferences/icaps18/workshops/workshop08/docs/HierarchicalPlanningProceedings.pdf
386.
G. Behnke, D. Höller and S. Biundo, "totSAT - Totally-Ordered Hierarchical Planning through SAT" in Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI 2018), AAAI 2018, New Orleans, February 2–7, AAAI Press, 2018, pp. 6110--6118.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018totSAT.pdf
385.
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
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018SATltljournal.pdf
384.
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 First ICAPS Workshop on Hierarchical Planning, 2018, pp. 40--47.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018partSAT.pdf
383.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018treeSAT.pdf
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" in Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS), 2018, pp. 1--10.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018satltl.pdf
381.
G. Behnke, M. R. G. Schiller, M. Kraus, P. Bercher, M. Schmautz, M. Dorna, W. Minker, B. Glimm and S. Biundo, "Instructing Novice Users on How to Use Tools in DIY Projects" in Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), IJCAI, 2018, pp. 5805--5807.
DOI:10.24963/ijcai.2018/844
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018DIY.pdf
380.
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.
Datei:pdfhttp://www.planrec.org/PAIR/PAIR18/Papers/HollerPair18.pdf
379.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Kraus2018CompanionCloudDemo.pdf
378.
P. Bercher, "Hybrides Planen — Von der Theorie zur Praxis" in Proc. of Ausgezeichnete Informatikdissertationen, Gesellschaft für Informatik, 2018.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Bercher2018DissertationAbstract.pdf
377.
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.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller18Repair.pdf
376.
F. Richter, "Hierarchical planning under uncertainty", Dissertation, Ulm University, Germany, 2018.
DOI:10.18725/OPARU-5243
Datei:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/5300/dissertation_richter.pdf
375.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/MCI-WS19-schillerEtAl2018.pdf
374.
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
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/KazSko18Justifications_IJCAR.pdf
373.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/BrGl18a.pdf
372.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/PerlethSchillerGlimmDL2018.pdf
371.
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
Datei:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/11080/AssemblyAssistant.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.
Datei: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
Datei: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.
Datei: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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlKT17a.pdf
BibTeX downloadXML download