Marco Wilhelm

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 24

Top Topics

Probabilistic Knowledge

Lexicographic Entailment

Top Venues

FLAIRS Conference

Publications

Marco Wilhelm, Gabriele Kern-Isberner
Decomposing Constraint Networks for Calculating c-Representations. AAAI (2024)
Marco Wilhelm, Gabriele Kern-Isberner, Christoph Beierle
Core c-Representations and c-Core Closure for Conditional Belief Bases. FoIKS (2024)
Marco Wilhelm, Lars-Phillip Spiegel, Gabriele Kern-Isberner
Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance. FLAIRS (2024)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
Activation-based Conditional Inference. FLAP 10 (2) (2023)
Andre Thevapalan, Marco Wilhelm, Gabriele Kern-Isberner, Pascal Kaiser, Moritz Roidl
An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP. FLAIRS (2023)
Marco Wilhelm, Andre Thevapalan, Gabriele Kern-Isberner
Prioritizing Answer Sets Based on Conditional Expert Knowledge. FLAIRS (2023)
Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck
Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. JELIA (2023)
Marco Wilhelm
Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning. KR (2023)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning. FLAIRS (2022)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
Conditional Inference and Activation of Knowledge Entities in ACT-R. CoRR (2021)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
A Brief Introduction Into Activation-Based Conditional Inference. FCR@KI (2021)
Marco Wilhelm, Gabriele Kern-Isberner
Focused Inference and System P. AAAI (2021)
Marco Wilhelm, Gabriele Kern-Isberner
Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy. FLAIRS Conference (2020)
Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader
^\mathsf ME Under the Principle of Maximum Entropy. JELIA (2019)
Marco Wilhelm, Gabriele Kern-Isberner
Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$. Description Logic, Theory Combination, and All That (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)
Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm
^\mathsf ME. FroCos (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)
Marco Wilhelm, Christian Eichhorn, Richard Niland, Gabriele Kern-Isberner
A Semantics for Conditionals with Default Negation. ECSQARU (2017)
Marco Wilhelm, Gabriele Kern-Isberner
Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy. FLAIRS Conference (2017)
Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke
Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals. GCAI (2017)
Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner, Christoph Beierle
First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy. SUM (2017)
Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle
Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory. Ann. Math. Artif. Intell. 79 (1-3) (2017)
Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke
Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories. FLAIRS Conference (2016)
Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle
A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy. FLAIRS Conference (2014)
Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle
Probabilistic Knowledge Representation Using Gröbner Basis Theory. ISAIM (2014)