Adrian Haret

  • Project Assistant, MSc
  • TU Wien
  • Institut für Informationssysteme 184/4
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria

  • Room: HD 03 02
  • Phone: +43/1/58801/740-069
  • Email: haret [at]
  • Web:


Humans, we are told, are irrational and there is nothing to be done about it. But if there is no hope for us, there might still be some for our robot children, who, if educated right, could grow up to be the sensible adults we never were. For that to work we first have to figure out what it means to be rational, and then write it down in ways they, the robots, will understand. What do robots understand? Mathematics, logic, algorithms. What is it that we understand? That an important part of rational behavior is being able to adapt your beliefs in light of new information, to work with what the world gives you, to cooperate with other agents. Things like these interest me.


  • Belief Change (Revision, Merging, Update), Abstract Argumentation, Social Choice
  • Logics of Preference, Decision Theory, Formal Theories of Truth, (very broadly) Philosophy of Science

Current Position

I am a Project Assistant within the project EMBArg: Extending Methods in Belief Change to Advance Dynamics of Argumentation, led by Johannes Wallner. Since May, 2015, I am an associate student of the LogiCS DK at TU Wien, under the supervision of Stefan Woltran and Thomas Eiter. I was also a research assistant in the project Fragment-Driven Belief Change, led by Stefan Woltran.


I studied Philosophy, then Mathematics and then Computational Logic. More precisely:
  • MSc in Computational Logic (2014) from TU Wien, TU Dresden and FU Bolzano within the EMCL program
  • MA in Theoretical Philosophy and Philosophy of Science (2012) from the University of Bucharest
  • BA in Theoretical Philosophy (2010) from the University of Bucharest

Conference Papers

  1. Adrian Haret, Hossein Khani, Stefano Moretti, Meltem Öztürk: Ceteris Paribus Majority for Social Ranking. IJCAI-ECAI 2018: forthcoming
  2. Adrian Haret, Johannes Wallner: Two Sides of the Same Coin: Belief Revision and Enforcing  Arguments. IJCAI-ECAI 2018: forthcoming
  3. Nadia Creignou, Adrian Haret, Odile Papini, Stefan Woltran: Belief Update in the Horn Fragment. IJCAI-ECAI 2018: forthcoming
  4. Adrian HaretLogic-Based Merging in Fragments of Classical Logic with Inputs from Social Choice Theory. ADT 2017: 374-378
  5. Adrian Haret, Stefan Woltran: Deviation in Belief Change on Fragments of Propositional Logic. DKB/KIK@KI 2017: 64-76
  6. Adrian Haret, Andreas Pfandler, Stefan Woltran. Beyond IC Postulates: Classification Criteria for Merging Operators. ECAI 2016: 372-380
  7. Adrian Haret, Jean-Guy Mailly, Stefan Woltran. Distributing Knowledge into Simple Bases. IJCAI 2016: 1109-1115
  8. Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran. Merging of Abstract Argumentation Frameworks. KR 2016: 33-42
  9. Adrian Haret, Stefan Rümmele, Stefan Woltran. Merging in the Horn Fragment. IJCAI 2015: 3041-3047
  10. Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran. An Extension-Based Approach to Belief Revision in Abstract Argumentation. IJCAI 2015: 2926-2932
  11. Adrian Haret, Stefan Rümmele, and Stefan Woltran. Merging in the Horn Fragment. DBAI Technical Report, DBAI-TR-2015-91, 2015.

Journal Papers

  1. Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran: An extension-based approach to belief revision in abstract argumentation. Int. J. Approx. Reasoning 93: 395-423 (2018)
  2. Adrian Haret, Stefan Rümmele, Stefan Woltran: Merging in the Horn Fragment. ACM Trans. Comput. Log. 18(1): 6:1-6:32 (2017)


During October - December, 2017, I was the beneficiary of a KUWI grant from TU Wien for a short-term stay abroad in Paris, at Univ. Paris-Dauphine. I was then awarded a Marietta Blau grant from the OEAD for a stay abroad, also in Paris and also at Univ. Paris-Dauphine, for the period February - July, 2018.


For a dblp record of my publications, see my dblp page. For my Google Scholar profile, see my Google Scholar profile.