Sciweavers

420 search results - page 51 / 84
» Reasoning about Evolving Nonmonotonic Knowledge Bases
Sort
View
114
Voted
FSS
2008
145views more  FSS 2008»
15 years 16 days 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...
145
Voted
AIMDM
1999
Springer
15 years 4 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...
107
Voted
KR
2004
Springer
15 years 5 months 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
90
Voted
ICAIL
2009
ACM
15 years 7 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
95
Voted
UAI
1997
15 years 1 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