ahresbericht 2011 der Fakultät EIM - Universität Paderborn: ONT

00 10 Rubrik Anhang Institut für Informatik
bid-owl (Regionales Bildungsnetzwerk Ostwestfalen-Lippe)
und LARS (Lernen auf Reisen –
Schule)
Schulamt der Stadt Paderborn
Unterstützung und Beratung beim Ausbau der
„Lernstatt Paderborn“
Siemens AG, Siemens IT Solutions and Services,
Paderborn
Zusammenarbeit im Bereich Gebrauchstauglichkeit
und Software-Ergonomie
Stahl – Partner für Bäcker GmbH, Borchen
Aufbau einer Plattform für E-Learning und Wissensmanagement
in Bäckereiunternehmen
Unger, Welsow & Company GmbH, Paderborn
Zusammenarbeit in Bereichen der Software-Ergonomie
und der Web-Gestaltung in Kooperation mit
verschiedenen anderen Firmen
PERSONAL
Sekretariat
Simone Auinger
110
Prof. Dr. rer. nat.
Hans Kleine Büning
Wissensbasierte Systeme
Wissenschaftliche Mitarbeiter/innen
Dr. rer. nat. Uwe Bubeck
Dr. rer. nat. Markus Eberling (bis September 2011)
Dr. rer. pol. Theodor Lettmann
M. Sc. Michael Baumann
M. Sc. Thomas Kemmerich
Dipl.-Ing. Asmir Vodencarevic
Dipl.-Inform. Yuhan Yan
Technischer Mitarbeiter
Dipl.-Ing. Gerd Brakhane
PUBLIKATIONEN
Baumann, M.; Kleine Büning, H.: State Aggregation
by Growing Neural Gas for Reinforcement Learning
in Continuous State Spaces. Proc. 10th International
Conference on Machine Learning and Applications
(ICMLA 2011), pp. 430-435, 2011
Eberling, M.; Kleine Büning, H.: Convergence Analysis
of a Multiagent Cooperation Model. Proc. 3rd
Jahresbericht 2011
International Conference on Agents and Artifi cial
Intelligence (ICAART 2011), pp. 167-172, 2011
Eberling, M.: Multi-Criteria Cooperation in Multiagent
Systems by Local Adaptation. PhD Thesis,
University of Paderborn, 2011
Heinrich, S.; Wermter, S.; Eberling, M.: Determining
Cooperation in Multiagent Systems with Cultural
Traits. Proc. 3rd International Conference on Agents
and Artifi cial Intelligence (ICAART 2011), pp. 173-
180, 2011
Kemmerich, T.; Kleine Büning, H.: Region-Based
Heuristics for an Iterative Partitioning Problem in
Multiagent Systems. Proc. 3rd International Conference
on Agents and Artifi cial Intelligence (ICAART
2011), pp. 200-205, 2011
Kemmerich, T.; Kleine Büning, H.: A Convergent
Multiagent Reinforcement Learning Approach for a
Subclass of Cooperative Stochastic Games. Proc.
Adaptive and Learning Agents Workshop 2011
(ALA@AAMAS 2011), pp. 75-82, 2011
Kemmerich, T.; Kleine Büning, H.: Coordination in
Large Multiagent Reinforcement Learning Problems.
Proc. IEEE/WIC/ACM Intl. Conf. on Intelligent Agent
Technology (IAT’11), pp. 236-239, 2011
Kemmerich, T.; Kleine Büning, H.: On the Power of
Global Reward Signals in Reinforcement Learning.
Proc. Multiagent System Technologies (MATES
2011). Springer LNAI 6973, pp. 53-64, 2011
Kleine Büning, H.; Zhao, X:; Bubeck, U.: Transformations
into Normal Forms for Quantifi ed Circuits.
Proc. 14th Intl. Conf. on Theory and Applications
of Satisfi ability Testing (SAT 2011), Springer LNCS
6695, pp. 245-258, 2011
Lettmann, T.; Baumann, M.; Eberling, M.; Kemmerich,
T.: Modeling Agents and Agent Systems.
Transactions on Computational Collective Intelligence
V. Springer, LNCS 6910, pp. 157-181, 2011
Maier, A.; Vodencarevic, A.; Niggemann, O.:
Anomaly Detection in Production Plants Using
Timed Automata. Proc. 8th International Conference
on Informatics in Control, Automation and Robotics
(ICINCO 2011), pp. 363-369, 2011
Niggemann, O.; Maier, A.; Vodencarevic, A.;
Jantscher, B.: Fighting the Modeling Bottleneck
– Learning Models for Production Plants. Proc.
Model-Based Development of Embedded Systems
(MBEES 2011), pp. 157-166, 2011
Vodencarevic, A.; Kleine Büning, H.; Niggemann, O.;
Maier, A.: Identifying Behavior Models for Process
Plants. Proc. 16th IEEE International Conference on
Emerging Technologies and Factory Automation
(ETFA 2011), pp. 1-8, 2011
Vodencarevic, A.; Kleine Büning, H.; Niggemann,
O.; Maier, A.: Using Behavior Models for Anomaly
Detection in Hybrid Systems. Proc. 23rd International
Symposium on Information, Communication and
Automation Technologies (ICAT 2011), pp. 1-8, 2011
PROMOTIONEN
Eberling, Markus
Multi-Criteria Cooperation in Multiagent Systems by
Local Adaptation
15. Juli 2011
GASTAUFENTHALTE
H. Kleine Büning
Institute of Logic and Cognition, Sun Yat-sen University,
Guangzhou, P.R.China, Februar 2011
TAGUNGEN, SEMINARE, MESSEN
14th International Conference on Theory and
Applications of Satisfi ability Testing (SAT 2011),
Ann Arbor, USA, Juni 2011 (Program Committee)
WEITERE FUNKTIONEN
Stellvertretender Institutsleiter des „Instituts für
Informatik“
Mitglied des Vorstandes der „International Graduate
School of Dynamic Intelligent Systems“
Mitglied des Vorstandes des „Paderborn Institute
for Advanced Studies in Computer Science and
Engineering“ (PACE)
Mitglied des Vorstandes des „Software Quality
Lab“ (s-lab)
Mitglied des Editorial Board des zweisprachigen
chinesisch-englischen Journals „Studies in Logic“,
herausgegeben vom Institute of Logic and Cognition,
Sun Yat-sen University, P.R.China
Erster Vorsitzender des Vereins „Satisfi ability:
Applications and Theory (SAT) e.V.“
AKTUELLE FORSCHUNGSPROJEKTE
SFB 901 On-The-Fly Computing, Teilprojekt B2:
Konfi guration und Bewertung