Marc Finthammer

36 papers A 1B 4C 2Misc 9Journal 8Unranked 11

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