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
397.
B. Glimm and
Y. Kazakov,
"Classical Algorithms for Reasoning and Explanation in Description
Logics"
in Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School,
Markus Krötzsch and Daria Stepanova, Eds.
Springer,
2019,
pp. 1-64.
DOI: | 10.1007/978-3-030-31423-1_1 |
Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/GliKaz19Classical.pdf |
396.
C. Olz and
P. Bercher,
"Eliminating Redundant Actions in Partially Ordered Plans -- A Complexity Analysis"
in Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019),
AAAI Press,
2019,
pp. 310--319.
DOI: | https://doi.org/10.1609/icaps.v29i1.3493 |
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Olz2019StepElimination.pdf |
395.
G. Behnke,
D. Höller and
S. Biundo,
"Finding Optimal Solutions in HTN Planning - A SAT-based Approach"
in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019),
2019.
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019satoptimal.pdf |
394.
D. Höller,
G. Behnke,
P. Bercher,
S. Biundo,
H. Fiorino,
D. Pellier and
R. Alford,
"HDDL - A Language to Describe Hierarchical Planning Problems"
in Proceedings of the Second ICAPS Workshop on Hierarchical Planning,
2019,
pp. 6--14.
Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019HDDL.pdf |
393.
G. Behnke,
D. Höller,
P. Bercher,
S. Biundo,
D. Pellier,
H. Fiorino and
R. Alford,
"Hierarchical Planning in the IPC"
in Proceedings of the Workshop on the International Planning Competition,
2019.
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019HTNIPC.pdf |
392.
G. Behnke,
D. Höller,
P. Bercher and
S. Biundo,
"More Succinct Grounding of HTN Planning Problems -- Preliminary Results"
in Proceedings of the Second ICAPS Workshop on Hierarchical Planning,
2019,
pp. 40--48.
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019Grounding.pdf |
391.
D. Höller,
P. Bercher,
G. Behnke and
S. Biundo,
"On Guiding Search in HTN Planning with Classical Planning Heuristics"
in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019),
IJCAI,
2019,
pp. 6171--6175.
Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019ProgressionHeuristics.pdf |
390.
Proceedings of the 2nd ICAPS Workshop on Hierarchical Planning.
Datei: | https://icaps19.icaps-conference.org/workshops/Hierarchical-Planning/HPLAN2019Proceedings.pdf |
2018
389.
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: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/11080/AssemblyAssistant.pdf |
388.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller18Progression.pdf |
387.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Kraus2018CompanionCloudDemo.pdf |
386.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/PerlethSchillerGlimmDL2018.pdf |
385.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/BrGl18a.pdf |
384.
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: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/KazSko18Justifications_IJCAR.pdf |
383.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/MCI-WS19-schillerEtAl2018.pdf |
382.
F. Richter,
"Hierarchical planning under uncertainty",
Dissertation,
Ulm University,
Germany,
2018.
DOI: | 10.18725/OPARU-5243 |
Datei: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/5300/dissertation_richter.pdf |
381.
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: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller18Repair.pdf |
380.
P. Bercher,
"Hybrid Planning - From Theory to Practice",
Dissertation,
Ulm University,
2018.
DOI: | 10.18725/OPARU-5242 |
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/DissertationBercher.pdf |
379.
P. Bercher,
"Hybrides Planen — Von der Theorie zur Praxis"
in Proc. of Ausgezeichnete Informatikdissertationen,
Gesellschaft für Informatik,
2018.
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Bercher2018DissertationAbstract.pdf |
378.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018DIY.pdf |
377.
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: | http://www.planrec.org/PAIR/PAIR18/Papers/HollerPair18.pdf |
376.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller2018PlanRec.pdf |
375.
Pascal Bercher and Daniel Höller and Susanne Biundo and Ron Alford, Eds.,
Proceedings of the 1st ICAPS Workshop on Hierarchical Planning.
Datei: | http://icaps18.icaps-conference.org/fileadmin/alg/conferences/icaps18/workshops/workshop08/docs/HierarchicalPlanningProceedings.pdf |
374.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018totSAT.pdf |
373.
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: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Leichtmann2018HumanPlanningBehavior.pdf |