Martin Diller
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
- [j2]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) - 2017
- [c6]Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran:
Solving Advanced Argumentation Problems with Answer-Set Programming. AAAI 2017: 1077-1083 - [c5]Martin Diller, Anthony Hunter:
Encoding monotonic multiset preferences using CI-nets. BTW (Workshops) 2017: 169-180 - [c4]
- 2016
- [i1]Martin Diller, Anthony Hunter:
Encoding monotonic multi-set preferences using CI-nets: preliminary report. CoRR abs/1611.02885 (2016) - 2015
- [j1]Martin Diller, Johannes Peter Wallner, Stefan Woltran:
Reasoning in abstract dialectical frameworks using quantified Boolean formulas. Argument & Computation 6(2): 149-177 (2015) - [c3]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 - 2014
- [c2]Martin Diller, Johannes Peter Wallner, Stefan Woltran:
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas. COMMA 2014: 241-252 - 2013
- [c1]Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish:
Tableaux for Verification of Data-Centric Processes. TABLEAUX 2013: 28-43
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-18 00:26 CEST by the dblp team