Sciweavers

4573 search results - page 713 / 915
» Automated Reasoning
Sort
View
114
Voted
ECSQARU
2003
Springer
15 years 8 months ago
On Iterated Revision in the AGM Framework
While AGM belief revision identifies belief states with sets of formulas, proposals for iterated revision are usually based on more complex belief states. In this paper we investi...
Andreas Herzig, Sébastien Konieczny, Lauren...
124
Voted
ECSQARU
2003
Springer
15 years 8 months ago
Computational-Workload Based Binarization and Partition of Qualitative Markov Trees for Belief Combination
Abstract. Binary join trees have been a popular structure to compute the impact of multiple belief functions initially assigned to nodes of trees or networks. Shenoy has proposed t...
Weiru Liu, Xin Hong, Kenneth Adamson
ICCBR
2003
Springer
15 years 8 months ago
Soft Interchangeability for Case Adaptation
In [1] we propose interchangeability based algorithms as methods for solving the case adaptation for the domain of problems which can be expressed as Constraint Satisfaction Proble...
Nicoleta Neagu, Boi Faltings
ICCBR
2003
Springer
15 years 8 months ago
An Investigation of Generalized Cases
In the CBR literature from the past 25 years there is a considerable amount of research work that makes use of cases that are subspaces of some representation space rather than poi...
Kerstin Maximini, Rainer Maximini, Ralph Bergmann
ICCBR
2003
Springer
15 years 8 months ago
On the Role of Diversity in Conversational Recommender Systems
In the past conversational recommender systems have adopted a similarity-based approach to recommendation, preferring cases that are similar to some user query or profile. Recent ...
Lorraine McGinty, Barry Smyth