Sciweavers

130 search results - page 14 / 26
» ecai 2006
Sort
View
ECAI
2006
Springer
15 years 1 months ago
Unified Definition of Heuristics for Classical Planning
In many types of planning algorithms distance heuristics play an important role. Most of the earlier works restrict to STRIPS operators, and their application to a more general lan...
Jussi Rintanen
70
Voted
ECAI
2006
Springer
15 years 1 months ago
Enhancing Constraints Manipulation in Semiring-Based Formalisms
Abstract. Many "semiring-like" structures are used in Soft Constraint Satisfaction Problems (SCSPs). We review a few properties of semirings that are useful for dealing w...
Stefano Bistarelli, Fabio Gadducci
63
Voted
ECAI
2006
Springer
15 years 1 months ago
Distributed Log-Based Reconciliation
Computer Supported Cooperative Work (CSCW) defines software tools and technology to support groups of people working together on a project, often at different sites [5]. In this wo...
Yek Loong Chong, Youssef Hamadi
70
Voted
ECAI
2006
Springer
15 years 1 months ago
Conceptual Hierarchies Matching: An Approach Based on Discovery of Implication Rules Between Concepts
Abstract. Most research works about ontology or schema matching are based on symmetric similarity measures. By transposing the association rules paradigm, we propose to use asymmet...
Jérôme David, Fabrice Guillet, R&eacu...
ECAI
2006
Springer
15 years 1 months ago
Extracting MUCs from Constraint Networks
Abstract. We address the problem of extracting Minimal Unsatisfiable Cores (MUCs) from constraint networks. This computationally hard problem has a practical interest in many appli...
Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Fr...