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
2018
372.
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 |
371.
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 |
370.
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 |
369.
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 |
2017
368.
M. R. G. Schiller,
G. Behnke,
M. Schmautz,
P. Bercher,
M. Kraus,
M. Dorna,
W. Minker,
B. Glimm and
S. Biundo,
"A Paradigm for Coupling Procedural and Conceptual Knowledge in Companion Systems"
in Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017),
IEEE,
2017.
DOI: | 10.1109/COMPANION.2017.8287072 |
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/SBSBKDMGB-ICCT2017.pdf |
367.
F. Richter and
S. Biundo,
"Addressing Uncertainty in Hierarchical User-Centered Planning"
in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo and Andreas Wendemuth, Eds.
Springer,
2017,
pp. 101--121.
DOI: | 10.1007/978-3-319-43665-4_6 |
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Richter2017UserCenteredPlanningUnderUncertainty.pdf |
366.
P. Bercher,
F. Richter,
T. Hörnle,
T. Geier,
D. Höller,
G. Behnke,
F. Nielsen,
F. Honold,
F. Schüssel,
S. Reuter,
W. Minker,
M. Weber,
K. Dietmayer and
S. Biundo,
"Advanced User Assistance for Setting Up a Home Theater"
in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo and Andreas Wendemuth, Eds.
Springer,
2017,
pp. 485--491.
DOI: | 10.1007/978-3-319-43665-4_24 |
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Bercher2017CompBookHomeTheater.pdf |
365.
P. Bercher,
G. Behnke,
D. Höller and
S. Biundo,
"An Admissible HTN Planning Heuristic"
in Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017),
IJCAI,
2017,
pp. 480--488.
364.
S. Biundo and
A. Wendemuth,
"An Introduction to Companion-Technology"
in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo and Andreas Wendemuth, Eds.
Springer,
2017,
pp. 1--15.
DOI: | 10.1007/978-3-319-43665-4_1 |
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Biundo2017CompBookIntro.pdf |
363.
S. Biundo and
A. Wendemuth,Companion Technology - A Paradigm Shift in Human-Technology Interaction.
....
Springer,
2017.
DOI: | 10.1007/978-3-319-43665-4 |
Datei: | https://link.springer.com/book/10.1007/978-3-319-43665-4 |
362.
T. Hörnle,
M. Tornow,
F. Honold,
R. Schwegler,
R. Heinemann,
S. Biundo and
A. Wendemuth,
"Companion-Systems: A Reference Architecture"
in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo and Andreas Wendemuth, Eds.
Springer,
2017,
pp. 449-469.
DOI: | 10.1007/978-3-319-43665-4_22 |
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Hoernle2017CompBookReferenceArchitecture.pdf |
361.
F. Nothdurft,
P. Bercher,
G. Behnke and
W. Minker,
"Dialogues with Social Robots: Enablements, Analyses, and Evaluation"
in Dialogues with Social Robots: Enablements, Analyses, and Evaluation, Kristiina Jokinen and Graham Wilcock, Eds.
Springer,
2017,
pp. 129--141.
DOI: | 10.1007/978-981-10-2585-3_10 |
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Nothdurft2016UserInvolvement.pdf |
360.
Y. Kazakov and
P. Skocovsky,
"Enumerating Justifications using Resolution"
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.
Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/KazSko17Justifications_DL.pdf |
359.
S. Reuter,
A. Scheel,
T. Geier and
K. Dietmayer,
"Environment Adaption for Companion-Systems",
Susanne Biundo and Andreas Wendemuth, Eds.
Springer,
2017,
pp. 301--320.
DOI: | 10.1007/978-3-319-43665-4_15 |
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Reuter2017CompBookEnvironmentAdaption.pdf |
358.
G. Behnke,
B. Leichtmann,
P. Bercher,
D. Höller,
V. Nitsch,
M. Baumann and
S. Biundo,
"Help me make a dinner! Challenges when assisting humans in action planning"
in Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017),
IEEE,
2017.
Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017Challenge.pdf |
357.
M. Brenner and
B. Glimm,
"Incremental Materialization Update via Abstraction Refinement"
in Proceedings of the 30th International Workshop on Description Logics (DL 2017),
CEUR-WS.org,
2017.
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlBr17a.pdf |
356.
K. Ulmschneider and
B. Glimm,
"Knowledge Graph: Semantic Representation and Assessment of Innovation Ecosystems"
in Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017),
Rozewski, Przemyslaw and Lange, Christoph, Eds.
Berlin, Germany:
Springer,
2017,
pp. 211--226.
DOI: | 10.1007/978-3-319-69548-8_15 |
ISBN: | 978-3-319-69547-1 |
Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/UlGl17a.pdf |
355.
T. Geier and
S. Biundo,
"Multi-Level Knowledge Processing in Cognitive Technical Systems"
in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo, Eds.
Springer,
2017,
pp. 17--36.
DOI: | 10.1007/978-3-319-43665-4_2 |
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Geier2017CompBookMLKP.pdf |
354.
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 |
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Siegert2017CompBookTicketSystem.pdf |
353.
Y. Kazakov and
D. Ponomaryov,
"On the Complexity of Semantic Integration of OWL Ontologies"
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.
Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/KazPon17Integration_DL.pdf |
352.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlKT17a.pdf |
351.
Artale, Alessandro and Glimm, Birte and Kontchakov, Roman, Eds.,
Proceedings of the 30th International Workshop on Description Logics (DL 2017):
CEUR Workshop Proceedings.
350.
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 |
349.
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 |
Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/MaKG17a.pdf |
348.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlKT17b.pdf |