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
My public PGP key

Research interests

I am a PhD student in the information engineering group at the chair for logic in computer science at the TU Dortmund. My current research focus lies on non-classical, i.e. non-monotonic, logic based techniques and their application for rational agency. In particular I am interested in the development of such formalisms with respect to ressource bounded communicating agents in uncertain environments. This involves formal methods of belief base change and argumentation, agent models and default reasoning by answerset programming. Further, I am working on secrecy in multiagent systems and am a member of a project dedicated to this topic (Project A5 in the Collaborative Research Center 876). In that project we developed the plug-in based multiagent propramming framework for logic-based agents Angerona which is based on the Tweety collection of Java libraries for logical aspects of artificial intelligence and knowledge representation.

Teaching

Supervised Master thesis'

  • Sebastian Homann "Argumentation based selective revision of extended logic programs" (2013)
  • Tim Janus "Resource-bounded Planning of Communication under Confidentiality Constraints for BDI Agents" (2013)
  • Daniel Hölzgen: "A multiagent approach to privacy preservation in the collection of extended floating car data for traffic prognosis" (2012)
  • Tobias Sudhölter "Evaluation of motivierted agents" (2012)
  • Mirja Böhmer "Evaluation of approaches to belief change in ASP knowldege bases" (2011)
  • Eva Lai "ABA - An argumentation based agentmodel (2010)
  • Regina Fritsch "Conception and implementation of rational agents based on know-how and motivation" (2009)
  • Max Vorderstemann "Application of an argumentation based dependency theory to preferential semantics of logic programs" (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'

  • Benedict Börger " Conceptualization and evaluation of secrecy preserving agents in an E-Market scenario with answerset programming" (2014)
  • Manuel Barbi " Implementation of a Motivation Component for knowledge-based Agents " (2014)
  • Ella Albrecht "Dependency graphs and explanations for answerset programming" (2012)
  • Oliver Jungeilges "Belief change and the verification of secruity protocols" (2010)
  • Sebastian Homann "Action and Change - Update of Action descriptions" (2010)
  • Dirk Schalge "Action and Change - Answersets for the explanation of observations after actions" (2010)

Lectures and Seminars

  • 2012 summer:    Internship supervisor for the DAAD RISE Project "Preserving Confidentiality in Multiagent Systems"
  • 2011 winter:    Commonsense Reasoning in Dynamic Environments (teaching assistance)
  • 2010 winter:    Representation, Processing and Acquisition of Knowledge (teaching assistance)
  • 2010 summer:    Projectgroup 545 - Developement of cooperative Multiagentagentsystems
  • 2009 winter:    Projectgroup 545 - Developement of cooperative Multiagentagentsystems
  • 2008 winter:    Representation, Processing and Acquisition of Knowledge (teaching assistance)
  • 2008 winter:    Multiagentensystems (teaching assistance)
  • 2008 summer:    Commonsense Reasoning (teaching assistance)
  • 2008 summer:    Intelligent Agents (teaching assistance)
  • 2007 summer:    Ontologies in Computerscience and Linguistics (teaching assistance)

Publications

2014

  • Krümpelmann, Patrick and Janus, Tim and Kern-Isberner, Gabriele. Angerona - A flexible Multiagent Framework for Knowledge-based Agents. In Bulling, Nils (editors), Proceedings of the 12th European Conference on Multi-Agent Systems, Vol. to appear, Springer, 2014.
  • Joachim Biskup, Gabriele Kern-Isberner, Patrick Krümpelmann and Cornelia Tadros. Reasoning on secrecy constraints under uncertainty to classify possible actions. In C. Beierle and C. Meghini, editors, 8th Proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems (FoIKS2014), volume to appear of LNCS. Springer, 2014.

2013

  • Luciano H. Tamargo, Matthias Thimm, Patrick Krümpelmann, Alejandro J. Garcia, Marcelo Falappa, Guillermo R. Simari, Gabriele Kern-Isberner. Credibility-based Selective Revision by Deductive Argumentation in Multi-agent Systems. In Eduardo L. Ferme, Dov M. Gabbay, Guillermo R. Simari (Eds.), Trends in Belief Revision and Argumentation Dynamics, College Publications, 2013.
  • Patrick Krümpelmann and Gabriele Kern-Isberner. Secrecy preserving BDI agents based on Answerset Programming. In Proceedings of the 11th German Conference on Multi-Agent System Technologies (MATES’13), volume to appear of Lecture Notes in Computer Science. Springer, 2013.
  • Ella Albrecht, Patrick Krümpelmann and Gabriele Kern-Isberner. Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs. 27th Workshop on Logic Programming, 2013.

2012

  • Patrick Krümpelmann and Gabriele Kern-Isberner. Belief Base Change Operations for Answer Set Programming. In Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA'12).
  • Luciano H. Tamargo, Alejandro J. Garcia, Matthias Thimm, Patrick Krümpelmann. Selective revision with multiple informants and argumentative support. In Inteligencia Artificial, 50:4-17, 2012.
  • Patrick Krümpelmann and Gabriele Kern-Isberner. On Agent-based Epistemic Secrecy. In Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'12).
  • Patrick Krümpelmann and Gabriele Kern-Isberner. Belief Base Change Operations for Answer Set Programming. In Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'12).
  • Patrick Krümpelmann. Dependency Semantics for Sequences of Extended Logic Programs. Logic Journal of the IGPL. Oxford Journals. doi:10.1093/jigpal/jzs012

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). Lecture Notes in Computer Science, 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 22nd 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. Formal Argumentation - First International Workshop on Theory and Application, (TAFA'11), Barcelona, Spain, July 16-17, 2011, Revised Selected Papers, Lecture Notes in Computer Science, Springer.
  • 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.
  • 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.