Marc Finthammer

ORCID

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 13

Top Venues

SUM

FLAIRS Conference

Künstliche Intell.

University of Hagen, Germany (PHD)

Education History

University of Hagen, Germany

PHD

Publications

Jörg Desel, Marc Finthammer
Stop-transitions of Petri Nets. Fundam. Informaticae 175 (1-4) (2020)
Jörg Desel, Marc Finthammer, Andrea Frank
Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets. Petri Nets (2020)
Marc Finthammer
Concepts and Algorithms for Computing Maximum Entropy Distributions for Knowledge Bases with Relational Probabilistic Conditionals. Künstliche Intell. 33 (1) (2019)
Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle
Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks. FLAIRS Conference (2019)
Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle
A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies. FoIKS (2018)
Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner
A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic. FLAP 4 (7) (2017)
Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner, Christoph Beierle
First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy. SUM (2017)
Marc Finthammer, Christoph Beierle
On the Relationship Between Aggregating Semantics and FO-PCL Grounding Semantics for Relational Probabilistic Conditionals. Computational Models of Rationality (2016)
Christoph Beierle, Nico Potyka, Josef Baudisch, Marc Finthammer
Towards Lifted Inference Under Maximum Entropy for Probabilistic Relational FO-PCL Knowledge Bases. ECSQARU (2015)
Marc Finthammer, Christoph Beierle
Towards a More Efficient Computation of Weighted Conditional Impacts for Relational Probabilistic Knowledge Bases Under Maximum Entropy Semantics. KI (2015)
Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner
Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases. Entropy 17 (2) (2015)
Christoph Beierle, Steffen Kuche, Marc Finthammer, Gabriele Kern-Isberner
A Software System for the Computation, Visualization, and Comparison of Conditional Structures for Relational Probabilistic Knowledge Bases. FLAIRS Conference (2015)
Christoph Beierle, Gabriele Kern-Isberner, Marc Finthammer, Nico Potyka
Extending and Completing Probabilistic Knowledge and Beliefs Without Bias. Künstliche Intell. 29 (3) (2015)
Marc Finthammer, Christoph Beierle
A Two-Level Approach to Maximum Entropy Model Computation for Relational Probabilistic Logic Based on Weighted Conditional Impacts. SUM (2014)
Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner
A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery. ECSQARU (2013)
Marc Finthammer, Christoph Beierle
Instantiation Restrictions for Relational Probabilistic Conditionals. SUM (2012)
Marc Finthammer, Matthias Thimm
An integrated development environment for probabilistic relational reasoning. Log. J. IGPL 20 (5) (2012)
Marc Finthammer, Christoph Beierle
How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic. JELIA (2012)
Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm
Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. Trans. Large Scale Data Knowl. Centered Syst. 6 (2012)
Marc Finthammer
An Iterative Scaling Algorithm for Maximum Entropy Reasoning in Relational Probabilistic Conditional Logic. SUM (2012)
Marc Finthammer, Ryszard Masternak, Christoph Beierle
Biomedical Diagnosis Based on Ion Mobility Spectrometry - A Case Study Using Probabilistic Relational Modelling and Learning. IPMU (4) (2012)
Marc Finthammer, Christoph Beierle
Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals. KI (2012)
Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm
Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. KI (2011)
Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm
Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. DEXA (1) (2011)
Marc Finthammer, Christoph Beierle, Jens Fisseler, Gabriele Kern-Isberner, Bülent Möller, Jörg Ingo Baumbach
Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry. IPMU (1) (2010)
Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle
A System for Relational Probabilistic Reasoning on Maximum Entropy. FLAIRS Conference (2010)
Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm
Automated Reasoning for Relational Probabilistic Knowledge Representation. IJCAR (2010)
Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner
Probabilistic Reasoning at Optimum Entropy with the MEcore System. FLAIRS Conference (2009)
Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner
An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. LPNMR (2009)
Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, Jens Fisseler
Mining Default Rules from Statistical Data. FLAIRS Conference (2009)
Irene M. Cramer, Marc Finthammer
Tools for exploring GermaNet in the context of cl-teaching. KONVENS (2008)
Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer
Qualitative Knowledge Discovery. SDKB (2008)
Irene M. Cramer, Marc Finthammer, Alexander Kurek, Lukas Sowa, Melina Wachtling, Tobias Claas
Experiments on Lexical Chaining for German Corpora: Annotation, Extraction, and Application. J. Lang. Technol. Comput. Linguistics 23 (2) (2008)
Marc Finthammer, Irene M. Cramer
Exploring and Navigating: Tools for GermaNet. LREC (2008)
Marc Finthammer, Gabriele Kern-Isberner, Manuela Ritterskamp
Resolving Inconsistencies in Probabilistic Knowledge Bases. KI (2007)

Marc Finthammer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marc Finthammer