Wissensrevision in der reaktiven Antwortmengenprogrammierung. - Jonas Philipp Haldimann (SKILL, 2018)

Teaching Logic with Iltis: an Interactive, Web-Based System. - Gaetano Geck; Artur Ljulin; Jonas Haldimann; Johannes May; Jonas Schmidt 001; Marko Schmellenkamp; Daniel Sonnabend; Felix Tschirbs; Fabian Vehlken; Thomas Zeume (ITiCSE, 2019)

WHIWAP: Checking Iterative Belief Changes. - Kai Sauerwald; Jonas Haldimann (DKB/KIK@KI, 2019)

Transforming Conditional Knowledge Bases into Renaming Normal Form. - Christoph Beierle; Jonas Haldimann (FLAIRS, 2020)

Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings. - Christoph Beierle; Jonas Haldimann (FoIKS, 2020)

Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic. - Jonas Haldimann; Anna Osiak; Christoph Beierle (KI, 2020)

Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. - Kai Sauerwald; Jonas Haldimann; Martin von Berg; Christoph Beierle (KI, 2020)

Syntax Splitting for Iterated Contractions. - Jonas Philipp Haldimann; Gabriele Kern-Isberner; Christoph Beierle (KR, 2020)

Semantic Splitting of Conditional Belief Bases. - Christoph Beierle; Jonas Haldimann; Gabriele Kern-Isberner (Logic, Computation and Rigorous Methods, 2021)

A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures. - Christoph Beierle; Jonas Haldimann; Steven Kutsch (FLAIRS, 2021)

Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. - Jonas Haldimann; Christoph Beierle; Gabriele Kern-Isberner (JELIA, 2021)

Conditional Descriptor Revision and Its Modelling by a CSP. - Jonas Haldimann; Kai Sauerwald; Martin von Berg; Gabriele Kern-Isberner; Christoph Beierle (JELIA, 2021)

On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. - Jonas Haldimann; Gabriele Kern-Isberner (FCR@KI, 2021)

Towards a framework of hansson's descriptor revision for conditionals. - Jonas Haldimann; Kai Sauerwald; Martin von Berg; Gabriele Kern-Isberner; Christoph Beierle (SAC, 2021)

Normal Forms of Conditional Belief Bases Respecting Inductive Inference. - Christoph Beierle; Jonas Haldimann (FLAIRS, 2022)

Properties of System W and Its Relationships to Other Inductive Inference Operators. - Jonas Haldimann; Christoph Beierle (FoIKS, 2022)

An Implementation of Nonmonotonic Reasoning with System W. - Christoph Beierle; Jonas Haldimann; Daniel Kollár; Kai Sauerwald; Leon Schwarzer (KI, 2022)

Inference with System W Satisfies Syntax Splitting. - Jonas Haldimann; Christoph Beierle (KR, 2022)

Characterizing Multipreference Closure with System W. - Jonas Haldimann; Christoph Beierle (SUM, 2022)

Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. - Christoph Beierle; Jonas Haldimann (Ann. Math. Artif. Intell., 2022)

Model Transformations for Ranking Functions and Total Preorders. - Jonas Haldimann; Christoph Beierle (CoRR, 2022)

Conditional Syntax Splitting for Non-monotonic Inference Operators. - Jesse Heyninck; Gabriele Kern-Isberner; Thomas Andreas Meyer; Jonas Philipp Haldimann; Christoph Beierle (AAAI, 2023)

Approximations of System W Between c-Inference, System Z, and Lexicographic Inference. - Jonas Haldimann; Christoph Beierle (ECSQARU, 2023)

Observational Equivalence of Conditional Belief Bases. - Christoph Beierle; Jonas Haldimann; Leon Schwarzer (FLAIRS, 2023)

Conditionals, Infeasible Worlds, and Reasoning with System W. - Jonas Haldimann; Christoph Beierle; Gabriele Kern-Isberner; Thomas Meyer 002 (FLAIRS, 2023)

Rational Closure Extension in SPO-Representable Inductive Inference Operators. - Jonas Haldimann; Thomas Meyer 002; Gabriele Kern-Isberner; Christoph Beierle (JELIA, 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)

Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds. - Jonas Philipp Haldimann; Christoph Beierle (KR, 2023)

Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds. - Jonas Philipp Haldimann; Christoph Beierle; Gabriele Kern-Isberner (NMR, 2023)

Epistemic State Mappings among Ranking Functions and Total Preorders. - Jonas Philipp Haldimann; Christoph Beierle; Gabriele Kern-Isberner (FLAP, 2023)

Nonmonotonic Reasoning with Defeasible Rules on Feasible and Infeasible Worlds - Exploring a Landscape of Inductive Inference Operators - Jonas Philipp Haldimann (Nonmonotonic Reasoning with Defeasible Rules on Feasible and Infeasible Worlds, 2024)

A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. - Christoph Beierle; Aron Spang; Jonas Haldimann (FLAIRS, 2024)

Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. - Jonas Haldimann; Christoph Beierle; Gabriele Kern-Isberner (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)

Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers. - Gabriele Kern-Isberner; Alexander Hahn 001; Jonas Haldimann; Christoph Beierle (KR, 2024)

Using SAT and Partial MaxSAT for Reasoning with System Z and System W. - Christoph Beierle; Aron Spang; Jonas Haldimann (NMR, 2024)

Scaling Up Reasoning from Conditional Belief Bases. - Christoph Beierle; Jonas Haldimann; Arthur Sanin; Leon Schwarzer; Aron Spang; Lars-Phillip Spiegel; Martin von Berg (SUM, 2024)

Approximations of system W for inference from strongly and weakly consistent belief bases. - Jonas Haldimann; Christoph Beierle (Int. J. Approx. Reason., 2024)

CLKR: Conditional Logic and Knowledge Representation. - Christoph Beierle; Jonas Haldimann; Leon Schwarzer (Künstliche Intell., 2024)