Publications

  • Drawing Inferences Under Maximum Entropy From Relational Probabilistic Knowledge Using Group Theory
    Gabriele Kern-Isberner, Marco Wilhelm, and Christoph Beierle
    to appear in: Infinite Group Theory: From the Past to the Future. World Scientific, 2018
  • First-Order Typed Model Counting for Probabilistic Connditional Reasoning at Maximum Entropy
    Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner, and Christoph Beierle.
    to appear in: Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM), 2017
  • A Semantics for Conditionals with Default Negation
    Marco Wilhelm, Christian Eichhorn, Richard Niland, and Gabriele Kern-Isberner.
    Proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), 2017
  • Typed Model Counting and its Application to Probabilistic Conditional Reasoning at Maximum Entropy
    Marco Wilhelm and Gabriele Kern-Isberner.
    Proceedings of the 30th International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2017
  • Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory
    Gabriele Kern-Isberner, Marco Wilhelm, and Christoph Beierle.
    Annals of Mathematics and Artificial Intelligence 79: pp. 163-179, 2017
  • Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories
    Marco Wilhelm, Gabriele Kern-Isberner, and Andreas Ecke.
    Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2016
  • A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy
    Gabriele Kern-Isberner, Marco Wilhelm, and Christoph Beierle.
    Proceedings of the 27th International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2014
  • Probabilistic Knowledge Representation Using Gröbner Basis Theory
    Gabriele Kern-Isberner, Marco Wilhelm, and Christoph Beierle.
    Proceedings of the 13th International Symposium on Artificial Intelligence and Mathematics (ISAIM), 2014

Current Research Project

Given Talks

  • Typed Model Counting and its Application to Probabilistic Conditional Reasoning at Maximum Entropy
    30th International Conference of the Florida Artificial Intelligence Research Society (FLAIRS 2017).
    Marco Island, Florida, USA (May 23, 2017)
  • A Semantics for Conditionals with Default Negation
    Journal Club of Working Group Information Engineering, TU Dortmund.
    Dortmund, Germany (May 3, 2017)
  • Typed Model Counting and its Application to Probabilistic Conditional Reasoning at Maximum Entropy
    Joint Doctoral Colloquium of Working Groups Wissensbasierte Systeme, FernUniversität Hagen, and Information Engineering, TU Dortmund.
    Hagen, Germany (December 21, 2016)
  • Typed Model Counting and its Application to Probabilistic Conditional Reasoning at Maximum Entropy
    8th Workshop on Hybrid Reasoning of DFG Research Unit 1513.
    Dresden, Germany (November 29, 2016)
  • Typed Model Counting and its Application to Probabilistic Conditional Reasoning at Maximum Entropy
    Journal Club of Working Group Information Engineering, TU Dortmund.
    Dortmund, Germany (August 24, 2016)
  • CondStructor - An Algorithm for Classifying Possible Worlds With a View to Probabilistic Reasoning at Maximum Entropy
    7th Workshop on Hybrid Reasoning of DFG Research Unit 1513.
    Freiburg im Breisgau, Germany (June 6, 2016)
  • Probabilistic Inferences under Maximum Entropy for Description Logics. Building Equivalence Classes of Possible Worlds With Respect to Conditional Knowledge

    Joint Doctoral Colloquium of Working Groups Wissensbasierte Systeme, FernUniversität Hagen, and Information Engineering, TU Dortmund.
    Hagen, Germany (December 16, 2015)

  • Probabilistic Knowledge Representation Using Gröbner Basis Theory
    13th International Symposium on Artificial Intelligence and Mathematics (ISAIM 2014).
    Fort Lauderdale, Florida, USA (January 8, 2014)
  • Probabilistic Knowledge Representation Using Gröbner Basis Theory
    23th Miniworkshop on Theoretical Computer Science, TU Dortmund.
    Dortmund, Germany (June 24, 2013)
  • Probabilistic Knowledge Representation Using Gröbner Basis Theory
    Journal Club of Working Group Information Engineering, TU Dortmund.
    Dortmund, Germany (June 11, 2013)