Christoph Beierle
31 publications
12 venues
H Index 8
Affiliation
University of Hagen, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Conditional Syntax Splitting for Non-monotonic Inference Operators.
|
AAAI | 2023 | 0 |
| Rational Closure Extension in SPO-Representable Inductive Inference Operators.
|
JELIA | 2023 | 0 |
| Splitting Techniques for Conditional Belief Bases in the Context of c-Representations.
|
JELIA | 2023 | 0 |
| Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds.
|
KR | 2023 | 0 |
| A kinematics principle for iterated revision.
|
Artificial Intelligence | 2023 | 0 |
| Inference with System W Satisfies Syntax Splitting.
|
KR | 2022 | 2 |
| Conditional Independence for Iterated Belief Revision.
|
IJCAI | 2022 | 1 |
| Iterated Belief Change, Computationally.
|
KR | 2022 | 0 |
| Conditional Descriptor Revision and Its Modelling by a CSP.
|
JELIA | 2021 | 1 |
| Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies.
|
JELIA | 2021 | 2 |
| InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions.
|
IJCAI | 2021 | 4 |
| Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models.
|
Artificial Intelligence | 2021 | 9 |
| Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases.
|
KR | 2020 | 17 |
| Cognitive Logics - Features, Formalisms, and Challenges.
|
ECAI | 2020 | 1 |
| Syntax Splitting for Iterated Contractions.
|
KR | 2020 | 3 |
| A Conditional Perspective for Iterated Belief Contraction.
|
ECAI | 2020 | 0 |
| Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence.
|
JELIA | 2019 | 8 |
| Towards a Formal Foundation of Cognitive Architectures.
|
Cognitive Science | 2018 | 5 |
| Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions.
|
ECAI | 2016 | 17 |
| 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 | 23 |
| An Order-Sorted Logic for Knowledge Representation Systems.
|
Artificial Intelligence | 1992 | 78 |
| Feature graphs and abstract data types: a unifying approach.
|
COLING | 1988 | 10 |
| Automatic Theorem Proving in the ISDV System.
|
CADE | 1986 | 0 |
| Vertical and Horizontal Compositions of Implementation Specifications.
|
ADT | 1986 | 1 |
| Implementation Specifications.
|
ADT | 1984 | 25 |
| A Parameterization Concept for Hierarchies of Specifications.
|
ADT | 1983 | 1 |
| Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras.
|
ADT | 1982 | 1 |
| Synthesizing Minimal Programs from Traces of Observable Behaviour.
|
ECAI | 1982 | 3 |