| 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 |
| scientific article; zbMATH DE number 7799279 (Why is no real title available?) | 2024-02-02 | Paper |
From forgetting signature elements to forgetting formulas in epistemic states
Lecture Notes in Computer Science | 2023-07-26 | Paper |
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks
Artificial Intelligence | 2023-06-19 | Paper |
| scientific article; zbMATH DE number 7695590 (Why is no real title available?) | 2023-06-13 | Paper |
| scientific article; zbMATH DE number 7695592 (Why is no real title available?) | 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
Artificial Intelligence | 2023-01-04 | Paper |
A conditional-logical approach to minimum cross-entropy
Lecture Notes in Computer Science | 2022-11-09 | Paper |
First-order typed model counting for probabilistic conditional reasoning at maximum entropy
Lecture Notes in Computer Science | 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
Annals of Mathematics and Artificial Intelligence | 2021-12-17 | Paper |
Ranking kinematics for revising by contextual information
Annals of Mathematics and Artificial Intelligence | 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
Artificial Intelligence | 2021-11-02 | Paper |
A conditional perspective for iterated belief contraction
(available as arXiv preprint) | 2021-07-06 | Paper |
| An epistemic interpretation of abstract dialectical argumentation | 2021-01-21 | Paper |
| From concepts in non-monotonic reasoning to high-level implementations using abstract state machines and functional programming | 2020-11-10 | Paper |
| Towards conditional logic semantics for abstract dialectical frameworks | 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
Annals of Mathematics and Artificial Intelligence | 2018-09-21 | Paper |
| Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions | 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
International Journal of Approximate Reasoning | 2017-11-17 | Paper |
CP- and OCF-networks -- a comparison
Fuzzy Sets and Systems | 2017-11-14 | Paper |
Plausible reasoning and plausibility monitoring in language comprehension
International Journal of Approximate Reasoning | 2017-10-20 | Paper |
What kind of independence do we need for multiple iterated belief change?
Journal of Applied Logic | 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
Annals of Mathematics and Artificial Intelligence | 2017-03-06 | Paper |
Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
Lecture Notes in Computer Science | 2016-05-19 | Paper |
A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics
Journal of Applied Logic | 2015-12-23 | Paper |
Using inductive reasoning for completing OCF-networks
Journal of Applied Logic | 2015-12-23 | Paper |
| A ranking semantics for first-order conditionals | 2015-12-11 | Paper |
A system Z-like approach for first-order default reasoning
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | Paper |
LEG networks for ranking functions
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Structural inference from conditional knowledge bases
Studia Logica | 2014-09-18 | Paper |
| Credibility-based selective revision by deductive argumentation | 2014-05-07 | Paper |
Reasoning on secrecy constraints under uncertainty to classify possible actions
Lecture Notes in Computer Science | 2014-03-31 | Paper |
On the problem of reversing relational inductive knowledge representation
Lecture Notes in Computer Science | 2013-08-05 | Paper |
Stratified belief bases revision with argumentative inference
Journal of Philosophical Logic | 2013-04-11 | Paper |
Semantical investigations into nonmonotonic and probabilistic logics
Annals of Mathematics and Artificial Intelligence | 2013-01-04 | Paper |
On probabilistic inference in relational conditional logics
Logic Journal of the IGPL | 2012-10-19 | Paper |
Belief Base Change Operations for Answer Set Programming
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Prioritized and non-prioritized multiple change on belief bases
Journal of Philosophical Logic | 2012-05-23 | Paper |
\textsc{Argonauts}: a working system for motivated cooperative agents
Annals of Mathematics and Artificial Intelligence | 2012-03-23 | Paper |
Relational probabilistic conditional reasoning at maximum entropy
Lecture Notes in Computer Science | 2011-06-29 | Paper |
On influence and contractions in defeasible logic programming
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Preference fusion for default reasoning beyond system Z
Journal of Automated Reasoning | 2010-08-23 | Paper |
Formal similarities and differences among qualitative conditional semantics
International Journal of Approximate Reasoning | 2010-04-07 | Paper |
Probabilistic abduction without priors
International Journal of Approximate Reasoning | 2010-03-18 | Paper |
Fusing probabilistic information on maximum entropy
Lecture Notes in Computer Science | 2010-03-03 | Paper |
Self learning or how to make a knowledge base curious about itself
Lecture Notes in Computer Science | 2010-03-03 | Paper |
| scientific article; zbMATH DE number 5674843 (Why is no real title available?) | 2010-02-24 | Paper |
Qualitative Knowledge Discovery
Semantics in Data and Knowledge Bases | 2009-01-22 | Paper |
A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)
Automated Reasoning | 2008-11-27 | Paper |
A Verified AsmL Implementation of Belief Revision
Lecture Notes in Computer Science | 2008-11-11 | Paper |
| scientific article; zbMATH DE number 5155089 (Why is no real title available?) | 2007-05-18 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
| Methods of knowledge-based systems. Foundations, algorithms, applications. | 2006-05-03 | Paper |
Combining probabilistic logic programming with the power of maximum entropy
Artificial Intelligence | 2006-02-07 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Conditionals, Information, and Inference
Lecture Notes in Computer Science | 2005-08-17 | Paper |
Belief revision and information fusion on optimum entropy
International Journal of Intelligent Systems | 2005-01-12 | Paper |
| scientific article; zbMATH DE number 2080026 (Why is no real title available?) | 2004-08-04 | Paper |
A thorough axiomatization of a principle of conditional preservation in belief revision
Annals of Mathematics and Artificial Intelligence | 2004-03-15 | Paper |
Handling conditionals adequately in uncertain reasoning and belief revision
Journal of Applied Non-Classical Logics | 2004-03-07 | Paper |
| scientific article; zbMATH DE number 2044654 (Why is no real title available?) | 2004-02-18 | Paper |
| scientific article; zbMATH DE number 2040983 (Why is no real title available?) | 2004-02-11 | Paper |
Conditional indifference and conditional preservation
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
| scientific article; zbMATH DE number 1951190 (Why is no real title available?) | 2003-07-21 | Paper |
| scientific article; zbMATH DE number 1931657 (Why is no real title available?) | 2003-06-20 | Paper |
From information to probability: An axiomatic approach-Inference is information processing
International Journal of Intelligent Systems | 2003-05-08 | Paper |
| scientific article; zbMATH DE number 1785007 (Why is no real title available?) | 2003-02-06 | Paper |
Explanations, belief revision and defeasible reasoning.
Artificial Intelligence | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1844501 (Why is no real title available?) | 2002-12-12 | Paper |
Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
Lecture Notes in Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1487807 (Why is no real title available?) | 2001-06-05 | Paper |
| scientific article; zbMATH DE number 1552766 (Why is no real title available?) | 2001-01-16 | Paper |
A note on conditional logics and entropy
International Journal of Approximate Reasoning | 2000-01-17 | Paper |
SPIRIT and Léa Sombé: A study in probabilistic reasoning
OR Spektrum | 1999-06-28 | Paper |
Characterizing the principle of minimum cross-entropy within a conditional-logical framework
Artificial Intelligence | 1998-08-13 | Paper |
Representation and extraction of information by probabilistic logic
Information Systems | 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)
Results in Mathematics | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3929295 (Why is no real title available?) | 1985-01-01 | Paper |
A note on numbers of the form \(n=x^ 2+Ny^ 2\)
Archiv der Mathematik | 1984-01-01 | Paper |
Einige Bemerkungen über Untergruppen der \(\mathrm{PSL}(2, \mathbb C)\)
Results in Mathematics | 1983-01-01 | Paper |
Über Diskretheitsbedingungen und die diophantische Gleichung \(ax^ 2+by^ 2+cz^ 2=dxyz\)
Archiv der Mathematik | 1980-01-01 | Paper |
