Sciweavers

420 search results - page 51 / 84
» Reasoning about Evolving Nonmonotonic Knowledge Bases
Sort
View
FSS
2008
145views more  FSS 2008»
13 years 7 months ago
A logic programming framework for possibilistic argumentation: Formalization and logical properties
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
Teresa Alsinet, Carlos Iván Chesñeva...
AIMDM
1999
Springer
13 years 12 months ago
Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...
Jorge Cruz, Pedro Barahona, Frédéric...
KR
2004
Springer
14 years 28 days ago
Partial Implication Semantics for Desirable Propositions
Motivational attitudes play an important role in investigations into intelligent agents. One of the key problems of representing and reasoning about motivational attitudes is whic...
Yi Zhou, Xiaoping Chen
ICAIL
2009
ACM
14 years 2 months ago
Modular argumentation for modelling legal doctrines of performance relief
Legal doctrines provide principles, guidelines and rules for dispute resolution in reasoning with cases. To apply legal doctrines, the context of a contract consisting of differe...
Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung
UAI
1997
13 years 9 months ago
Score and Information for Recursive Exponential Models with Incomplete Data
Recursive graphical models usually underlie the statistical modelling concerning probabilistic expert systems based on Bayesian networks. This paper de nes a version of these mode...
Bo Thiesson