Christoph Beierle

ORCID

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 114

Top Venues

FLAIRS Conference

CoRR

FoIKS

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Marco Wilhelm, Gabriele Kern-Isberner, Christoph Beierle
Core c-Representations and c-Core Closure for Conditional Belief Bases. FoIKS (2024)
Kai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner
Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. FoIKS (2024)
Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. FoIKS (2024)
Martin von Berg, Arthur Sanin, Christoph Beierle
Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems. FoIKS (2024)
Christoph Beierle, Aron Spang, Jonas Haldimann
A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. FLAIRS (2024)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
Activation-based Conditional Inference. FLAP 10 (2) (2023)
Martin von Berg, Arthur Sanin, Christoph Beierle
Representing Nonmonotonic Inference Based on c-Representations as an SMT Problem. ECSQARU (2023)
Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle
Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA (2023)
Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle
On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions. ECSQARU (2023)
Jonas Philipp Haldimann, Christoph Beierle
Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds. KR (2023)
Jonas Haldimann, Christoph Beierle
Approximations of System W Between c-Inference, System Z, and Lexicographic Inference. ECSQARU (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)
Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
Joining Formal and Cognitive Reasoning. FLAP 10 (2) (2023)
Gabriele Kern-Isberner, Meliha Sezgin, Christoph Beierle
A kinematics principle for iterated revision. Artif. Intell. 314 (2023)
Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner
Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds. NMR (2023)
Christoph Beierle, Jonas Haldimann, Leon Schwarzer
Observational Equivalence of Conditional Belief Bases. FLAIRS (2023)
Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle
Conditional Syntax Splitting for Non-monotonic Inference Operators. AAAI (2023)
Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer
Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS (2023)
Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner
Epistemic State Mappings among Ranking Functions and Total Preorders. FLAP 10 (2) (2023)
Christoph Beierle, Jonas Haldimann, Daniel Kollár, Kai Sauerwald, Leon Schwarzer
An Implementation of Nonmonotonic Reasoning with System W. KI (2022)
Jonas Haldimann, Christoph Beierle
Inference with System W Satisfies Syntax Splitting. KR (2022)
Jonas Haldimann, Christoph Beierle
Characterizing Multipreference Closure with System W. SUM (2022)
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
A Conditional Perspective on the Logic of Iterated Belief Contraction. CoRR (2022)
Christian Komo, Christoph Beierle
Nonmonotonic reasoning from conditional knowledge bases with system W. Ann. Math. Artif. Intell. 90 (1) (2022)
Kai Sauerwald, Christoph Beierle
Iterated Belief Change, Computationally. CoRR (2022)
Christoph Beierle, Martin von Berg, Arthur Sanin
Realization of c-Inference as a SAT Problem. FLAIRS (2022)
Kai Sauerwald, Christoph Beierle
Iterated Belief Change, Computationally. KR (2022)
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)
Anne-Kathrin Schumann, Christoph Beierle, Norbert Blößner
Using finite-state machines to automatically scan Ancient Greek hexameter. Digit. Scholarsh. Humanit. 37 (1) (2022)
Gabriele Kern-Isberner, Jesse Heyninck, Christoph Beierle
Conditional Independence for Iterated Belief Revision. IJCAI (2022)
Jonas Haldimann, Christoph Beierle
Inference with System W Satisfies Syntax Splitting. CoRR (2022)
Christoph Beierle, Jonas Haldimann
Normal Forms of Conditional Belief Bases Respecting Inductive Inference. FLAIRS (2022)
Christoph Beierle, Jonas Haldimann
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. Ann. Math. Artif. Intell. 90 (2) (2022)
Jonas Haldimann, Christoph Beierle
Model Transformations for Ranking Functions and Total Preorders. CoRR (2022)
Jonas Haldimann, Christoph Beierle
Properties of System W and Its Relationships to Other Inductive Inference Operators. FoIKS (2022)
Kai Sauerwald, Gabriele Kern-Isberner, Alexander Becker, Christoph Beierle
From Forgetting Signature Elements to Forgetting Formulas in Epistemic States. SUM (2022)
Steven Kutsch, Christoph Beierle
Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations. Int. J. Approx. Reason. 130 (2021)
Anne-Kathrin Schumann, Christoph Beierle, Norbert Blößner
Using Finite-State Machines to Automatically Scan Classical Greek Hexameter. CoRR (2021)
Meliha Sezgin, Gabriele Kern-Isberner, Christoph Beierle
Ranking kinematics for revising by contextual information. Ann. Math. Artif. Intell. 89 (10-11) (2021)
Steven Kutsch, Christoph Beierle
InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions. IJCAI (2021)
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope. CoRR (2021)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
Conditional Inference and Activation of Knowledge Entities in ACT-R. CoRR (2021)
Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. JELIA (2021)
Christoph Beierle, Jonas Haldimann, Steven Kutsch
A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures. FLAIRS Conference (2021)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
A Brief Introduction Into Activation-Based Conditional Inference. FCR@KI (2021)
Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner
Semantic Splitting of Conditional Belief Bases. Logic, Computation and Rigorous Methods (2021)
Alexander Becker, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
Forgetting Formulas and Signature Elements in Epistemic States. CoRR (2021)
Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
Towards a framework of hansson's descriptor revision for conditionals. SAC (2021)
Christoph Beierle, Gabriele Kern-Isberner
Selection Strategies for Inductive Reasoning From Conditional Belief Bases and for Belief Change Respecting the Principle of Conditional Preservation. FLAIRS Conference (2021)
Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. Artif. Intell. 297 (2021)
Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
Conditional Descriptor Revision and Its Modelling by a CSP. JELIA (2021)
Christoph Beierle, Jonas Haldimann
Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings. FoIKS (2020)
Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. CoRR (2020)
Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, Kai Sauerwald
Cognitive Logics - Features, Formalisms, and Challenges. ECAI (2020)
Christoph Beierle, Jonas Haldimann
Transforming Conditional Knowledge Bases into Renaming Normal Form. FLAIRS Conference (2020)
Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. KI (2020)
Christian Komo, Christoph Beierle
Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds. KI (2020)
Gabriele Kern-Isberner, Christoph Beierle, Gerhard Brewka
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. KR (2020)
Jonas Haldimann, Anna Osiak, Christoph Beierle
Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic. KI (2020)
Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle
Syntax Splitting for Iterated Contractions. KR (2020)
Christian Komo, Christoph Beierle
Upper and lower bounds for finite domain constraints to realize skeptical inference over conditional knowledge bases. ISAIM (2020)
Christian Komo, Christoph Beierle
Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds. CoRR (2020)
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
A Conditional Perspective for Iterated Belief Contraction. ECAI (2020)
Christoph Beierle, Steven Kutsch
Computation and comparison of nonmonotonic skeptical inference relations induced by sets of ranking models for the realization of intelligent agents. Appl. Intell. 49 (1) (2019)
Christoph Beierle, Ingo J. Timm
Intentional Forgetting: An Emerging Field in AI and Beyond. Künstliche Intell. 33 (1) (2019)
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
A Conditional Perspective for Iterated Belief Contraction. CoRR (2019)
Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, Kai Sauerwald
Axiomatic Evaluation of Epistemic Forgetting Operators. FLAIRS Conference (2019)
Christoph Beierle, Steven Kutsch
Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence. JELIA (2019)
Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle
Belief Change Properties of Forgetting Operations over Ranking Functions. PRICAI (1) (2019)
Steven Kutsch, Christoph Beierle
Computation of Closures of Nonmonotonic Inference Relations Induced by Conditional Knowledge Bases. ECSQARU (2019)
Christoph Beierle, Jan Ole Berndt, Norbert Gronau, Ingo J. Timm
Intentional Forgetting: A Huge Potential for Organizations - Interview with Prof. Norbert Gronau, University of Potsdam. Künstliche Intell. 33 (1) (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)
Christoph Beierle
Inferential equivalence, normal forms, and isomorphisms of knowledge bases in institutions of conditional logics. SAC (2019)
Christoph Beierle, Steven Kutsch, Kai Sauerwald
Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. Ann. Math. Artif. Intell. 87 (1-2) (2019)
Kai Sauerwald, Christoph Beierle
Decrement Operators in Belief Change. CoRR (2019)
Ingo J. Timm, Otthein Herzog, Jan Ole Berndt, Christoph Beierle
Intentional Forgetting Must be Part of the Functionality - Interview with Prof. Otthein Herzog, Jacobs University Bremen, University of Bremen, and Tongij University, Shanghai. Künstliche Intell. 33 (1) (2019)
Christoph Beierle, Steven Kutsch, Henning Breuers
On Rational Monotony and Weak Rational Monotony for Inference Relations Induced by Sets of Minimal C-Representations. FLAIRS Conference (2019)
Christoph Beierle, Klaus-Dieter Schewe
Type-2 effectivity in abstract state machines for algorithms with exact real arithmetic. Sci. Comput. Program. 184 (2019)
Christian Wriedt, Christoph Beierle
Implementation of Trajectory Planning for Automated Driving Systems using Constraint Logic Programming. ICAART (2) (2019)
Kai Sauerwald, Christoph Beierle
Decrement Operators in Belief Change. ECSQARU (2019)
Christoph Beierle, Steven Kutsch
On the Antecedent Normal Form of Conditional Knowledge Bases. ECSQARU (2019)
Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja Bock, Marco Ragni
Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management. Künstliche Intell. 33 (1) (2019)
Christoph Beierle, Klaus-Dieter Schewe
Abstract State Machines with Exact Real Arithmetic. ABZ (2018)
Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, Christoph Beierle
Towards a Formal Foundation of Cognitive Architectures. CogSci (2018)
Christoph Beierle, Steven Kutsch, Gabriele Kern-Isberner
From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Andre Thevapalan, Gabriele Kern-Isberner, Diana Howey, Christoph Beierle, Ralf Georg Meyer, Mathias Nietzke
Decision Support Core System for Cancer Therapies Using ASP-HEX. FLAIRS Conference (2018)
Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, Kai Sauerwald
Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management. KI (2018)
Christoph Beierle, Steven Kutsch, Kai Sauerwald
Compilation of Conditional Knowledge Bases for Computing C-Inference Relations. FoIKS (2018)
Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Ann. Math. Artif. Intell. 83 (3-4) (2018)
Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle
A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies. FoIKS (2018)
Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niederée, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt, Christoph Beierle
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. KI (2018)
Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner
A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic. FLAP 4 (7) (2017)
Christoph Beierle, Norbert Blößner, Sebastian Kruse
Using Methods of Computational Linguistics for Resolving the "Homeric Question". DH (2017)
Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner
On Transformations and Normal Forms of Conditional Knowledge Bases. IEA/AIE (1) (2017)
Christoph Beierle, Christian Eichhorn, Steven Kutsch
A Practical Comparison of Qualitative Inferences with Preferred Ranking Models. Künstliche Intell. 31 (1) (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, Tanja Bock, Kai Sauerwald, Christoph Beierle
Iterated contraction of propositions and conditionals under the principle of conditional preservation. GCAI (2017)
Christoph Beierle
Management of uncertainty in Artificial Intelligence and databases. Int. J. Approx. Reason. 86 (2017)
Christoph Beierle, Steven Kutsch
Regular and Sufficient Bounds of Finite Domain Constraints for Skeptical C-Inference. IEA/AIE (1) (2017)
Christoph Beierle, Bettina Sader, Christian Eichhorn, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke
On the Ontological Modelling of Co-medication and Drug Interactions in Medical Cancer Therapy Regimens for a Clinical Decision Support System. CBMS (2017)

Christoph Beierle.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christoph Beierle