| Publication | Date of Publication | Type |
|---|
| Propositional variable forgetting and marginalization: semantically, two sides of the same coin | 2024-10-30 | Paper |
| Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference | 2024-10-30 | Paper |
| Core c-representations and c-core closure for conditional belief bases | 2024-10-30 | Paper |
| Drawing inferences under maximum entropy from relational probabilistic knowledge using group theory | 2024-09-09 | Paper |
| On the cognitive logic of human propositional reasoning: merging ranking functions | 2024-08-15 | Paper |
| Splitting techniques for conditional belief bases in the context of c-representations | 2024-05-29 | Paper |
| Rational closure extension in SPO-representable inductive inference operators | 2024-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6145975 | 2024-02-02 | Paper |
| From forgetting signature elements to forgetting formulas in epistemic states | 2023-07-26 | Paper |
| Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks | 2023-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6156536 | 2023-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6156539 | 2023-06-13 | Paper |
| Towards causality-based conflict resolution in answer set programs | 2023-04-04 | Paper |
| Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management | 2023-03-24 | Paper |
| Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence | 2023-03-24 | Paper |
| A kinematics principle for iterated revision | 2023-01-04 | Paper |
| A conditional-logical approach to minimum cross-entropy | 2022-11-09 | Paper |
| First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy | 2022-11-04 | Paper |
| Semantic splitting of conditional belief bases | 2022-03-22 | Paper |
| On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics | 2021-12-17 | Paper |
| Ranking kinematics for revising by contextual information | 2021-12-17 | Paper |
| Conditional descriptor revision and its modelling by a CSP | 2021-12-01 | Paper |
| Syntax splitting for iterated contractions, ignorations, and revisions on ranking functions using selection strategies | 2021-12-01 | Paper |
| Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models | 2021-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999293 | 2021-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5145813 | 2021-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5133479 | 2020-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5116414 | 2020-08-25 | Paper |
| Maximum entropy calculations for the probabilistic description logic \(\mathcal{ALC}^{\mathsf{ME}}\) | 2020-06-04 | Paper |
| The complexity of the consistency problem in the probabilistic description logic \(\mathcal{ALC}^\mathsf{ME}\) | 2020-05-13 | Paper |
| Counting strategies for the probabilistic description logic \(\mathcal{ALC}^\mathsf{ME}\) under the principle of maximum entropy | 2020-02-18 | Paper |
| Argumentation-based explanations for answer sets using ADF | 2019-10-10 | Paper |
| Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem | 2018-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4576240 | 2018-07-12 | Paper |
| A generalized iterative scaling algorithm for maximum entropy model computations respecting probabilistic independencies | 2018-06-26 | Paper |
| System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases | 2017-11-17 | Paper |
| CP- and OCF-networks -- a comparison | 2017-11-14 | Paper |
| Plausible reasoning and plausibility monitoring in language comprehension | 2017-10-20 | Paper |
| What kind of independence do we need for multiple iterated belief change? | 2017-09-29 | Paper |
| A transformation system for unique minimal normal forms of conditional knowledge bases | 2017-09-05 | Paper |
| A semantics for conditionals with default negation | 2017-09-05 | Paper |
| Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory | 2017-03-06 | Paper |
| Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem | 2016-05-19 | Paper |
| A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics | 2015-12-23 | Paper |
| Using inductive reasoning for completing OCF-networks | 2015-12-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457250 | 2015-12-11 | Paper |
| A System Z-like Approach for First-Order Default Reasoning | 2015-02-04 | Paper |
| LEG Networks for Ranking Functions | 2015-01-14 | Paper |
| Structural inference from conditional knowledge bases | 2014-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5414677 | 2014-05-07 | Paper |
| Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions | 2014-03-31 | Paper |
| On the Problem of Reversing Relational Inductive Knowledge Representation | 2013-08-05 | Paper |
| Stratified belief bases revision with argumentative inference | 2013-04-11 | Paper |
| Semantical investigations into nonmonotonic and probabilistic logics | 2013-01-04 | Paper |
| On probabilistic inference in relational conditional logics | 2012-10-19 | Paper |
| Belief Base Change Operations for Answer Set Programming | 2012-09-21 | Paper |
| Prioritized and non-prioritized multiple change on belief bases | 2012-05-23 | Paper |
| \textsc{Argonauts}: a working system for motivated cooperative agents | 2012-03-23 | Paper |
| Relational Probabilistic Conditional Reasoning at Maximum Entropy | 2011-06-29 | Paper |
| On Influence and Contractions in Defeasible Logic Programming | 2011-05-26 | Paper |
| Preference fusion for default reasoning beyond system Z | 2010-08-23 | Paper |
| Formal similarities and differences among qualitative conditional semantics | 2010-04-07 | Paper |
| Probabilistic abduction without priors | 2010-03-18 | Paper |
| KI 2003: Advances in Artificial Intelligence | 2010-03-03 | Paper |
| KI 2003: Advances in Artificial Intelligence | 2010-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408151 | 2010-02-24 | Paper |
| Qualitative Knowledge Discovery | 2009-01-22 | Paper |
| A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description) | 2008-11-27 | Paper |
| A Verified AsmL Implementation of Belief Revision | 2008-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3442581 | 2007-05-18 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5468890 | 2006-05-03 | Paper |
| Combining probabilistic logic programming with the power of maximum entropy | 2006-02-07 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| Conditionals, Information, and Inference | 2005-08-17 | Paper |
| Belief revision and information fusion on optimum entropy | 2005-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472213 | 2004-08-04 | Paper |
| A thorough axiomatization of a principle of conditional preservation in belief revision | 2004-03-15 | Paper |
| Handling conditionals adequately in uncertain reasoning and belief revision | 2004-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448565 | 2004-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4452133 | 2004-02-11 | Paper |
| Conditional indifference and conditional preservation | 2004-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413678 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708915 | 2003-06-20 | Paper |
| From information to probability: An axiomatic approach-Inference is information processing | 2003-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4546714 | 2003-02-06 | Paper |
| Explanations, belief revision and defeasible reasoning. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784867 | 2002-12-12 | Paper |
| Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494327 | 2001-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524980 | 2001-01-16 | Paper |
| A note on conditional logics and entropy | 2000-01-17 | Paper |
| SPIRIT and Léa Sombé: A study in probabilistic reasoning | 1999-06-28 | Paper |
| Characterizing the principle of minimum cross-entropy within a conditional-logical framework | 1998-08-13 | Paper |
| Representation and extraction of information by probabilistic logic | 1997-08-20 | Paper |
| Interpreting a contingency table by rules | 1996-07-08 | Paper |
| Normalteiler vom Geschlecht eins in freien Produkten endlicher zyklischer Gruppen. (Normal subgroups of genus one in free products of finite cyclic groups) | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3704091 | 1985-01-01 | Paper |
| A note on numbers of the form \(n=x^ 2+Ny^ 2\) | 1984-01-01 | Paper |
| Einige Bemerkungen über Untergruppen der \(\mathrm{PSL}(2, \mathbb C)\) | 1983-01-01 | Paper |
| Über Diskretheitsbedingungen und die diophantische Gleichung \(ax^ 2+by^ 2+cz^ 2=dxyz\) | 1980-01-01 | Paper |
