Sciweavers

278 search results - page 44 / 56
» ijcai 2003
Sort
View
90
Voted
IJCAI
2003
15 years 2 months ago
Improving the Performance of Recommender Systems That Use Critiquing
Personalization actions that tailor the Web experience to a particular user are an integral component of recommender systems. Here, product knowledge - either hand-coded or “mine...
Lorraine McGinty, Barry Smyth
107
Voted
IJCAI
2003
15 years 2 months ago
Causes and Explanations Revisited
This paper reconsiders the notions of actual cause and explanation in functional causal models. We demonstrate that isomorphic causal models can generate intuitively different cau...
James D. Park
101
Voted
IJCAI
2003
15 years 2 months ago
Contract Algorithms and Robots on Rays: Unifying Two Scheduling Problems
We study two apparently different, but formally similar, scheduling problems. The first problem involves contract algorithms, which can trade off run time for solution quality, a...
Daniel S. Bernstein, Lev Finkelstein, Shlomo Zilbe...
IJCAI
2003
15 years 2 months ago
A Formalization of Equilibria for Multiagent Planning
Planning has traditionally focused on single agent systems. Although planning domain languages have been extended to multiagent domains, solution concepts have not. Previous solut...
Michael H. Bowling, Rune M. Jensen, Manuela M. Vel...
116
Voted
IJCAI
2003
15 years 2 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...