Sciweavers

895 search results - page 60 / 179
» A Spectrum of Applications of Automated Reasoning
Sort
View
131
Voted
ECSQARU
2007
Springer
15 years 8 months ago
Information Affinity: A New Similarity Measure for Possibilistic Uncertain Information
Abstract. This paper addresses the issue of measuring similarity between pieces of uncertain information in the framework of possibility theory. In a first part, natural properties...
Ilyes Jenhani, Nahla Ben Amor, Zied Elouedi, Salem...
ECSQARU
2009
Springer
15 years 8 months ago
Using Transfinite Ordinal Conditional Functions
Abstract. Ordinal Conditional Functions (OCFs) are one of the predominant frameworks to define belief change operators. In his original paper Spohn defines OCFs as functions from t...
Sébastien Konieczny
141
Voted
EWCBR
2006
Springer
15 years 8 months ago
Combining Case-Based and Similarity-Based Product Recommendation
Product recommender systems are a popular application and research field of CBR for several years now. However, almost all CBRbased recommender systems are not case-based in the or...
Armin Stahl
GIS
2000
ACM
15 years 8 months ago
Metric operations on fuzzy spatial objects in databases
Uncertainty management for geometric data is currently an important problem for (extensible) databases in general and for spatial databases, image databases, and GIS in particular...
Markus Schneider
CSL
2008
Springer
15 years 6 months ago
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
Interval logics are an important area of computer science. Although attention has been mainly focused on unary operators, an early work by Venema (1991) introduced an expressively ...
Ian Hodkinson, Angelo Montanari, Guido Sciavicco