Marco Wilhelm

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