publications.bib

  @inproceedings{HaretWallner18,
      author    = {Adrian Haret and
                   Johannes Wallner},
      title     = {Manipulation of Semantic Aggregation Procedures for Propositional
                    Knowledge Bases and Argumentation Frameworks},
      booktitle = {Proceedings of the 17th International Workshop on Non-Monotonic Reasoning, {NMR 2018}, 
                    Tempe, October 27-29, 2018},
      pages     = {146-155},
      year      = {2018},
      url       = {http://www4.uma.pt/nmr2018/NMR2018Proceedings.pdf},
  @inproceedings{HaretW18,
      author    = {Adrian Haret and
                   Stefan Woltran},
      title     = {Belief Revision Operators with Varying Attitudes Towards Initial Beliefs},
      booktitle = {Proceedings of the 17th International Workshop on Non-Monotonic Reasoning, {NMR 2018}, 
                    Tempe, October 27-29, 2018},
      pages     = {156-165},
      year      = {2018},
      url       = {http://www4.uma.pt/nmr2018/NMR2018Proceedings.pdf},
  @inproceedings{DBLP:conf/ijcai/HaretWW18,
      author    = {Adrian Haret and
                   Johannes Peter Wallner and
                   Stefan Woltran},
      title     = {Two Sides of the Same Coin: Belief Revision and Enforcing Arguments},
      booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
                   Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
                   Sweden.},
      pages     = {1854--1860},
      year      = {2018},
      crossref  = {DBLP:conf/ijcai/2018},
      url       = {https://doi.org/10.24963/ijcai.2018/256},
      doi       = {10.24963/ijcai.2018/256},
      timestamp = {Sat, 28 Jul 2018 14:39:21 +0200},
      biburl    = {https://dblp.org/rec/bib/conf/ijcai/HaretWW18},
      bibsource = {dblp computer science bibliography, https://dblp.org}  }
  @inproceedings{DBLP:conf/ijcai/CreignouHPW18,
      author    = {Nadia Creignou and
                   Adrian Haret and
                   Odile Papini and
                   Stefan Woltran},
      title     = {Belief Update in the Horn Fragment},
      booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
                   Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
                   Sweden.},
      pages     = {1781--1787},
      year      = {2018},
      crossref  = {DBLP:conf/ijcai/2018},
      url       = {https://doi.org/10.24963/ijcai.2018/246},
      doi       = {10.24963/ijcai.2018/246},  }
  @article{DBLP:journal/jacm/DelgrandePW18,
  author    = {James P. Delgrande and
               Pavlos Peppas and
               Stefan Woltran},
  title     = {General Belief Revision},
  journal   = {J. {ACM}},
  volume    = {65},
  number    = {5},
  pages     = {29:1--29:34},
  year      = {2018},
  url       = {https://doi.org/10.1145/3203409},
  doi       = {10.1145/3203409},
  timestamp = {Wed, 21 Nov 2018 12:44:29 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jacm/DelgrandePW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/DillerHLRW18,
  author    = {Martin Diller and
               Adrian Haret and
               Thomas Linsbichler and
               Stefan R{\"{u}}mmele and
               Stefan Woltran},
  title     = {An extension-based approach to belief revision in abstract argumentation},
  journal   = {Int. J. Approx. Reasoning},
  volume    = {93},
  pages     = {395--423},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.ijar.2017.11.013},
  doi       = {10.1016/j.ijar.2017.11.013},
  timestamp = {Mon, 12 Feb 2018 16:57:58 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ijar/DillerHLRW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aldt/Haret17,
  author    = {Adrian Haret},
  title     = {Logic-Based Merging in Fragments of Classical Logic with Inputs from
               Social Choice Theory},
  booktitle = {Algorithmic Decision Theory - 5th International Conference, {ADT}
               2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings},
  pages     = {374--378},
  year      = {2017},
  crossref  = {DBLP:conf/aldt/2017},
  url       = {https://doi.org/10.1007/978-3-319-67504-6_30},
  doi       = {10.1007/978-3-319-67504-6_30},
  timestamp = {Wed, 18 Oct 2017 20:36:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aldt/Haret17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aldt/2017,
  editor    = {J{\"{o}}rg Rothe},
  title     = {Algorithmic Decision Theory - 5th International Conference, {ADT}
               2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10576},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-67504-6},
  doi       = {10.1007/978-3-319-67504-6},
  isbn      = {978-3-319-67503-9},
  timestamp = {Wed, 18 Oct 2017 20:35:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aldt/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HaretW17,
  author    = {Adrian Haret and
               Stefan Woltran},
  title     = {Deviation in Belief Change on Fragments of Propositional Logic},
  booktitle = {Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief
               {(DKB-2017)} and the 5th Workshop {KI} {\&} Kognition {(KIK-2017)}
               co-located with 40th German Conference on Artificial Intelligence
               {(KI} 2017), Dortmund, Germany, September 26, 2017.},
  pages     = {64--76},
  year      = {2017},
  crossref  = {DBLP:conf/ki/2017kik},
  url       = {http://ceur-ws.org/Vol-1928/paper6.pdf},
  timestamp = {Wed, 27 Sep 2017 12:08:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/HaretW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2017kik,
  editor    = {Christoph Beierle and
               Gabriele Kern{-}Isberner and
               Marco Ragni and
               Frieder Stolzenburg},
  title     = {Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief
               {(DKB-2017)} and the 5th Workshop {KI} {\&} Kognition {(KIK-2017)}
               co-located with 40th German Conference on Artificial Intelligence
               {(KI} 2017), Dortmund, Germany, September 26, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1928},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1928},
  urn       = {urn:nbn:de:0074-1928-1},
  timestamp = {Wed, 27 Sep 2017 12:07:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/2017kik},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GoncalvesKLW17,
  author    = {Ricardo Gon{\c{c}}alves and
               Matthias Knorr and
               Jo{\~{a}}o Leite and
               Stefan Woltran},
  title     = {When you must forget: Beyond strong persistence when forgetting in
               answer set programming},
  journal   = {{TPLP}},
  volume    = {17},
  number    = {5-6},
  pages     = {837--854},
  year      = {2017},
  url       = {https://doi.org/10.1017/S1471068417000382},
  doi       = {10.1017/S1471068417000382},
  timestamp = {Mon, 06 Nov 2017 16:49:54 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/GoncalvesKLW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HaretRW17,
  author    = {Adrian Haret and
               Stefan R{\"{u}}mmele and
               Stefan Woltran},
  title     = {Merging in the Horn Fragment},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {18},
  number    = {1},
  pages     = {6:1--6:32},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3043700},
  doi       = {10.1145/3043700},
  timestamp = {Thu, 20 Apr 2017 18:00:17 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/HaretRW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BrewkaMW16,
  author    = {Gerhard Brewka and
               Jean{-}Guy Mailly and
               Stefan Woltran},
  title     = {Translation-Based Revision and Merging for Minimal Horn Reasoning},
  booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
               29 August-2 September 2016, The Hague, The Netherlands - Including
               Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
  pages     = {734--742},
  year      = {2016},
  crossref  = {DBLP:conf/ecai/2016},
  url       = {http://dx.doi.org/10.3233/978-1-61499-672-9-734},
  doi       = {10.3233/978-1-61499-672-9-734},
  timestamp = {Tue, 30 Aug 2016 11:14:30 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/BrewkaMW16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HaretPW16,
  author    = {Adrian Haret and
               Andreas Pfandler and
               Stefan Woltran},
  title     = {Beyond {IC} Postulates: Classification Criteria for Merging Operators},
  booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
               29 August-2 September 2016, The Hague, The Netherlands - Including
               Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
  pages     = {372--380},
  year      = {2016},
  crossref  = {DBLP:conf/ecai/2016},
  url       = {https://doi.org/10.3233/978-1-61499-672-9-372},
  doi       = {10.3233/978-1-61499-672-9-372},
  timestamp = {Wed, 24 May 2017 08:27:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/HaretPW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2016,
  editor    = {Gal A. Kaminka and
               Maria Fox and
               Paolo Bouquet and
               Eyke H{\"{u}}llermeier and
               Virginia Dignum and
               Frank Dignum and
               Frank van Harmelen},
  title     = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
               29 August-2 September 2016, The Hague, The Netherlands - Including
               Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {285},
  publisher = {{IOS} Press},
  year      = {2016},
  isbn      = {978-1-61499-671-2},
  timestamp = {Tue, 30 Aug 2016 10:30:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/tocl/CreignouPRW16,
  author    = {Nadia Creignou and
               Odile Papini and
               Stefan R{\"{u}}mmele and
               Stefan Woltran},
  title     = {Belief Merging within Fragments of Propositional Logic},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {17},
  number    = {3},
  pages     = {20},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2898436},
  doi       = {10.1145/2898436},
  timestamp = {Wed, 10 Aug 2016 16:02:51 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tocl/CreignouPRW16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HaretMW16,
  author    = {Adrian Haret and
               Jean{-}Guy Mailly and
               Stefan Woltran},
  title     = {Distributing Knowledge into Simple Bases},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  pages     = {1109--1115},
  year      = {2016},
  crossref  = {DBLP:conf/ijcai/2016},
  url       = {http://www.ijcai.org/Abstract/16/161},
  timestamp = {Fri, 15 Jul 2016 15:58:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/HaretMW16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2016,
  editor    = {Subbarao Kambhampati},
  title     = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  publisher = {{IJCAI/AAAI} Press},
  year      = {2016},
  url       = {http://www.ijcai.org/Proceedings/2016},
  isbn      = {978-1-57735-770-4},
  timestamp = {Fri, 15 Jul 2016 15:25:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kr/DelobelleHKMRW16,
  author    = {J\'{e}r\^{o}me Delobelle and 
               Adrian Haret and
               S\'{e}bastien Konieczny and 
               Jean-Guy Mailly and 
               Julien Rossit and 
               Stefan Woltran},
  title     = {Merging of Abstract Argumentation Frameworks},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 
               KR 2016, Cape Town, South Africa, April 25-29, 2016},
}
@inproceedings{DBLP:conf/ijcai/HaretRW15,
  author    = {Adrian Haret and
               Stefan R{\"{u}}mmele and
               Stefan Woltran},
  title     = {Merging in the Horn Fragment},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  pages     = {3041--3047},
  year      = {2015},
  crossref  = {DBLP:conf/ijcai/2015},
  url       = {http://ijcai.org/papers15/Abstracts/IJCAI15-429.html},
  timestamp = {Mon, 20 Jul 2015 19:12:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/HaretRW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DillerHLRW15,
  author    = {Martin Diller and
               Adrian Haret and
               Thomas Linsbichler and
               Stefan R{\"{u}}mmele and
               Stefan Woltran},
  title     = {An Extension-Based Approach to Belief Revision in Abstract Argumentation},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  pages     = {2926--2932},
  year      = {2015},
  crossref  = {DBLP:conf/ijcai/2015},
  url       = {http://ijcai.org/papers15/Abstracts/IJCAI15-414.html},
  timestamp = {Mon, 20 Jul 2015 19:12:39 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/DillerHLRW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PfandlerRWW15,
  author    = {Andreas Pfandler and
               Stefan R{\"{u}}mmele and
               Johannes Peter Wallner and
               Stefan Woltran},
  title     = {On the Parameterized Complexity of Belief Revision},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  pages     = {3149--3155},
  year      = {2015},
  crossref  = {DBLP:conf/ijcai/2015},
  url       = {http://ijcai.org/papers15/Abstracts/IJCAI15-444.html},
  timestamp = {Mon, 20 Jul 2015 19:12:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/PfandlerRWW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2015,
  editor    = {Qiang Yang and
               Michael Wooldridge},
  title     = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  publisher = {{AAAI} Press},
  year      = {2015},
  isbn      = {978-1-57735-738-4},
  timestamp = {Mon, 20 Jul 2015 19:11:50 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ai/DunneDLW15,
  author    = {Paul E. Dunne and
               Wolfgang Dvor{\'{a}}k and
               Thomas Linsbichler and
               Stefan Woltran},
  title     = {Characteristics of multiple viewpoints in abstract argumentation},
  journal   = {Artif. Intell.},
  volume    = {228},
  pages     = {153--178},
  year      = {2015},
  url       = {http://dx.doi.org/10.1016/j.artint.2015.07.006},
  doi       = {10.1016/j.artint.2015.07.006},
  timestamp = {Sun, 23 Aug 2015 14:23:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ai/DunneDLW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CreignouPRW14,
  author    = {Nadia Creignou and
               Odile Papini and
               Stefan R{\"{u}}mmele and
               Stefan Woltran},
  title     = {Belief merging within fragments of propositional logic},
  booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
               18-22 August 2014, Prague, Czech Republic - Including Prestigious
               Applications of Intelligent Systems {(PAIS} 2014)},
  pages     = {231--236},
  year      = {2014},
  crossref  = {DBLP:conf/ecai/2014},
  url       = {http://dx.doi.org/10.3233/978-1-61499-419-0-231},
  doi       = {10.3233/978-1-61499-419-0-231},
  timestamp = {Thu, 11 Sep 2014 16:14:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/CreignouPRW14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{HaretRW15TechRep,
  author    = {Adrian Haret and
               Stefan R{\"{u}}mmele and
               Stefan Woltran},
  title     = {Merging in the Horn Fragment},
  booktitle = {DBAI technical Report}
}
@proceedings{DBLP:conf/ecai/2014,
  editor    = {Torsten Schaub and
               Gerhard Friedrich and
               Barry O'Sullivan},
  title     = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
               18-22 August 2014, Prague, Czech Republic - Including Prestigious
               Applications of Intelligent Systems {(PAIS} 2014)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {263},
  publisher = {{IOS} Press},
  year      = {2014},
  isbn      = {978-1-61499-418-3},
  timestamp = {Thu, 11 Sep 2014 15:40:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{CreignouPRW14b,
  author = {Nadia Creignou and
               Odile Papini and
               Stefan R{\"u}mmele and
               Stefan Woltran},
  title = {Belief merging within fragments of propositional logic},
  booktitle = {15th International Workshop on Non-Monotonic Reasoning (NMR
               2014), Vienna, Austria, July 17-19, 2014},
  year = {2014}
}
@article{DBLP:journals/jcss/CreignouPPW14,
  author = {Nadia Creignou and
               Odile Papini and
               Reinhard Pichler and
               Stefan Woltran},
  title = {Belief revision within fragments of propositional logic},
  journal = {J. Comput. Syst. Sci.},
  volume = {80},
  number = {2},
  year = {2014},
  pages = {427-449},
  ee = {http://dx.doi.org/10.1016/j.jcss.2013.08.002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@mastersthesis{Haret14,
    author = {Adrian Haret},
    school = {TU Wien},
    title = {Merging in the Horn fragment},
    year = {2014}
}
@inproceedings{DBLP:conf/kr/DunneDLW14,
  author    = {Paul E. Dunne and
               Wolfgang Dvor{\'{a}}k and
               Thomas Linsbichler and
               Stefan Woltran},
  title     = {Characteristics of Multiple Viewpoints in Abstract Argumentation},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
               July 20-24, 2014},
  year      = {2014},
  crossref  = {DBLP:conf/kr/2014},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7871},
  timestamp = {Thu, 31 Jul 2014 10:35:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/kr/DunneDLW14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kr/2014,
  editor    = {Chitta Baral and
               Giuseppe De Giacomo and
               Thomas Eiter},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
               July 20-24, 2014},
  publisher = {{AAAI} Press},
  year      = {2014},
  url       = {http://www.aaai.org/Library/KR/kr14contents.php},
  isbn      = {978-1-57735-657-8},
  timestamp = {Thu, 31 Jul 2014 10:24:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/kr/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DelgrandePW13,
  author = {James P. Delgrande and
               Pavlos Peppas and
               Stefan Woltran},
  title = {{AGM}-Style Belief Revision of Logic Programs under Answer
               Set Semantics},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International
               Conference, LPNMR 2013, Corunna, Spain, September 15-19,
               2013. Proceedings},
  year = {2013},
  pages = {264-276},
  ee = {http://dx.doi.org/10.1007/978-3-642-40564-8_27},
  editor = {Pedro Cabalar and
               Tran Cao Son},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {8148},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DunneDLW13,
  author = {Paul E. Dunne and
               Wolfgang Dvo\v{r}{\'a}k and
               Thomas Linsbichler and
               Stefan Woltran},
  title = {Characteristics of Multiple Viewpoints in Abstract Argumentation},
  booktitle = {4th Workshop on Dynamics of Knowledge and Belief (DKB 2013)},
  year = {2013},
  comeditor = {Christoph Beierle and Gabriele Kern-Isberner},
  pages = {16--30},
  note = {Available under \url{http://www.dbai.tuwien.ac.at/staff/linsbich/pubs/dkb_2013.pdf}}
}
@inproceedings{DBLP:conf/ijcai/CreignouPW13,
  author = {Nadia Creignou and
               Reinhard Pichler and
               Stefan Woltran},
  title = {Do Hard {SAT}-Related Reasoning Tasks Become Easier in the
               {Krom} Fragment?},
  booktitle = {IJCAI 2013, Proceedings of the 23rd International Joint
               Conference on Artificial Intelligence, Beijing, China, August
               3-9, 2013},
  year = {2013},
  ee = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6622},
  editor = {Francesca Rossi},
  publisher = {IJCAI/AAAI},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/tocl/DelgrandeSTW13,
  author = {James P. Delgrande and
               Torsten Schaub and
               Hans Tompits and
               Stefan Woltran},
  title = {A Model-Theoretic Approach to Belief Change in Answer Set
               Programming},
  journal = {ACM Trans. Comput. Log.},
  volume = {14},
  number = {2},
  year = {2013},
  pages = {14},
  ee = {http://doi.acm.org/10.1145/2480759.2480766},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

This file was generated by bibtex2html 1.97.