A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy. - Gabriele Kern-Isberner; Marco Wilhelm; Christoph Beierle (FLAIRS, 2014)

Probabilistic Knowledge Representation Using Gröbner Basis Theory. - Gabriele Kern-Isberner; Marco Wilhelm; Christoph Beierle (ISAIM, 2014)

Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories. - Marco Wilhelm; Gabriele Kern-Isberner; Andreas Ecke (FLAIRS, 2016)

A Semantics for Conditionals with Default Negation. - Marco Wilhelm; Christian Eichhorn 001; Richard Niland; Gabriele Kern-Isberner (ECSQARU, 2017)

Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy. - Marco Wilhelm; Gabriele Kern-Isberner (FLAIRS, 2017)

Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals. - Marco Wilhelm; Gabriele Kern-Isberner; Andreas Ecke (GCAI, 2017)

First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy. - Marco Wilhelm; Marc Finthammer; Gabriele Kern-Isberner; Christoph Beierle (SUM, 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)

A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies. - Marco Wilhelm; Gabriele Kern-Isberner; Marc Finthammer; Christoph Beierle (FoIKS, 2018)

Maximum Entropy Calculations for the Probabilistic Description Logic $$ mathcal {ALC}^{ mathsf{ME}}$$. - Marco Wilhelm; Gabriele Kern-Isberner (Description Logic, Theory Combination, and All That, 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 (FLAIRS, 2019)

The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞ME. - Franz Baader; Andreas Ecke; Gabriele Kern-Isberner; Marco Wilhelm (FroCos, 2019)

Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞ME Under the Principle of Maximum Entropy. - Marco Wilhelm; Gabriele Kern-Isberner; Andreas Ecke; Franz Baader (JELIA, 2019)

Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy. - Marco Wilhelm; Gabriele Kern-Isberner (FLAIRS, 2020)

Focused Inference and System P. - Marco Wilhelm; Gabriele Kern-Isberner (AAAI, 2021)

A Brief Introduction Into Activation-Based Conditional Inference. - Marco Wilhelm; Diana Howey; Gabriele Kern-Isberner; Kai Sauerwald; Christoph Beierle (FCR@KI, 2021)

Conditional Inference and Activation of Knowledge Entities in ACT-R. - Marco Wilhelm; Diana Howey; Gabriele Kern-Isberner; Kai Sauerwald; Christoph Beierle (CoRR, 2021)

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 (FLAIRS, 2022)

An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP. - Andre Thevapalan; Marco Wilhelm; Gabriele Kern-Isberner; Pascal Kaiser; Moritz Roidl (FLAIRS, 2023)

Prioritizing Answer Sets Based on Conditional Expert Knowledge. - Marco Wilhelm; Andre Thevapalan; Gabriele Kern-Isberner (FLAIRS, 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 (JELIA, 2023)

Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning. - Marco Wilhelm (KR, 2023)

Activation-based Conditional Inference. - Marco Wilhelm; Diana Howey; Gabriele Kern-Isberner; Kai Sauerwald; Christoph Beierle (FLAP, 2023)

Decomposing Constraint Networks for Calculating c-Representations. - Marco Wilhelm; Gabriele Kern-Isberner (AAAI, 2024)

Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance. - Marco Wilhelm; Lars-Phillip Spiegel; Gabriele Kern-Isberner (FLAIRS, 2024)

Core c-Representations and c-Core Closure for Conditional Belief Bases. - Marco Wilhelm; Gabriele Kern-Isberner; Christoph Beierle (FoIKS, 2024)

Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations. - Christoph Beierle; Lars-Phillip Spiegel; Jonas Haldimann; Marco Wilhelm; Jesse Heyninck; Gabriele Kern-Isberner (KR, 2024)

Extraction of Conditional Belief Bases and the System Z Ranking Model From Multilayer Perceptrons for Binary Classification. - Marco Wilhelm; Alexander Hahn 001; Gabriele Kern-Isberner (NMR, 2024)

Integrated Use of System Z for Preferred Answer Set Programming. - Marco Wilhelm; Andre Thevapalan; Gabriele Kern-Isberner (FLAIRS, 2025)