Marco Wilhelm

According to our database, Marco Wilhelm authored at least 25 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Core c-Representations and c-Core Closure for Conditional Belief Bases.

Marco Wilhelm, Gabriele Kern-Isberner, Christoph Beierle

Proceedings of the Foundations of Information and Knowledge Systems, 2024

Decomposing Constraint Networks for Calculating c-Representations.

Marco Wilhelm, Gabriele Kern-Isberner

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Activation-based Conditional Inference.

Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle

FLAP, 2023

Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning.

Marco Wilhelm

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Splitting Techniques for Conditional Belief Bases in the Context of c-Representations.

Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Prioritizing Answer Sets Based on Conditional Expert Knowledge.

Marco Wilhelm, Andre Thevapalan, Gabriele Kern-Isberner

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP.

Andre Thevapalan, Marco Wilhelm, Gabriele Kern-Isberner, Pascal Kaiser, Moritz Roidl

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

2022

Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning.

Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

2021

Conditional Inference and Activation of Knowledge Entities in ACT-R.

Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle

CoRR, 2021

A Brief Introduction Into Activation-Based Conditional Inference.

Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle

Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021

Focused Inference and System P.

Marco Wilhelm, Gabriele Kern-Isberner

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy.

Marco Wilhelm, Gabriele Kern-Isberner

Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

2019

Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞^ME Under the Principle of Maximum Entropy.

Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞^ME.

Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

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

Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019

Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$.

Marco Wilhelm, Gabriele Kern-Isberner

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies.

Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle

Proceedings of the Foundations of Information and Knowledge Systems, 2018

2017

Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory.

Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle

Ann. Math. Artif. Intell., 2017

First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy.

Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner, Christoph Beierle

Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals.

Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke

Proceedings of the GCAI 2017, 2017

Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy.

Marco Wilhelm, Gabriele Kern-Isberner

Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

A Semantics for Conditionals with Default Negation.

Marco Wilhelm, Christian Eichhorn, Richard Niland, Gabriele Kern-Isberner

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

2016

Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories.

Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke

Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

2014

Probabilistic Knowledge Representation Using Gröbner Basis Theory.

Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy.

Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle

Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, 2014