Patrick Krümpelmann

Assistant Researcher

Technische Universität Dortmund
Faculty of Computer Science
Chair I - Information Engineering
44221 Dortmund, Germany
Phone: +49-231-755-6601
Fax: +49-231-755-6555

Research interests

Teaching

Lectures and Seminars

  • 2011 winter:    Commonsense Reasoning in Dynamic Environments
  • 2010 winter:    Darstellung, Verarbeitung und Erwerb von Wissen (teaching assistance)
  • 2010 summer:    Projectgroup 545 - Intelligent Cowbots
  • 2009 winter:    Projectgroup 545 - Intelligent Cowbots
  • 2008 winter:    Darstellung, Verarbeitung und Erwerb von Wissen (teaching assistance)
  • 2008 winter:    Multiagentensysteme (teaching assistance)
  • 2008 summer:    Commonsense Reasoning (teaching assistance)
  • 2008 summer:    Intelligente Agenten (teaching assistance)
  • 2007 summer:    Ontologien in Informatik und Linguistik (teaching assistance)

Supervised Master thesis

  • Tobias Sudhölter “Evaluation motivierter Agenten” (2012)
  • Mirja Böhmer “Evaluation von Ansa ̈tzen zur Wissensa ̈nderung von ASP-Wissensbasen” (2011)
  • Eva Lai “ABA - Ein argumentations basiertes Agentenmodell” (2010)
  • Regina Fritsch "Konzeption und Implementierung eines rationalen Agenten basierend auf Know-How und Motivation" (2009)
  • Max Vorderstemann “Anwendung einer argumentationsbasierten Abhängigkeitstheorie auf präferentielle Semantiken logischer Programme” (2008)
  • Iris Luhle “The RuleFit approach in comparison with common learning algorithms regarding simulated HEP data with the focus on comprehensibility” (2008)
  • Stefan Nobis “Network Techniques for Inference with Ordinal Conditional Functions” (2008)

Supervised Bachelor thesis

  • Ella Albrecht "Abh ̈angigkeitsgraphen und Erkl ̈arungen fu ̈r die Antwortmengen Programmierung" (2012)
  • Oliver Jungeilges "Wissensänderungen für die Verifikation von Sicherheitsprotokollen" (2010)
  • Sebastian Homann "Action and Change - Update von Aktionsbeschreibungen" (2010)
  • Dirk Schalge "Action and Change - Antwortmengen zur Erklärung von Beobachtungen nach Aktionen" (2010)

Publications

2012

  • Patrick Krümpelmann. Dependency Semantics for Sequences of Extended Logic Programs. Logic Journal of the IGPL. Oxford Journals. To appear.

2011

  • Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Regina Fritsch. Motivating Agents in Unreliable Environments: A Computational Model. In Proceedings of the Ninth German Conference on Multi-Agent System Technologies (MATES'11). Berlin, Germany, October 2011.
  • Gabriele Kern-Isberner and Patrick Krümpelmann. A constructive approach to independent and evidence retaining belief revision by general information sets. In Proceedings of the 22'nd International Joint Conference on Artificial Intelligence (IJCAI) 2011.
  • Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro J. Garcia, Gabriele Kern-Isberner, Guillermo R. Simari. Selective Revision by Deductive Argumentation. In Proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation (TAFA'11). Barcelona, Spain, July 2001.
  • Daniel Hölzgen, Thomas Vengels, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner. Argonauts - A Working System for Motivated Cooperative Agents. In Annals of Mathematics and Artificial Intelligence, to appear.
  • Diego R. Garcia, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, and Alejandro J. Garcia. On Influence and Contractions in Defeasible Logic Programming. In Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11). Vancouver, Canada, May 2011.

2010

  • Patrick Krümpelmann and Matthias Thimm. A Logic Programming Framework for Reasoning about Know-How.    Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR2010), May 14-16 2010, Toronto, Kanada.
  • Patrick Krümpelmann and Gabriele Kern-Isberner. On belief dynamics of dependancy relations for extended logic programs. Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR2010), May 14-16 2010, Toronto, Kanada.

2009

  • Patrick Krümpelmann, Luciano H. Tamargo, Alejandro Javier García, and Marcelo A. Falappa. Forwarding credible information in multi-agent systems. In Dimitris Karagiannis and Zhi Jin, editors, Knowledge Science, Engineering and Management, Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009. Proceedings, volume 5914 of Lecture Notes in Computer Science, pages 41–53. Springer, 2009.
  • Patrick Krümpelmann. Towards dependency semantics for conflict handling in logic programs. In Christoph Beierle and Gabriele Kern-Isberner, editors, Proceedings of the First Workshop on Relational Approaches to Knowledge Representation and Learning, pages 79– 93, Paderborn, Germany, September 2009.
  • Matthias Thimm and Patrick Krümpelmann. Know-How for Motivated BDI Agents (Extended Abstract). In Decker, Sichman, Sierra and Castelfranchi (Eds.), Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09), pages 1143-1144. Budapest, Hungary, May 2009.
  • Matthias Thimm and Patrick Krümpelmann. Know-How for Motivated BDI Agents (Extended Version). Technical Report No. 822. Technische Universität Dortmund,   February 2009.

2008

  • Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp, and Gabriele Kern-Isberner. Belief Operations for Motivated BDI Agents. In Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multi-Agent Systems 2008 (AAMAS '08), pages 421-428. Estoril, Portugal, May 2008.
  • Patrick Krümpelmann and Gabriele Kern-Isberner. Propagating Credibility in Answer Set Programs. In Proceedings of the 22nd Workshop on (Constraint) Logic Programming (WLP08). Dresden, Germany, October 2008.