Marc Finthammer

Orcid: 0000-0002-5852-7564

According to our database1, Marc Finthammer authored at least 36 papers between 2007 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Stop-transitions of Petri Nets.
Fundam. Informaticae, 2020

Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

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

Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks.
Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019

2018
A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies.
Proceedings of the Foundations of Information and Knowledge Systems, 2018

2017
Concepts and algorithms for computing maximum entropy distributions for knowledge bases with relational probabilistic conditionals.
PhD thesis, 2017

A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic.
FLAP, 2017

First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy.
Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

2016
On the Relationship Between Aggregating Semantics and FO-PCL Grounding Semantics for Relational Probabilistic Conditionals.
Proceedings of the Computational Models of Rationality, 2016

2015
Extending and Completing Probabilistic Knowledge and Beliefs Without Bias.
Künstliche Intell., 2015

Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases.
Entropy, 2015

Towards a More Efficient Computation of Weighted Conditional Impacts for Relational Probabilistic Knowledge Bases Under Maximum Entropy Semantics.
Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015

A Software System for the Computation, Visualization, and Comparison of Conditional Structures for Relational Probabilistic Knowledge Bases.
Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015

Towards Lifted Inference Under Maximum Entropy for Probabilistic Relational FO-PCL Knowledge Bases.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

2014
A Two-Level Approach to Maximum Entropy Model Computation for Relational Probabilistic Logic Based on Weighted Conditional Impacts.
Proceedings of the Scalable Uncertainty Management - 8th International Conference, 2014

2013
A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013

2012
Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications.
Trans. Large Scale Data Knowl. Centered Syst., 2012

An integrated development environment for probabilistic relational reasoning.
Log. J. IGPL, 2012

Instantiation Restrictions for Relational Probabilistic Conditionals.
Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012

An Iterative Scaling Algorithm for Maximum Entropy Reasoning in Relational Probabilistic Conditional Logic.
Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012

Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals.
Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Biomedical Diagnosis Based on Ion Mobility Spectrometry - A Case Study Using Probabilistic Relational Modelling and Learning.
Proceedings of the Advances in Computational Intelligence, 2012

2011
Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation.
Proceedings of the KI 2011: Advances in Artificial Intelligence, 2011

Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications.
Proceedings of the Database and Expert Systems Applications, 2011

2010
Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods, 2010

A System for Relational Probabilistic Reasoning on Maximum Entropy.
Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010

Automated Reasoning for Relational Probabilistic Knowledge Representation.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009
An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Mining Default Rules from Statistical Data.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Probabilistic Reasoning at Optimum Entropy with the MEcore System.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

2008
Experiments on Lexical Chaining for German Corpora: Annotation, Extraction, and Application.
J. Lang. Technol. Comput. Linguistics, 2008

Qualitative Knowledge Discovery.
Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

Exploring and Navigating: Tools for GermaNet.
Proceedings of the International Conference on Language Resources and Evaluation, 2008

Tools for exploring GermaNet in the context of cl-teaching.
Proceedings of the Text Resources and Lexical Knowledge. Selected Papers from the 9th Conference on Natural Language Processing, 2008

2007
Resolving Inconsistencies in Probabilistic Knowledge Bases.
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007


  Loading...