2021
Marco Wilhelm and Gabriele Kern-Isberner.
Focused Inference and System P.
In Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021. 2021, 6522–6529.
URL BibTeX@inproceedings{DBLP:conf/aaai/WilhelmK21, author = "Marco Wilhelm and Gabriele Kern{-}Isberner", title = "Focused Inference and System {P}", booktitle = "Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021", pages = "6522--6529", publisher = "{AAAI} Press", year = 2021, url = "https://ojs.aaai.org/index.php/AAAI/article/view/16808", timestamp = "Wed, 02 Jun 2021 18:09:11 +0200", biburl = "https://dblp.org/rec/conf/aaai/WilhelmK21.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Jonas Haldimann, Christoph Beierle and Gabriele Kern-Isberner.
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies.
In Wolfgang Faber, Gerhard Friedrich, Martin Gebser and Michael Morak (eds.). Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings 12678. 2021, 85–100.
URL, DOI BibTeX@inproceedings{DBLP:conf/jelia/HaldimannBK21, author = "Jonas Haldimann and Christoph Beierle and Gabriele Kern{-}Isberner", editor = "Wolfgang Faber and Gerhard Friedrich and Martin Gebser and Michael Morak", title = "Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies", booktitle = "Logics in Artificial Intelligence - 17th European Conference, {JELIA} 2021, Virtual Event, May 17-20, 2021, Proceedings", series = "Lecture Notes in Computer Science", volume = 12678, pages = "85--100", publisher = "Springer", year = 2021, url = "https://doi.org/10.1007/978-3-030-75775-5\_7", doi = "10.1007/978-3-030-75775-5\_7", timestamp = "Sun, 16 May 2021 00:14:37 +0200", biburl = "https://dblp.org/rec/conf/jelia/HaldimannBK21.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Jonas Haldimann, Kai Sauerwald, Martin Berg, Gabriele Kern-Isberner and Christoph Beierle.
Towards a framework of hansson's descriptor revision for conditionals.
In Chih-Cheng Hung, Jiman Hong, Alessio Bechini and Eunjee Song (eds.). SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021. 2021, 889–891.
URL, DOI BibTeX@inproceedings{DBLP:conf/sac/HaldimannSBKB21, author = "Jonas Haldimann and Kai Sauerwald and Martin von Berg and Gabriele Kern{-}Isberner and Christoph Beierle", editor = "Chih{-}Cheng Hung and Jiman Hong and Alessio Bechini and Eunjee Song", title = "Towards a framework of hansson's descriptor revision for conditionals", booktitle = "{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021", pages = "889--891", publisher = "{ACM}", year = 2021, url = "https://doi.org/10.1145/3412841.3442101", doi = "10.1145/3412841.3442101", timestamp = "Mon, 03 May 2021 14:35:13 +0200", biburl = "https://dblp.org/rec/conf/sac/HaldimannSBKB21.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
2020
Jonas Philipp Haldimann, Gabriele Kern-Isberner and Christoph Beierle.
Syntax Splitting for Iterated Contractions.
In Diego Calvanese, Esra Erdem and Michael Thielscher (eds.). Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. 2020, 465–475.
URL, DOI BibTeX@inproceedings{DBLP:conf/kr/HaldimannKB20, author = "Jonas Philipp Haldimann and Gabriele Kern{-}Isberner and Christoph Beierle", editor = "Diego Calvanese and Esra Erdem and Michael Thielscher", title = "Syntax Splitting for Iterated Contractions", booktitle = "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece, September 12-18, 2020", pages = "465--475", year = 2020, url = "https://doi.org/10.24963/kr.2020/47", doi = "10.24963/kr.2020/47", timestamp = "Fri, 29 Jan 2021 19:06:02 +0100", biburl = "https://dblp.org/rec/conf/kr/HaldimannKB20.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Gabriele Kern-Isberner, Christoph Beierle and Gerhard Brewka.
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases.
In Diego Calvanese, Esra Erdem and Michael Thielscher (eds.). Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. 2020, 560–571.
URL, DOI BibTeX@inproceedings{DBLP:conf/kr/Kern-IsbernerBB20, author = "Gabriele Kern{-}Isberner and Christoph Beierle and Gerhard Brewka", editor = "Diego Calvanese and Esra Erdem and Michael Thielscher", title = "Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases", booktitle = "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece, September 12-18, 2020", pages = "560--571", year = 2020, url = "https://doi.org/10.24963/kr.2020/56", doi = "10.24963/kr.2020/56", timestamp = "Fri, 29 Jan 2021 19:06:03 +0100", biburl = "https://dblp.org/rec/conf/kr/Kern-IsbernerBB20.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle and Kai Sauerwald.
Cognitive Logics - Features, Formalisms, and Challenges.
In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugar{\'ı}n and Jérôme Lang (eds.). ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) 325. 2020, 2931–2932.
URL, DOI BibTeX@inproceedings{DBLP:conf/ecai/RagniKBS20, author = "Marco Ragni and Gabriele Kern{-}Isberner and Christoph Beierle and Kai Sauerwald", editor = "Giuseppe De Giacomo and Alejandro Catal{\'{a}} and Bistra Dilkina and Michela Milano and Sen{\'{e}}n Barro and Alberto Bugar{\'{\i}}n and J{\'{e}}r{\^{o}}me Lang", title = "Cognitive Logics - Features, Formalisms, and Challenges", booktitle = "{ECAI} 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence {(PAIS} 2020)", series = "Frontiers in Artificial Intelligence and Applications", volume = 325, pages = "2931--2932", publisher = "{IOS} Press", year = 2020, url = "https://doi.org/10.3233/FAIA200459", doi = "10.3233/FAIA200459", timestamp = "Fri, 29 Jan 2021 22:09:02 +0100", biburl = "https://dblp.org/rec/conf/ecai/RagniKBS20.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Kai Sauerwald, Gabriele Kern-Isberner and Christoph Beierle.
A Conditional Perspective for Iterated Belief Contraction.
In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugar{\'ı}n and Jérôme Lang (eds.). ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) 325. 2020, 889–896.
URL, DOI BibTeX@inproceedings{DBLP:conf/ecai/SauerwaldKB20, author = "Kai Sauerwald and Gabriele Kern{-}Isberner and Christoph Beierle", editor = "Giuseppe De Giacomo and Alejandro Catal{\'{a}} and Bistra Dilkina and Michela Milano and Sen{\'{e}}n Barro and Alberto Bugar{\'{\i}}n and J{\'{e}}r{\^{o}}me Lang", title = "A Conditional Perspective for Iterated Belief Contraction", booktitle = "{ECAI} 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence {(PAIS} 2020)", series = "Frontiers in Artificial Intelligence and Applications", volume = 325, pages = "889--896", publisher = "{IOS} Press", year = 2020, url = "https://doi.org/10.3233/FAIA200180", doi = "10.3233/FAIA200180", timestamp = "Fri, 29 Jan 2021 22:09:06 +0100", biburl = "https://dblp.org/rec/conf/ecai/SauerwaldKB20.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
Jesse Heyninck and Gabriele Kern-Isberner.
An Epistemic Interpretation of Abstract Dialectical Argumentation.
In Henry Prakken, Stefano Bistarelli, Francesco Santini and Carlo Taticchi (eds.). Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020 326. 2020, 227–238.
URL, DOI BibTeX@inproceedings{DBLP:conf/comma/HeyninckK20, author = "Jesse Heyninck and Gabriele Kern{-}Isberner", editor = "Henry Prakken and Stefano Bistarelli and Francesco Santini and Carlo Taticchi", title = "An Epistemic Interpretation of Abstract Dialectical Argumentation", booktitle = "Computational Models of Argument - Proceedings of {COMMA} 2020, Perugia, Italy, September 4-11, 2020", series = "Frontiers in Artificial Intelligence and Applications", volume = 326, pages = "227--238", publisher = "{IOS} Press", year = 2020, url = "https://doi.org/10.3233/FAIA200507", doi = "10.3233/FAIA200507", timestamp = "Fri, 29 Jan 2021 21:15:48 +0100", biburl = "https://dblp.org/rec/conf/comma/HeyninckK20.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }
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" }