2020

  1. 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"
}

  1. 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"
}

  1. 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"
}

  1. 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"
}

  1. 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"
}

  1. 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"
}

  1. 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"
}

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

  1. 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"
}

  1. 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"
}

  1. 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"
}

  1. 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"
}

  1. 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"
}

  1. 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"
}

  1. 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"
}

  2. 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"
}

  1. 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"
}

  1. 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"
}

  1. 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"
}