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
2020
408.
D.
Höller,
G.
Behnke,
P.
Bercher,
S.
Biundo,
H.
Fiorino,
D.
Pellier and
R.
Alford,
"HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems"
in Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020)
,
AAAI Press
,
2020.
| Datei: |  https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Hoeller2020HDDL.pdf |
407.
G.
Behnke,
P.
Bercher,
M.
Kraus,
M.
Schiller,
K.
Mickeleit,
T.
Häge,
M.
Dorna,
M.
Dambier,
W.
Minker,
B.
Glimm and
S.
Biundo,
"New Developments for Robert – Assisting Novice Users Even Better in DIY Projects"
in Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020)
,
AAAI Press
,
2020.
406.
G.
Behnke,
D.
Höller,
A.
Schmid,
P.
Bercher and
S.
Biundo,
"On Succinct Groundings of HTN Planning Problems"
in Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020)
,
AAAI Press
,
2020.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/AAAI-BehnkeG.1770.pdf |
405.
P.
Bercher and
C.
Olz,
"POP ≡ POCL, right? Complexity Results for Partial Order (Causal Link) Makespan Minimization"
in Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020)
,
AAAI Press
,
2020.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Bercher2020POPvsPOCL.pdf |
2019
404.
G.
Behnke,
"Hierarchical planning through propositional logic - highly efficient, versatile, and flexible"
,
Dez.
2019.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/thesis_behnke_main.pdf |
403.
P.
Bercher,
R.
Alford and
D.
Höller,
"A Survey on Hierarchical Planning -- One Abstract Idea, Many Concrete Realizations"
in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019)
,
IJCAI
,
2019.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Bercher2019HierarchicalPlanningSurvey.pdf |
402.
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 |
401.
M.
Kraus,
M.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Kraus2019CloudCompanion.pdf |
400.
Mantas Simkus and
Grant E. Weddell, Eds.,
Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019
:
{CEUR} Workshop Proceedings
.
| Datei: | http://ceur-ws.org/Vol-2373 |
399.
A.
Steigmiller and
B.
Glimm,
"Absorption-Based Query Answering for Expressive Description Logics"
in Proceedings of the 18th International Semantic Web Conference (ISWC 2019) Band 11778 aus Lecture Notes in Computer Science
,
Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek,Isabel Cruz, Aidan Hogan, Eds.
Cham
:
Springer International Publishing
,
2019.
pp. 593--611.
| ISBN: | 978-3-030-30793-6 |
| Datei: | https://link.springer.com/chapter/10.1007%2F978-3-030-30793-6_34 |
398.
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.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019ProgressionHeuristics.pdf |
397.
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 |
396.
Proceedings of the 2nd ICAPS Workshop on Hierarchical Planning
.
| Datei: | https://icaps19.icaps-conference.org/workshops/Hierarchical-Planning/HPLAN2019Proceedings.pdf |
395.
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 |
394.
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 |
393.
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.
| Datei: | fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Olz2019StepElimination.pdf |
392.
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.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019orderchaos.pdf |
391.
G.
Behnke,
M.
Schiller,
M.
Kraus,
P.
Bercher,
M.
Schmautz,
M.
Dorna,
M.
Dambier,
W.
Minker,
B.
Glimm and
S.
Biundo,
"Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects"
,
AI Communications
,
vol. 32
,
no. 1
,
pp. 31-57
,
2019.
IOS Press
.
| DOI: | 10.3233/AIC-180604 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019bosch.pdf |
390.
A.
Steigmiller and
B.
Glimm,
"Absorption-Based Query Entailment Checking for Expressive Description
Logics"
in Proceedings of the 32nd International Workshop on Description Logics (DL 2019) Band 2373 aus CEUR Workshop Proceedings
,
CEUR-WS.org
,
2019.
| Datei: | http://ceur-ws.org/Vol-2373/paper-25.pdf |
2018
389.
G.
Behnke,
M.
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 |
388.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018SATltljournal.pdf |
387.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018satltl.pdf |
386.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018treeSAT.pdf |
385.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018partSAT.pdf |
384.
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 |