Christoph Beierle
35 publications
12 venues
H Index 10
Affiliation
University of Hagen, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Generalized Safe Conditional Syntax Splitting of Belief Bases.
|
IJCAI | 2025 | 0 |
| The InfOCF Library for Reasoning With Conditional Belief Bases.
|
JELIA | 2025 | 1 |
| Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers.
|
KR | 2024 | 6 |
| Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations.
|
KR | 2024 | 2 |
| Splitting Techniques for Conditional Belief Bases in the Context of c-Representations.
|
JELIA | 2023 | 1 |
| Rational Closure Extension in SPO-Representable Inductive Inference Operators.
|
JELIA | 2023 | 0 |
| Conditional Syntax Splitting for Non-monotonic Inference Operators.
|
AAAI | 2023 | 12 |
| Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds.
|
KR | 2023 | 0 |
| A kinematics principle for iterated revision.
|
Artificial Intelligence | 2023 | 0 |
| Iterated Belief Change, Computationally.
|
KR | 2022 | 2 |
| Inference with System W Satisfies Syntax Splitting.
|
KR | 2022 | 7 |
| Conditional Independence for Iterated Belief Revision.
|
IJCAI | 2022 | 7 |
| Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies.
|
JELIA | 2021 | 3 |
| Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models.
|
Artificial Intelligence | 2021 | 21 |
| Conditional Descriptor Revision and Its Modelling by a CSP.
|
JELIA | 2021 | 2 |
| InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions.
|
IJCAI | 2021 | 13 |
| Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases.
|
KR | 2020 | 37 |
| Cognitive Logics - Features, Formalisms, and Challenges.
|
ECAI | 2020 | 5 |
| Syntax Splitting for Iterated Contractions.
|
KR | 2020 | 5 |
| A Conditional Perspective for Iterated Belief Contraction.
|
ECAI | 2020 | 0 |
| Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence.
|
JELIA | 2019 | 10 |
| Towards a Formal Foundation of Cognitive Architectures.
|
Cognitive Science | 2018 | 6 |
| Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions.
|
ECAI | 2016 | 22 |
| How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic.
|
JELIA | 2012 | 6 |
| A Logical Study on Qualitative Default Reasoning with Probabilities.
|
LPAR | 2003 | 2 |
| Using Institutions for the Study of Qualitative and Quantitative Conditional Logics.
|
JELIA | 2002 | 9 |
| Type Inferencing for Polymorphic Order-Sorted Logic Programs.
|
ICLP | 1995 | 27 |
| An Order-Sorted Logic for Knowledge Representation Systems.
|
Artificial Intelligence | 1992 | 82 |
| Feature graphs and abstract data types: a unifying approach.
|
COLING | 1988 | 10 |
| Vertical and Horizontal Compositions of Implementation Specifications.
|
ADT | 1986 | 1 |
| Automatic Theorem Proving in the ISDV System.
|
CADE | 1986 | 0 |
| Implementation Specifications.
|
ADT | 1984 | 26 |
| A Parameterization Concept for Hierarchies of Specifications.
|
ADT | 1983 | 1 |
| Synthesizing Minimal Programs from Traces of Observable Behaviour.
|
ECAI | 1982 | 3 |
| Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras.
|
ADT | 1982 | 1 |