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
2012
246.
P. Bercher and
S. Biundo,
"A Heuristic for Hybrid Planning with Preferences"
in Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2012),
AAAI Press,
Mai
2012,
pp. 120--123.
| Datei: |  http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Bercher12PreferenceHeuristic.pdf |
245.
OWL: Yet to arrive on the Web of Data?.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/GHKP12a.pdf |
244.
N. Nikitina,
S. Rudolph and
B. Glimm,
"Interactive Ontology Revision",
Journal of Web Semantics: Science, Services and Agents on the World Wide Web,
vol. 12-13,
pp. 118-130,
Apr.
2012.
Elsevier Science Publishers (North-Holland), Amsterdam,
http://www.sciencedirect.com/science/article/pii/S1570826811001028.
| DOI: | 10.1016/j.websem.2011.12.002 |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/NiRG12a.pdf |
243.
B. Schattenberg,
A. L. Schulz,
A. Brechmann,
F. W. Ohl and
S. Biundo,
"Planning Models for Two-Way Avoidance and Reversal Learning"
in Proceedings of the 7th Vienna International Conference on Mathematical Modelling (MATHMOD 2012),
Vienna, Austria,
Feb.
2012.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Schattenberg12PlanningModels.pdf |
242.
Glimm, Birte and Huynh, David, Eds.,
Proceedings of the ISWC 2012 Posters & Demonstrations Track, Boston, USA, November 11-15, 2012:
CEUR Workshop Proceedings.
241.
T. Geier,
S. Reuter,
K. Dietmayer and
S. Biundo,
"Track-Person Association Using a First-Order Probabilistic Model"
in Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI),
Tools with Artificial Intelligence,
Athens, Greece,
2012,
pp. 844--851.
| DOI: | 10.1109/ICTAI.2013.101 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Geier2012TrackingB.pdf |
240.
Y. Kazakov,
M. Krötzsch and
F. Simančík,
"Practical Reasoning with Nominals in the EL Family of Description Logics"
in Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR} 2012),
Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, Eds.
AAAI Press,
2012.
| ISBN: | 978-1-57735-560-1 |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KazKroSim12NominalsEL_KR.pdf |
239.
F. Nothdurft,
F. Honold and
P. Kurzok,
"Using explanations for runtime dialogue adaptation"
in Proceedings of the 14th ACM international conference on Multimodal interaction,
2012,
pp. 63--64.
| Datei: | http://delivery.acm.org/10.1145/2390000/2388694/p63-nothdurft.pdf |
238.
F. Honold,
F. Schüssel,
F. Nothdurft and
P. Kurzok,
"Companion technology for multimodal interaction"
in Proceedings of the 14th ACM international conference on Multimodal interaction,
2012,
pp. 67--68.
| Datei: | http://delivery.acm.org/10.1145/2390000/2388696/p67-honold.pdf |
237.
Glimm, Birte and Krüger, Antonio, Eds.,
KI 2012: Advances in Artificial Intelligence - 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings:
Lecture Notes in Artificial Intelligence.
| ISBN: | 978-3-642-33346-0 |
236.
A. Steigmiller,
T. Liebig and
B. Glimm,
"Extended Caching, Backjumping and Merging for Expressive Description Logics" ,
2012.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui/Ulmer_Informatik_Berichte/2012/UIB-2012-01.pdf |
235.
Y. Kazakov,
M. Krötzsch and
F. Simančík,
"ELK: A Reasoner for OWL EL Ontologies" ,
2012.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KazKroSim12ELK_TR.pdf |
234.
Y. Kazakov,
M. Krötzsch and
F. Simančík,
"ELK Reasoner: Architecture and Evaluation"
in Proceedings of the 1st International Workshop on OWL Reasoner Evaluation ({ORE} 2012),
2012.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KazKroSim12ELK_ORE.pdf |
233.
A. Wendemuth and
S. Biundo,
"A Companion Technology for Cognitive Technical Systems"
in Cognitive Behavioural Systems: COST 2102 International Training School, Revised Selected Papers,
Anna Esposito, Alessandro Vinciarelli, Rüdiger Hoffman, Vincent C. Müller, Eds.
Springer Berlin Heidelberg,
2012,
pp. 89--103.
| DOI: | 10.1007/978-3-642-34584-5_7 |
2011
232.
T. Liebig,
M. Luther,
O. Noppens and
M. Wessel,
"OWLlink",
Journal Semantic Web - Interoperability, Usability, Applicability,
vol. 2,
no. 1,
pp. 23--32,
2011.
| DOI: | 10.3233/SW-2011-0027 |
| Datei: | http://www.semantic-web-journal.net/sites/default/files/swj64_0.pdf |
231.
N. Nikitina,
B. Glimm and
S. Rudolph,
"Wheat and Chaff - Practically Feasible Interactive Ontology Revision"
in Proceedings of the 10th International Semantic Web Conference (ISWC 2011),
Springer-Verlag,
2011,
pp. 487-503.
| DOI: | 10.1007/978-3-642-25073-6_31 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/NiGR11a.pdf |
230.
J. Bidot,
C. Goumopoulos and
I. Calemis,
"Using AI planning and late binding for managing service workflows in intelligent environments"
in Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom),
2011,
pp. 156--163.
| DOI: | 10.1109/PERCOM.2011.5767580 |
229.
L. Thao Ly,
D. Knuplesch,
S. Rinderle-Ma,
K. Göser,
H. Pfeifer,
M. Reichert and
P. Dadam,
"SeaFlows Toolset - Compliance Verification Made Easy for Process-aware Information Systems"
in Information Systems Evolution -- CAiSE Forum 2010, Selected Extended Papers,
Aalst, Will and Mylopoulos, John and Sadeh, Norman M. and Shaw, Michael J. and Szyperski, Clemens and Soffer, Pnina and Proper, Erik, Eds.
Springer,
2011,
pp. 76--91.
| Datei: | http://dbis.eprints.uni-ulm.de/687/1/Ly10_CAiSEForume.pdf |
228.
A. Schulz,
B. Schattenberg,
M. Woldeit,
A. Brechmann,
S. Biundo and
F. W. Ohl,
"Reinforcement learning and planning models for two-way-avoidance and reversal learning"
in Proceedings of the Annual Meeting of the Society For Neuroscience,
2011.
227.
T. Liebig and
M. Opitz,
"Reasoning over Dynamic Data in Expressive Knowledge Bases with Rscale"
in Proceedings of Workshop on Ordering and Reasoning (OrdRing 2011),
2011.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/ordring11-liebig.pdf |
226.
S. Biundo,
J. Bidot and
B. Schattenberg,
"Planning in the Real World",
Informatik-Spektrum,
vol. 34,
no. 5,
pp. 443--454,
2011.
http://www.springerlink.com/content/514981j48161127x/.
| DOI: | 10.1007/s00287-011-0562-7 |
| Datei: | http://www.springerlink.com/content/514981j48161127x/fulltext.pdf |
225.
T. Geier and
P. Bercher,
"On the Decidability of HTN Planning with Task Insertion"
in Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011),
AAAI Press,
2011,
pp. 1955--1961.
| Weblink: | http://www.aaai.org/ocs/index.php/IJCAI/IJCAI11/paper/view/3194 |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/Geier11HybridDecidability.pdf |
224.
J. Bidot and
S. Biundo,
"Artificial Intelligence Planning for Ambient Environments"
in Next Generation Intelligence Environments - Ambient Adaptive Systems, Tobias Heinroth and Wolfgang Minker, Eds.
Springer,
2011,
pp. 195--225.
| DOI: | 10.1007/978-3-319-23452-6_8 |
223.
S. Biundo,
P. Bercher,
T. Geier,
F. Müller and
B. Schattenberg,
"Advanced user assistance based on AI planning",
Cognitive Systems Research,
vol. 12,
no. 3-4,
pp. 219--236,
2011.
| DOI: | 10.1016/j.cogsys.2010.12.005 |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/Biundo11AdvancedUserAssistance.pdf |
222.
T. Geier and
S. Biundo,
"Approximate Online Inference for Dynamic Markov Logic Networks"
in Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI),
2011,
pp. 764--768.