| Publication | Date of Publication | Type |
|---|
| A formal approach to embedding first-principles planning in BDI agent systems | 2023-07-28 | Paper |
| Existence of non-symmetric solutions to the Gaussian Minkowski problem | 2023-01-23 | Paper |
| Uniqueness of solutions to the logarithmic Minkowski problem in \(\mathbb{R}^3\) | 2022-12-08 | Paper |
| Existence and uniqueness of solutions to the Orlicz Aleksandrov problem | 2022-06-13 | Paper |
| Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments | 2017-04-10 | Paper |
| Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs | 2016-05-19 | Paper |
| Game-Theoretic Resource Allocation with Real-Time Probabilistic Surveillance Information | 2015-11-10 | Paper |
| A belief revision framework for revising epistemic states with partial epistemic states | 2015-05-18 | Paper |
| Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases | 2014-10-08 | Paper |
| Managing software requirements changes based on negotiation-style revision | 2014-02-06 | Paper |
| From inconsistency handling to non-canonical requirements management: a logical perspective | 2013-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906132 | 2013-02-07 | Paper |
| Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction | 2012-10-01 | Paper |
| Measuring the blame of each formula for inconsistent prioritized knowledge bases | 2012-06-20 | Paper |
| A syntax-based approach to measuring the degree of inconsistency for belief bases | 2011-11-22 | Paper |
| A framework for managing uncertain inputs: an axiomization of rewarding | 2011-11-22 | Paper |
| Modeling and reasoning with qualitative comparative clinical knowledge | 2011-02-04 | Paper |
| An XML Based Framework for Merging Incomplete and Inconsistent Statistical Information from Clinical Trials | 2010-10-01 | Paper |
| Measuring conflict and agreement between two prioritized knowledge bases in possibilistic logic | 2010-07-28 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2010-04-06 | Paper |
| The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases | 2009-07-02 | Paper |
| Knowledge Base Stratification and Merging Based on Degree of Support | 2009-07-02 | Paper |
| Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging | 2009-06-23 | Paper |
| Knowledge Base Revision in Description Logics | 2008-10-30 | Paper |
| Approaches to Constructing a Stratified Merged Knowledge Base | 2008-09-16 | Paper |
| Conflict Analysis and Merging Operators Selection in Possibility Theory | 2008-09-16 | Paper |
| Combining multiple prioritized knowledge bases by negotiation | 2007-10-29 | Paper |
| Analyzing the degree of conflict among belief functions | 2007-10-23 | Paper |
| A split-combination approach to merging knowledge bases in possibilistic logic | 2007-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3413366 | 2007-01-04 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2006-06-23 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2006-06-23 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2006-06-23 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2006-06-23 | Paper |
| Rough operations on Boolean algebras | 2005-10-10 | Paper |
| Reinvestigating Dempster's idea on evidence combination | 2003-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4787414 | 2003-01-06 | Paper |
| Learning Bayesian networks from data: An information-theory based approach | 2002-07-15 | Paper |
| Propositional, probabilistic and evidential reasoning. Integrating numerical and symbolic approaches | 2001-10-30 | Paper |
| Constructing probabilistic ATMSs using extended incidence calculus | 1999-12-20 | Paper |
| Assignment methods for incidence calculus | 1995-08-27 | Paper |
