| Publication | Date of Publication | Type |
|---|
| 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 |
| Propositional variable forgetting and marginalization: semantically, two sides of the same coin | 2024-10-30 | Paper |
| Scaling up nonmonotonic c-inference via partial MaxSAT problems | 2024-10-30 | Paper |
| Drawing inferences under maximum entropy from relational probabilistic knowledge using group theory | 2024-09-09 | Paper |
| Approximations of system W between c-inference, system Z, and lexicographic inference | 2024-08-15 | Paper |
| Representing nonmonotonic inference based on c-representations as an SMT problem | 2024-08-15 | 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 |
| From forgetting signature elements to forgetting formulas in epistemic states | 2023-07-26 | Paper |
| Characterizing multipreference closure with system W | 2023-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6156536 | 2023-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6156539 | 2023-06-13 | Paper |
| An implementation of nonmonotonic reasoning with system W | 2023-05-26 | Paper |
| Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation | 2023-03-29 | Paper |
| Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds | 2023-03-29 | Paper |
| Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management | 2023-03-24 | Paper |
| Abstract State Machines with Exact Real Arithmetic | 2023-03-10 | Paper |
| A kinematics principle for iterated revision | 2023-01-04 | Paper |
| Properties of system W and its relationships to other inductive inference operators | 2022-12-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 |
| Nonmonotonic reasoning from conditional knowledge bases with system W | 2022-02-14 | Paper |
| Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings | 2022-02-14 | 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 |
| Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations | 2021-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999293 | 2021-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5133479 | 2020-11-10 | Paper |
| Normal forms of conditional knowledge bases respecting entailments and renamings | 2020-10-26 | Paper |
| Computation of closures of nonmonotonic inference relations induced by conditional knowledge bases | 2020-02-20 | Paper |
| On the antecedent normal form of conditional knowledge bases | 2020-02-20 | Paper |
| Decrement operators in belief change | 2020-02-20 | Paper |
| Systematic generation of conditional knowledge bases up to renaming and equivalence | 2020-02-18 | Paper |
| Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations | 2019-12-09 | 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 |
| Compilation of conditional knowledge bases for computing c-inference relations | 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 |
| A transformation system for unique minimal normal forms of conditional knowledge bases | 2017-09-05 | Paper |
| Comparison of inference relations defined over different sets of ranking functions | 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 |
| Systems and Implementations for Solving Reasoning Problems in Conditional Logics | 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 |
| Towards Lifted Inference Under Maximum Entropy for Probabilistic Relational FO-PCL Knowledge Bases | 2015-11-10 | Paper |
| Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics | 2015-02-05 | Paper |
| A System Z-like Approach for First-Order Default Reasoning | 2015-02-04 | Paper |
| On the Problem of Reversing Relational Inductive Knowledge Representation | 2013-08-05 | Paper |
| Semantical investigations into nonmonotonic and probabilistic logics | 2013-01-04 | Paper |
| How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic | 2012-09-21 | Paper |
| Formal similarities and differences among qualitative conditional semantics | 2010-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408151 | 2010-02-24 | 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 |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Methods of knowledge-based systems. Foundations, algorithms, applications. | 2006-05-03 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| Conditionals, Information, and Inference | 2005-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4452133 | 2004-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413678 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708915 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766785 | 2002-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524791 | 2001-07-03 | Paper |
| Defining standard Prolog in rewriting logic | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499245 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524980 | 2001-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4839033 | 2000-07-04 | Paper |
| Specification and correctness proof of a WAM extension with abstract type constraints | 1997-03-03 | Paper |
| Refinement of a typed WAM extension by polymorphic order-sorted types | 1996-12-01 | Paper |
| Run-time type computations in the Warren Abstract machine | 1994-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202930 | 1993-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4013975 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3200598 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3490963 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780424 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3753471 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780489 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4721638 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3723680 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707387 | 1985-01-01 | Paper |
