Resolving Inconsistencies in Probabilistic Knowledge Bases. - Marc Finthammer; Gabriele Kern-Isberner; Manuela Ritterskamp (KI, 2007)

Tools for exploring GermaNet in the context of cl-teaching. - Irene M. Cramer; Marc Finthammer (KONVENS, 2008)

Exploring and Navigating: Tools for GermaNet. - Marc Finthammer; Irene M. Cramer (LREC, 2008)

Qualitative Knowledge Discovery. - Gabriele Kern-Isberner; Matthias Thimm; Marc Finthammer (SDKB, 2008)

Experiments on Lexical Chaining for German Corpora: Annotation, Extraction, and Application. - Irene M. Cramer; Marc Finthammer; Alexander Kurek; Lukas Sowa; Melina Wachtling; Tobias Claas (J. Lang. Technol. Comput. Linguistics, 2008)

Probabilistic Reasoning at Optimum Entropy with the MEcore System. - Marc Finthammer; Christoph Beierle; Benjamin Berger; Gabriele Kern-Isberner (FLAIRS, 2009)

Mining Default Rules from Statistical Data. - Gabriele Kern-Isberner; Matthias Thimm; Marc Finthammer; Jens Fisseler (FLAIRS, 2009)

An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. - Marc Finthammer; Christoph Beierle; Benjamin Berger; Gabriele Kern-Isberner (LPNMR, 2009)

Automated Reasoning for Relational Probabilistic Knowledge Representation. - Christoph Beierle; Marc Finthammer; Gabriele Kern-Isberner; Matthias Thimm (IJCAR, 2010)

A System for Relational Probabilistic Reasoning on Maximum Entropy. - Matthias Thimm; Marc Finthammer; Sebastian Loh; Gabriele Kern-Isberner; Christoph Beierle (FLAIRS, 2010)

Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry. - Marc Finthammer; Christoph Beierle; Jens Fisseler; Gabriele Kern-Isberner; Bülent Möller; Jörg Ingo Baumbach (IPMU (1), 2010)

Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. - Gabriele Kern-Isberner; Christoph Beierle; Marc Finthammer; Matthias Thimm (DEXA (1), 2011)

Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. - Christoph Beierle; Marc Finthammer; Gabriele Kern-Isberner; Matthias Thimm (KI, 2011)

Biomedical Diagnosis Based on Ion Mobility Spectrometry - A Case Study Using Probabilistic Relational Modelling and Learning. - Marc Finthammer; Ryszard Masternak; Christoph Beierle (IPMU (4), 2012)

How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic. - Marc Finthammer; Christoph Beierle (JELIA, 2012)

Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals. - Marc Finthammer; Christoph Beierle (KI, 2012)

An Iterative Scaling Algorithm for Maximum Entropy Reasoning in Relational Probabilistic Conditional Logic. - Marc Finthammer (SUM, 2012)

Instantiation Restrictions for Relational Probabilistic Conditionals. - Marc Finthammer; Christoph Beierle (SUM, 2012)

An integrated development environment for probabilistic relational reasoning. - Marc Finthammer; Matthias Thimm (Log. J. IGPL, 2012)

Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. - Gabriele Kern-Isberner; Christoph Beierle; Marc Finthammer; Matthias Thimm (Trans. Large Scale Data Knowl. Centered Syst., 2012)

A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery. - Christoph Beierle; Marc Finthammer; Nico Potyka; Julian Varghese; Gabriele Kern-Isberner (ECSQARU, 2013)

A Two-Level Approach to Maximum Entropy Model Computation for Relational Probabilistic Logic Based on Weighted Conditional Impacts. - Marc Finthammer; Christoph Beierle (SUM, 2014)

Towards Lifted Inference Under Maximum Entropy for Probabilistic Relational FO-PCL Knowledge Bases. - Christoph Beierle; Nico Potyka; Josef Baudisch; Marc Finthammer (ECSQARU, 2015)

A Software System for the Computation, Visualization, and Comparison of Conditional Structures for Relational Probabilistic Knowledge Bases. - Christoph Beierle; Steffen Kuche; Marc Finthammer; Gabriele Kern-Isberner (FLAIRS, 2015)

Towards a More Efficient Computation of Weighted Conditional Impacts for Relational Probabilistic Knowledge Bases Under Maximum Entropy Semantics. - Marc Finthammer; Christoph Beierle (KI, 2015)

Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases. - Christoph Beierle; Marc Finthammer; Gabriele Kern-Isberner (Entropy, 2015)

Extending and Completing Probabilistic Knowledge and Beliefs Without Bias. - Christoph Beierle; Gabriele Kern-Isberner; Marc Finthammer; Nico Potyka (Künstliche Intell., 2015)

On the Relationship Between Aggregating Semantics and FO-PCL Grounding Semantics for Relational Probabilistic Conditionals. - Marc Finthammer; Christoph Beierle (Computational Models of Rationality, 2016)

First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy. - Marco Wilhelm; Marc Finthammer; Gabriele Kern-Isberner; Christoph Beierle (SUM, 2017)

A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic. - Christoph Beierle; Marc Finthammer; Nico Potyka; Julian Varghese; Gabriele Kern-Isberner (FLAP, 2017)

Concepts and algorithms for computing maximum entropy distributions for knowledge bases with relational probabilistic conditionals. - Marc Finthammer (Akademische Verlagsgesellschaft AKA GmbH, 2017)

A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies. - Marco Wilhelm; Gabriele Kern-Isberner; Marc Finthammer; Christoph Beierle (FoIKS, 2018)

Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks. - Marco Wilhelm; Gabriele Kern-Isberner; Marc Finthammer; Christoph Beierle (FLAIRS, 2019)

Concepts and Algorithms for Computing Maximum Entropy Distributions for Knowledge Bases with Relational Probabilistic Conditionals. - Marc Finthammer (Künstliche Intell., 2019)

Cycl$ mathbf { circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets. - Jörg Desel; Marc Finthammer; Andrea Frank (Petri Nets, 2020)

Stop-transitions of Petri Nets. - Jörg Desel; Marc Finthammer (Fundam. Informaticae, 2020)