Sciweavers

IJCAI
2003
13 years 6 months ago
A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint
In constraint programming one models a problem by stating constraints on acceptable solutions. The constraint model is then usually solved by interleaving backtracking search and ...
Alejandro López-Ortiz, Claude-Guy Quimper, ...
IJCAI
2003
13 years 6 months ago
An Epistemic Logic for Arbitration (Extended Abstract)
emic Logic for Arbitration (Extended Abstract)
Churn-Jung Liau
IJCAI
2003
13 years 6 months ago
Learning to Classify Texts Using Positive and Unlabeled Data
In traditional text classification, a classifier is built using labeled training documents of every class. This paper studies a different problem. Given a set P of documents of a ...
Xiaoli Li, Bing Liu
IJCAI
2003
13 years 6 months ago
Local-Effect Games
We present a new class of games, local-effect games (LEGs), which exploit structure in a different way from other compact game representations studied in AI. We show both theoreti...
Kevin Leyton-Brown, Moshe Tennenholtz
IJCAI
2003
13 years 6 months ago
A Portfolio Approach to Algorithm Selection
Kevin Leyton-Brown, Eugene Nudelman, Galen Andrew,...
IJCAI
2003
13 years 6 months ago
Consistent, Convergent, and Constant-Time SLAM
This paper presents a new efficient algorithm for simultaneous localization and mapping (SLAM), using multiple overlapping submaps, each built with respect to a local frame of re...
John J. Leonard, Paul M. Newman
IJCAI
2003
13 years 6 months ago
Describing Additive Fluents in Action Language C+
An additive fluent is a fluent with numerical values such that the effect of several concurrently executed actions on it can be computed by adding the effects of the individual ac...
Joohyung Lee, Vladimir Lifschitz
IJCAI
2003
13 years 6 months ago
Integrating Information, Applications and Services on the Web
This is a position paper that describes a long-term ongoing research project that is being developed at ITESM. The project is called Bymx. The aim of Bymx is to integrate informat...
Juan C. Lavariega, Lorena G. Gomez-Martinez
IJCAI
2003
13 years 6 months ago
In the quest of the best form of local consistency for Weighted CSP
The weighted CSP (WCSP) framework is a soft constraint framework with a wide range of applications. In this paper, we consider the problem of maintaining local consistency during ...
Javier Larrosa, Thomas Schiex
IJCAI
2003
13 years 6 months ago
Causal Theories of Action: A Computational Core
We propose a framework for simple causal theories of action, and study the computational complexity in it of various reasoning tasks such as determinism, progression and regressio...
Jérôme Lang, Fangzhen Lin, Pierre Mar...