4573 search results - page 696 / 915 » Automated Reasoning |
77
Voted
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
This paper is centered on the family of Dung’s finite argumentation frameworks when the attacks relation is symmetric (and nonempty and irreflexive). We show that while this fa...
113
Voted
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
The main task of drug discovery is to find novel bioactive molecules, i.e., chemical compounds that, for example, protect human cells against a virus. One way to support solving t...
115
Voted
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...
105
click to vote
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
Information often comes from different sources and merging these sources usually leads to apparition of inconsistencies. Fusion is the operation which consists in restoring the co...
102
Voted
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
Two conciliation processes for intelligent agents based on an iterated mergethen-revise change function for belief profiles are introduced and studied. The first approach is ske...