2020
Marco Wilhelm and Gabriele Kern-Isberner.
Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy.
In Roman Barták and Eric Bell (eds.). Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, Originally to be held in North Miami Beach, Florida, USA, May 17-20, 2020. 2020, 593–598.
URL BibTeX@inproceedings{DBLP:conf/flairs/WilhelmK20, author = "Marco Wilhelm and Gabriele Kern{-}Isberner", editor = "Roman Bart{\'{a}}k and Eric Bell", title = "Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy", booktitle = "Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, Originally to be held in North Miami Beach, Florida, USA, May 17-20, 2020", pages = "593--598", publisher = "{AAAI} Press", year = 2020, url = "https://aaai.org/ocs/index.php/FLAIRS/FLAIRS20/paper/view/18505", timestamp = "Thu, 04 Jun 2020 14:36:27 +0200", biburl = "https://dblp.org/rec/conf/flairs/WilhelmK20.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Meliha Sezgin and Gabriele Kern-Isberner.
Generalized Ranking Kinematics for Iterated Belief Revision.
In Roman Barták and Eric Bell (eds.). Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, Originally to be held in North Miami Beach, Florida, USA, May 17-20, 2020. 2020, 587–592.
URL BibTeX@inproceedings{DBLP:conf/flairs/SezginK20, author = "Meliha Sezgin and Gabriele Kern{-}Isberner", editor = "Roman Bart{\'{a}}k and Eric Bell", title = "Generalized Ranking Kinematics for Iterated Belief Revision", booktitle = "Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, Originally to be held in North Miami Beach, Florida, USA, May 17-20, 2020", pages = "587--592", publisher = "{AAAI} Press", year = 2020, url = "https://aaai.org/ocs/index.php/FLAIRS/FLAIRS20/paper/view/18504", timestamp = "Thu, 04 Jun 2020 14:36:27 +0200", biburl = "https://dblp.org/rec/conf/flairs/SezginK20.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Jesse Heyninck, Gabriele Kern-Isberner and Matthias Thimm.
On the Correspondence Between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics.
In The Thirty-Third International Flairs Conference. 2020.
URL BibTeX@inproceedings{heyninck2020correspondence, title = "On the Correspondence Between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics", author = "Heyninck, Jesse and Kern-Isberner, Gabriele and Thimm, Matthias", booktitle = "The Thirty-Third International Flairs Conference", year = 2020, url = "https://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS20/paper/viewPaper/18502" }
2019
Thomas Eiter and Gabriele Kern-Isberner.
A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective.
KI 33(1):9–33, 2019.
URL, DOI BibTeX@article{DBLP:journals/ki/EiterK19, author = "Thomas Eiter and Gabriele Kern{-}Isberner", title = "A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective", journal = "{KI}", volume = 33, number = 1, pages = "9--33", year = 2019, url = "https://doi.org/10.1007/s13218-018-0564-6", doi = "10.1007/s13218-018-0564-6", timestamp = "Mon, 18 Mar 2019 16:09:05 +0100", biburl = "https://dblp.org/rec/bib/journals/ki/EiterK19", bibsource = "dblp computer science bibliography, https://dblp.org" }
Lena Rolf, Gabriele Kern-Isberner and Gerhard Brewka.
Argumentation-Based Explanations for Answer Sets Using ADF.
In Marcello Balduccini, Yuliya Lierler and Stefan Woltran (eds.). Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings 11481. 2019, 89–102.
URL, DOI BibTeX@inproceedings{DBLP:conf/lpnmr/RolfKB19, author = "Lena Rolf and Gabriele Kern{-}Isberner and Gerhard Brewka", editor = "Marcello Balduccini and Yuliya Lierler and Stefan Woltran", title = "Argumentation-Based Explanations for Answer Sets Using {ADF}", booktitle = "Logic Programming and Nonmonotonic Reasoning - 15th International Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings", series = "Lecture Notes in Computer Science", volume = 11481, pages = "89--102", publisher = "Springer", year = 2019, url = "https://doi.org/10.1007/978-3-030-20528-7\_8", doi = "10.1007/978-3-030-20528-7\_8", timestamp = "Fri, 31 May 2019 09:51:40 +0200", biburl = "https://dblp.org/rec/conf/lpnmr/RolfKB19.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle and Kai Sauerwald.
Axiomatic Evaluation of Epistemic Forgetting Operators.
In Roman Barták and Keith W Brawner (eds.). Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019. 2019, 470–475.
URL BibTeX@inproceedings{DBLP:conf/flairs/Kern-IsbernerBB19, author = "Gabriele Kern{-}Isberner and Tanja Bock and Christoph Beierle and Kai Sauerwald", editor = "Roman Bart{\'{a}}k and Keith W. Brawner", title = "Axiomatic Evaluation of Epistemic Forgetting Operators", booktitle = "Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019", pages = "470--475", publisher = "{AAAI} Press", year = 2019, url = "https://aaai.org/ocs/index.php/FLAIRS/FLAIRS19/paper/view/18231", timestamp = "Thu, 30 May 2019 16:30:34 +0200", biburl = "https://dblp.org/rec/conf/flairs/Kern-IsbernerBB19.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald and Christoph Beierle.
Belief Change Properties of Forgetting Operations over Ranking Functions.
In Abhaya C Nayak and Alok Sharma (eds.). PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I 11670. 2019, 459–472.
URL, DOI BibTeX@inproceedings{DBLP:conf/pricai/Kern-IsbernerBS19, author = "Gabriele Kern{-}Isberner and Tanja Bock and Kai Sauerwald and Christoph Beierle", editor = "Abhaya C. Nayak and Alok Sharma", title = "Belief Change Properties of Forgetting Operations over Ranking Functions", booktitle = "{PRICAI} 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part {I}", series = "Lecture Notes in Computer Science", volume = 11670, pages = "459--472", publisher = "Springer", year = 2019, url = "https://doi.org/10.1007/978-3-030-29908-8\_37", doi = "10.1007/978-3-030-29908-8\_37", timestamp = "Wed, 25 Sep 2019 18:21:16 +0200", biburl = "https://dblp.org/rec/conf/pricai/Kern-IsbernerBS19.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke and Franz Baader.
Counting Strategies for the Probabilistic Description Logic \emphALC{\^}\textbackslashmathsf ME Under the Principle of Maximum Entropy.
In Francesco Calimeri, Nicola Leone and Marco Manna (eds.). Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings 11468. 2019, 434–449.
URL, DOI BibTeX@inproceedings{DBLP:conf/jelia/WilhelmKEB19, author = "Marco Wilhelm and Gabriele Kern{-}Isberner and Andreas Ecke and Franz Baader", editor = "Francesco Calimeri and Nicola Leone and Marco Manna", title = "Counting Strategies for the Probabilistic Description Logic \emph{ALC}{\^{}}{\textbackslash}mathsf {ME} Under the Principle of Maximum Entropy", booktitle = "Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Rende, Italy, May 7-11, 2019, Proceedings", series = "Lecture Notes in Computer Science", volume = 11468, pages = "434--449", publisher = "Springer", year = 2019, url = "https://doi.org/10.1007/978-3-030-19570-0\_28", doi = "10.1007/978-3-030-19570-0\_28", timestamp = "Fri, 27 Mar 2020 08:53:33 +0100", biburl = "https://dblp.org/rec/conf/jelia/WilhelmKEB19.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer and Christoph Beierle.
Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks.
In Roman Barták and Keith W Brawner (eds.). Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019. 2019, 494–499.
URL BibTeX@inproceedings{DBLP:conf/flairs/WilhelmKFB19, author = "Marco Wilhelm and Gabriele Kern{-}Isberner and Marc Finthammer and Christoph Beierle", editor = "Roman Bart{\'{a}}k and Keith W. Brawner", title = "Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks", booktitle = "Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019", pages = "494--499", publisher = "{AAAI} Press", year = 2019, url = "https://aaai.org/ocs/index.php/FLAIRS/FLAIRS19/paper/view/18235", timestamp = "Thu, 30 May 2019 16:30:34 +0200", biburl = "https://dblp.org/rec/conf/flairs/WilhelmKFB19.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Tung Bui (ed.).
52nd Hawaii International Conference on System Sciences, HICSS 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019
. ScholarSpace / AIS Electronic Library (AISeL), 2019.
URL BibTeX@proceedings{DBLP:conf/hicss/2019, editor = "Tung Bui", title = "52nd Hawaii International Conference on System Sciences, {HICSS} 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019", publisher = "ScholarSpace / {AIS} Electronic Library (AISeL)", year = 2019, url = "https://scholarspace.manoa.hawaii.edu/handle/10125/59440", timestamp = "Wed, 10 Apr 2019 08:36:41 +0200", biburl = "https://dblp.org/rec/bib/conf/hicss/2019", bibsource = "dblp computer science bibliography, https://dblp.org" }
Christof Thim, Norbert Gronau, Annette Kluge, Eric Tsui and Gabriele Kern-Isberner.
Introduction to the Minitrack on Intentional Forgetting in Organizations and Information Systems.
In 52nd Hawaii International Conference on System Sciences, HICSS 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019. 2019, 1–2.
URL BibTeX@inproceedings{DBLP:conf/hicss/ThimGKTK19, author = "Christof Thim and Norbert Gronau and Annette Kluge and Eric Tsui and Gabriele Kern{-}Isberner", title = "Introduction to the Minitrack on Intentional Forgetting in Organizations and Information Systems", booktitle = "52nd Hawaii International Conference on System Sciences, {HICSS} 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019", pages = "1--2", year = 2019, crossref = "DBLP:conf/hicss/2019", url = "http://hdl.handle.net/10125/60340", timestamp = "Wed, 10 Apr 2019 08:36:41 +0200", biburl = "https://dblp.org/rec/bib/conf/hicss/ThimGKTK19", bibsource = "dblp computer science bibliography, https://dblp.org" }
Marco Wilhelm and Gabriele Kern-Isberner.
Maximum Entropy Calculations for the Probabilistic Description Logic \textdollar\textdollar\textbackslashmathcal ALC{\^}{\textbackslashmathsfME}\textdollar\textdollar.
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan and Frank Wolter (eds.). Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday 11560. 2019, 588–609.
URL, DOI BibTeX@inproceedings{DBLP:conf/birthday/WilhelmK19, author = "Marco Wilhelm and Gabriele Kern{-}Isberner", editor = "Carsten Lutz and Uli Sattler and Cesare Tinelli and Anni{-}Yasmin Turhan and Frank Wolter", title = "Maximum Entropy Calculations for the Probabilistic Description Logic {\textdollar}{\textdollar}{\textbackslash}mathcal \{ALC\}{\^{}}\{{\textbackslash}mathsf\{ME\}\}{\textdollar}{\textdollar}", booktitle = "Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday", series = "Lecture Notes in Computer Science", volume = 11560, pages = "588--609", publisher = "Springer", year = 2019, url = "https://doi.org/10.1007/978-3-030-22102-7\_28", doi = "10.1007/978-3-030-22102-7\_28", timestamp = "Mon, 29 Jul 2019 16:00:26 +0200", biburl = "https://dblp.org/rec/conf/birthday/WilhelmK19.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Lars-Phillip Spiegel, Gabriele Kern-Isberner and Marco Ragni.
Rational Inference Patterns.
In Abhaya C Nayak and Alok Sharma (eds.). PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I 11670. 2019, 405–417.
URL, DOI BibTeX@inproceedings{DBLP:conf/pricai/SpiegelKR19, author = "Lars{-}Phillip Spiegel and Gabriele Kern{-}Isberner and Marco Ragni", editor = "Abhaya C. Nayak and Alok Sharma", title = "Rational Inference Patterns", booktitle = "{PRICAI} 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part {I}", series = "Lecture Notes in Computer Science", volume = 11670, pages = "405--417", publisher = "Springer", year = 2019, url = "https://doi.org/10.1007/978-3-030-29908-8\_33", doi = "10.1007/978-3-030-29908-8\_33", timestamp = "Wed, 25 Sep 2019 18:21:16 +0200", biburl = "https://dblp.org/rec/conf/pricai/SpiegelKR19.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Franz Baader, Andreas Ecke, Gabriele Kern-Isberner and Marco Wilhelm.
The Complexity of the Consistency Problem in the Probabilistic Description Logic \emphALC {\^}\textbackslashmathsf ME.
In Andreas Herzig and Andrei Popescu (eds.). Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings 11715. 2019, 167–184.
URL, DOI BibTeX@inproceedings{DBLP:conf/frocos/BaaderEKW19, author = "Franz Baader and Andreas Ecke and Gabriele Kern{-}Isberner and Marco Wilhelm", editor = "Andreas Herzig and Andrei Popescu", title = "The Complexity of the Consistency Problem in the Probabilistic Description Logic \emph{ALC} {\^{}}{\textbackslash}mathsf {ME}", booktitle = "Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings", series = "Lecture Notes in Computer Science", volume = 11715, pages = "167--184", publisher = "Springer", year = 2019, url = "https://doi.org/10.1007/978-3-030-29007-8\_10", doi = "10.1007/978-3-030-29007-8\_10", timestamp = "Thu, 22 Aug 2019 12:46:56 +0200", biburl = "https://dblp.org/rec/conf/frocos/BaaderEKW19.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja Bock and Marco Ragni.
Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management.
KI 33(1):57–68, 2019.
URL, DOI BibTeX@article{DBLP:journals/ki/BeierleKSBR19, author = "Christoph Beierle and Gabriele Kern{-}Isberner and Kai Sauerwald and Tanja Bock and Marco Ragni", title = "Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management", journal = "{KI}", volume = 33, number = 1, pages = "57--68", year = 2019, url = "https://doi.org/10.1007/s13218-018-0567-3", doi = "10.1007/s13218-018-0567-3", timestamp = "Fri, 12 Apr 2019 09:23:23 +0200", biburl = "https://dblp.org/rec/bib/journals/ki/BeierleKSBR19", bibsource = "dblp computer science bibliography, https://dblp.org" }
2018
Flavio Ferrarotti and Stefan Woltran (eds.).
Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings
10833. Springer, 2018.
URL, DOI BibTeX@proceedings{DBLP:conf/foiks/2018, editor = "Flavio Ferrarotti and Stefan Woltran", title = "Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings", series = "Lecture Notes in Computer Science", volume = 10833, publisher = "Springer", year = 2018, url = "https://doi.org/10.1007/978-3-319-90050-6", doi = "10.1007/978-3-319-90050-6", isbn = "978-3-319-90049-0", timestamp = "Mon, 07 May 2018 12:28:26 +0200", biburl = "https://dblp.org/rec/bib/conf/foiks/2018", bibsource = "dblp computer science bibliography, https://dblp.org" }
Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer and Christoph Beierle.
A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies.
In Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings. 2018, 379–399.
URL, DOI BibTeX@inproceedings{DBLP:conf/foiks/WilhelmKFB18, author = "Marco Wilhelm and Gabriele Kern{-}Isberner and Marc Finthammer and Christoph Beierle", title = "A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies", booktitle = "Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings", pages = "379--399", year = 2018, crossref = "DBLP:conf/foiks/2018", url = "https://doi.org/10.1007/978-3-319-90050-6\_21", doi = "10.1007/978-3-319-90050-6\_21", timestamp = "Mon, 07 May 2018 12:30:10 +0200", biburl = "https://dblp.org/rec/bib/conf/foiks/WilhelmKFB18", bibsource = "dblp computer science bibliography, https://dblp.org" }
Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub and Steffen Schieweck.
Advanced Solving Technology for Dynamic and Reactive Applications.
KI 32(2-3):199–200, 2018.
URL, DOI BibTeX@article{DBLP:journals/ki/BrewkaEKOORSS18, author = "Gerhard Brewka and Stefan Ellmauthaler and Gabriele Kern{-}Isberner and Philipp Obermeier and Max Ostrowski and Javier Romero and Torsten Schaub and Steffen Schieweck", title = "Advanced Solving Technology for Dynamic and Reactive Applications", journal = "{KI}", volume = 32, number = "2-3", pages = "199--200", year = 2018, url = "https://doi.org/10.1007/s13218-018-0538-8", doi = "10.1007/s13218-018-0538-8", timestamp = "Thu, 13 Sep 2018 18:11:33 +0200", biburl = "https://dblp.org/rec/bib/journals/ki/BrewkaEKOORSS18", bibsource = "dblp computer science bibliography, https://dblp.org" }
Michael Thielscher, Francesca Toni and Frank Wolter (eds.).
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018
. AAAI Press, 2018.
URL BibTeX@proceedings{DBLP:conf/kr/2018, editor = "Michael Thielscher and Francesca Toni and Frank Wolter", title = "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona, 30 October - 2 November 2018", publisher = "{AAAI} Press", year = 2018, url = "http://www.aaai.org/Library/KR/kr18contents.php", isbn = "978-1-57735-803-9", timestamp = "Thu, 18 Oct 2018 09:44:31 +0200", biburl = "https://dblp.org/rec/bib/conf/kr/2018", bibsource = "dblp computer science bibliography, https://dblp.org" }
Gabriele Kern-Isberner.
Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change.
In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018.. 2018, 248–256.
URL BibTeX@inproceedings{DBLP:conf/kr/Kern-Isberner18, author = "Gabriele Kern{-}Isberner", title = "Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change", booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona, 30 October - 2 November 2018.", pages = "248--256", year = 2018, crossref = "DBLP:conf/kr/2018", url = "https://aaai.org/ocs/index.php/KR/KR18/paper/view/18048", timestamp = "Thu, 18 Oct 2018 09:45:00 +0200", biburl = "https://dblp.org/rec/bib/conf/kr/Kern-Isberner18", bibsource = "dblp computer science bibliography, https://dblp.org" }