Patrick Krümpelmann

According to our database, Patrick Krümpelmann authored at least 16 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Belief revision, non-monotonic reasoning and secrecy for epistemic agents.

Patrick Krümpelmann

PhD thesis, 2015

2014

Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions.

Joachim Biskup, Gabriele Kern-Isberner, Patrick Krümpelmann, Cornelia Tadros

Proceedings of the Foundations of Information and Knowledge Systems, 2014

Angerona - A Flexible Multiagent Framework for Knowledge-Based Agents.

Patrick Krümpelmann, Tim Janus, Gabriele Kern-Isberner

Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

2013

Secrecy Preserving BDI Agents Based on Answerset Programming.

Patrick Krümpelmann, Gabriele Kern-Isberner

Proceedings of the Multiagent System Technologies - 11th German Conference, 2013

Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs.

Ella Albrecht, Patrick Krümpelmann, Gabriele Kern-Isberner

Proceedings of the Declarative Programming and Knowledge Management, 2013

2012

Dependency semantics for sequences of extended logic programs.

Patrick Krümpelmann

Log. J. IGPL, 2012

Selective revision with multiple informants and argumentative support.

Luciano Héctor Tamargo, Alejandro Javier García, Matthias Thimm, Patrick Krümpelmann

Inteligencia Artif., 2012

Belief Base Change Operations for Answer Set Programming.

Patrick Krümpelmann, Gabriele Kern-Isberner

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011

Argonauts: a working system for motivated cooperative agents.

Daniel Hölzgen, Thomas Vengels, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner

Ann. Math. Artif. Intell., 2011

Selective Revision by Deductive Argumentation.

Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari

Proceedings of the Theorie and Applications of Formal Argumentation, 2011

Motivating Agents in Unreliable Environments: A Computational Model.

Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Regina Fritsch

Proceedings of the Multiagent System Technologies - 9th German Conference, 2011

On Influence and Contractions in Defeasible Logic Programming.

Diego R. García, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro Javier García

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets.

Gabriele Kern-Isberner, Patrick Krümpelmann

Proceedings of the IJCAI 2011, 2011

2009

Forwarding Credible Information in Multi-agent Systems.

Patrick Krümpelmann, Luciano H. Tamargo, Alejandro Javier García, Marcelo A. Falappa

Proceedings of the Knowledge Science, 2009

Know-how for motivated BDI agents.

Matthias Thimm, Patrick Krümpelmann

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

Belief operations for motivated BDI agents.

Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp, Gabriele Kern-Isberner

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008