@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.