ask others

Martin Diller

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c5]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/BrewkaDHLW17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/aaai/BrewkaDHLW17
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran:
Solving Advanced Argumentation Problems with Answer-Set Programming. AAAI 2017: 1077-1083
[c4]
- no documents available
- export record
  dblp key:
  - conf/btw/DillerH17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/btw/DillerH17
Martin Diller, Anthony Hunter:
Encoding monotonic multiset preferences using CI-nets. BTW (Workshops) 2017: 169-180
2016
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DillerH16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/DillerH16
Martin Diller, Anthony Hunter:
Encoding monotonic multi-set preferences using CI-nets: preliminary report. CoRR abs/1611.02885 (2016)
2015
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/argcom/DillerWW15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/argcom/DillerWW15
Martin Diller, Johannes Peter Wallner, Stefan Woltran:
Reasoning in abstract dialectical frameworks using quantified Boolean formulas. Argument & Computation 6(2): 149-177 (2015)
[c3]
- view
  - electronic edition @ ijcai.org
- export record
  dblp key:
  - conf/ijcai/DillerHLRW15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ijcai/DillerHLRW15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/comma/DillerWW14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/comma/DillerWW14
Martin Diller, Johannes Peter Wallner, Stefan Woltran:
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas. COMMA 2014: 241-252
2013
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/0002BDN13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tableaux/0002BDN13
Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish:
Tableaux for Verification of Data-Centric Processes. TABLEAUX 2013: 28-43

Coauthor Index

see FAQ

maintained by

at