2019

2018

2017

  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

  1. Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
    Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory.
    Annals of Mathematics and Artificial Intelligence (AMAI), 2015.
    BibTeX

    @article{KernIsberner_Wilhelm_Beierle_2015,
    	author = "Gabriele Kern{-}Isberner and Marco Wilhelm and Christoph Beierle",
    	title = {Probabilistic knowledge representation using the principle of maximum entropy and {G}r\"{o}bner basis theory},
    	journal = "Annals of Mathematics and Artificial Intelligence (AMAI)",
    	year = 2015
    }
    

2014

  1. Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
    A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy.
    In Proceedings of the 27th International Florida Artificial Intelligence Research Society Conference (FLAIRS). 2014.
    BibTeX

    @inproceedings{KernIsberner_Wilhelm_Beierle_2014b,
    	author = "Gabriele Kern{-}Isberner and Marco Wilhelm and Christoph Beierle",
    	title = "A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy",
    	booktitle = "Proceedings of the 27th International Florida Artificial Intelligence Research Society Conference (FLAIRS)",
    	year = 2014
    }
    

  1. Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
    Probabilistic Knowledge Representation Using Gröbner Basis Theory.
    In Proceedings of the 13th International Symposium on Artificial Intelligence and Mathematics (ISAIM). 2014.
    BibTeX

    @inproceedings{KernIsberner_Wilhelm_Beierle_2014,
    	author = "Gabriele Kern{-}Isberner and Marco Wilhelm and Christoph Beierle",
    	title = {Probabilistic Knowledge Representation Using {G}r\"{o}bner Basis Theory},
    	booktitle = "Proceedings of the 13th International Symposium on Artificial Intelligence and Mathematics (ISAIM)",
    	year = 2014
    }
    

2013

2012

2011

2010

2008

2007