2021

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

2020

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

2019

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

2018

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

2017

  1. Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
    Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory.
    Ann. Math. Artif. Intell. 79(1-3):163–179, 2017.
    URL, DOI BibTeX

    @article{DBLP:journals/amai/Kern-IsbernerWB17,
    	author = "Gabriele Kern{-}Isberner and Marco Wilhelm and Christoph Beierle",
    	title = {Probabilistic knowledge representation using the principle of maximum entropy and Gr{\"{o}}bner basis theory},
    	journal = "Ann. Math. Artif. Intell.",
    	volume = 79,
    	number = "1-3",
    	pages = "163--179",
    	year = 2017,
    	url = "https://doi.org/10.1007/s10472-015-9457-7",
    	doi = "10.1007/s10472-015-9457-7",
    	timestamp = "Sun, 28 May 2017 13:20:59 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/amai/Kern-IsbernerWB17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Marco Wilhelm, Christian Eichhorn, Richard Niland and Gabriele Kern-Isberner.
    A semantics for conditionals with default negation.
    In Alessandro Antonucci, Laurence Cholvy and Odile Papini (eds.). Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings. Springer International Publishing, 2017, pages 236–245.
    URL BibTeX

    @incollection{BeierleEichhornKernIsberner2017b,
    	author = "Wilhelm, Marco AND Eichhorn, Christian AND Niland, Richard AND Kern-Isberner, Gabriele",
    	editor = "Antonucci, Alessandro AND Cholvy, Laurence AND Papini, Odile",
    	title = "{A semantics for conditionals with default negation}",
    	booktitle = "Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10--14, 2017, Proceedings",
    	year = 2017,
    	publisher = "Springer International Publishing",
    	address = "Cham, DE",
    	pages = "236--245",
    	url = "https://link.springer.com/chapter/10.1007/978-3-319-61581-3_24"
    }
    

  1. Vasile Rus and Zdravko Markov (eds.).
    Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017

    . AAAI Press, 2017.
    URL BibTeX

    @proceedings{DBLP:conf/flairs/2017,
    	editor = "Vasile Rus and Zdravko Markov",
    	title = "Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, {FLAIRS} 2017, Marco Island, Florida, USA, May 22-24, 2017",
    	publisher = "{AAAI} Press",
    	year = 2017,
    	url = "http://www.aaai.org/Library/FLAIRS/flairs17contents.php",
    	isbn = "978-1-57735-787-2",
    	timestamp = "Mon, 19 Jun 2017 13:52:59 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/flairs/2017",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Marco Wilhelm and Gabriele Kern-Isberner.
    Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy.
    In Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017.. 2017, 748–753.
    URL BibTeX

    @inproceedings{DBLP:conf/flairs/WilhelmK17,
    	author = "Marco Wilhelm and Gabriele Kern{-}Isberner",
    	title = "Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy",
    	booktitle = "Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, {FLAIRS} 2017, Marco Island, Florida, USA, May 22-24, 2017.",
    	pages = "748--753",
    	year = 2017,
    	crossref = "DBLP:conf/flairs/2017",
    	url = "https://aaai.org/ocs/index.php/FLAIRS/FLAIRS17/paper/view/15462",
    	timestamp = "Mon, 19 Jun 2017 13:53:19 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/flairs/WilhelmK17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Christoph Benzmüller, Christine L Lisetti and Martin Theobald (eds.).
    GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017

    50. EasyChair, 2017.
    URL BibTeX

    @proceedings{DBLP:conf/gcai/2017,
    	editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald},
    	title = "{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017",
    	series = "EPiC Series in Computing",
    	volume = 50,
    	publisher = "EasyChair",
    	year = 2017,
    	url = "http://www.easychair.org/publications/volume/GCAI\_2017",
    	timestamp = "Mon, 08 Jan 2018 17:55:44 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/gcai/2017",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Marco Wilhelm, Gabriele Kern-Isberner and Andreas Ecke.
    Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals.
    In GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017.. 2017, 36–50.
    URL BibTeX

    @inproceedings{DBLP:conf/gcai/WilhelmKE17,
    	author = "Marco Wilhelm and Gabriele Kern{-}Isberner and Andreas Ecke",
    	title = "Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals",
    	booktitle = "{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017.",
    	pages = "36--50",
    	year = 2017,
    	crossref = "DBLP:conf/gcai/2017",
    	url = "http://www.easychair.org/publications/paper/jzdz",
    	timestamp = "Mon, 08 Jan 2018 17:55:44 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/gcai/WilhelmKE17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Seraf{\'ı}n Moral, Olivier Pivert, Daniel Sánchez and Nicolás Mar{\'ı}n (eds.).
    Scalable Uncertainty Management - 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

    10564. Springer, 2017.
    URL, DOI BibTeX

    @proceedings{DBLP:conf/sum/2017,
    	editor = "Seraf{\'{\i}}n Moral and Olivier Pivert and Daniel S{\'{a}}nchez and Nicol{\'{a}}s Mar{\'{\i}}n",
    	title = "Scalable Uncertainty Management - 11th International Conference, {SUM} 2017, Granada, Spain, October 4-6, 2017, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 10564,
    	publisher = "Springer",
    	year = 2017,
    	url = "https://doi.org/10.1007/978-3-319-67582-4",
    	doi = "10.1007/978-3-319-67582-4",
    	isbn = "978-3-319-67581-7",
    	timestamp = "Wed, 20 Sep 2017 13:54:42 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/sum/2017",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner and Christoph Beierle.
    First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy.
    In Scalable Uncertainty Management - 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings. 2017, 266–279.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/sum/WilhelmFKB17,
    	author = "Marco Wilhelm and Marc Finthammer and Gabriele Kern{-}Isberner and Christoph Beierle",
    	title = "First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy",
    	booktitle = "Scalable Uncertainty Management - 11th International Conference, {SUM} 2017, Granada, Spain, October 4-6, 2017, Proceedings",
    	pages = "266--279",
    	year = 2017,
    	crossref = "DBLP:conf/sum/2017",
    	url = "https://doi.org/10.1007/978-3-319-67582-4\_19",
    	doi = "10.1007/978-3-319-67582-4\_19",
    	timestamp = "Wed, 20 Sep 2017 14:08:19 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/sum/WilhelmFKB17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2016

  1. Marco Wilhelm, Gabriele Kern-Isberner and Andreas Ecke.
    Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories.
    In Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference (FLAIRS). 2016.
    BibTeX

    @inproceedings{KernIsberner_Wilhelm_Beierle_2016,
    	author = "Marco Wilhelm and Gabriele Kern{-}Isberner and Andreas Ecke",
    	title = "Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories",
    	booktitle = "Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference (FLAIRS)",
    	year = 2016
    }
    

2015