| Publication | Date of Publication | Type |
|---|
A formal approach to embedding first-principles planning in BDI agent systems
Lecture Notes in Computer Science | 2023-07-28 | Paper |
Existence of non-symmetric solutions to the Gaussian Minkowski problem
The Journal of Geometric Analysis | 2023-01-23 | Paper |
Uniqueness of solutions to the logarithmic Minkowski problem in \(\mathbb{R}^3\)
Advances in Mathematics | 2022-12-08 | Paper |
Existence and uniqueness of solutions to the Orlicz Aleksandrov problem
Calculus of Variations and Partial Differential Equations | 2022-06-13 | Paper |
Managing different sources of uncertainty in a BDI framework in a principled way with tractable fragments
Journal of Artificial Intelligence Research | 2017-04-10 | Paper |
Anytime algorithms for solving possibilistic MDPs and hybrid MDPs
Lecture Notes in Computer Science | 2016-05-19 | Paper |
Game-theoretic resource allocation with real-time probabilistic surveillance information
Lecture Notes in Computer Science | 2015-11-10 | Paper |
A belief revision framework for revising epistemic states with partial epistemic states
International Journal of Approximate Reasoning | 2015-05-18 | Paper |
Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
International Journal of Approximate Reasoning | 2014-10-08 | Paper |
Managing software requirements changes based on negotiation-style revision
Journal of Computer Science and Technology | 2014-02-06 | Paper |
From inconsistency handling to non-canonical requirements management: a logical perspective
International Journal of Approximate Reasoning | 2013-06-13 | Paper |
scientific article; zbMATH DE number 6135074 (Why is no real title available?)
| 2013-02-07 | Paper |
Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
Annals of Mathematics and Artificial Intelligence | 2012-10-01 | Paper |
Measuring the blame of each formula for inconsistent prioritized knowledge bases
Journal of Logic and Computation | 2012-06-20 | Paper |
A syntax-based approach to measuring the degree of inconsistency for belief bases
International Journal of Approximate Reasoning | 2011-11-22 | Paper |
A framework for managing uncertain inputs: an axiomization of rewarding
International Journal of Approximate Reasoning | 2011-11-22 | Paper |
Modeling and reasoning with qualitative comparative clinical knowledge
International Journal of Intelligent Systems | 2011-02-04 | Paper |
An XML based framework for merging incomplete and inconsistent statistical information from clinical trials
Soft Computing in XML Data Management | 2010-10-01 | Paper |
Measuring conflict and agreement between two prioritized knowledge bases in possibilistic logic
Fuzzy Sets and Systems | 2010-07-28 | Paper |
Computational-workload based binarization and partition of qualitative Markov trees for belief combination
Lecture Notes in Computer Science | 2010-04-06 | Paper |
The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Knowledge Base Stratification and Merging Based on Degree of Support
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging
Fundamenta Informaticae | 2009-06-23 | Paper |
Knowledge Base Revision in Description Logics
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Approaches to Constructing a Stratified Merged Knowledge Base
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Conflict Analysis and Merging Operators Selection in Possibility Theory
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Combining multiple prioritized knowledge bases by negotiation
Fuzzy Sets and Systems | 2007-10-29 | Paper |
Analyzing the degree of conflict among belief functions
Artificial Intelligence | 2007-10-23 | Paper |
A split-combination approach to merging knowledge bases in possibilistic logic
Annals of Mathematics and Artificial Intelligence | 2007-08-23 | Paper |
scientific article; zbMATH DE number 5081761 (Why is no real title available?)
| 2007-01-04 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Rough operations on Boolean algebras
Information Sciences | 2005-10-10 | Paper |
Reinvestigating Dempster's idea on evidence combination
Knowledge and Information Systems | 2003-01-08 | Paper |
scientific article; zbMATH DE number 1849171 (Why is no real title available?)
| 2003-01-06 | Paper |
Learning Bayesian networks from data: An information-theory based approach
Artificial Intelligence | 2002-07-15 | Paper |
Propositional, probabilistic and evidential reasoning. Integrating numerical and symbolic approaches
Studies in Fuzziness and Soft Computing | 2001-10-30 | Paper |
Constructing probabilistic ATMSs using extended incidence calculus
International Journal of Approximate Reasoning | 1999-12-20 | Paper |
Assignment methods for incidence calculus
International Journal of Approximate Reasoning | 1995-08-27 | Paper |
