Sciweavers

ECAI
2004
Springer
13 years 10 months ago
Combining Multiple Answers for Learning Mathematical Structures from Visual Observation
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential capabilities for any intelligent agent to understand ...
Paulo Santos, Derek R. Magee, Anthony G. Cohn, Dav...
ECAI
2004
Springer
13 years 10 months ago
Using Constraints with Memory to Implement Variable Elimination
Abstract. Adaptive consistency is a solving algorithm for constraint networks. Its basic step is variable elimination: it takes a network as input, and producesan equivalent networ...
Martí Sánchez, Pedro Meseguer, Javie...
ECAI
2004
Springer
13 years 10 months ago
Diagnosis as Semiring-Based Constraint Optimization
Martin Sachenbacher, Brian C. Williams
ECAI
2004
Springer
13 years 10 months ago
Adaptive Robot Coordination Using Interference Metrics
Abstract. One key issue facing robotic teams is effective coordination mechanisms. Many robotic groups operate within domains where restrictions such as limiting areas of operation...
Avi Rosenfeld, Gal A. Kaminka, Sarit Kraus
ECAI
2004
Springer
13 years 10 months ago
Tractable Symmetry Breaking Using Restricted Search Trees
We present a new conceptual abstraction in symmetry breaking – the GE-tree. The construction and traversal of a GE-tree breaks all symmetries in any constraint satisfaction or si...
Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, St...
ECAI
2004
Springer
13 years 10 months ago
IPSS: A Hybrid Reasoner for Planning and Scheduling
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
María Dolores Rodríguez-Moreno, Ange...
ECAI
2004
Springer
13 years 10 months ago
Emergence of Complex Networks through Local Optimization
Abstract. The emergence of complex network structures of relationships between autonomous agents occurs in a wide range of distributed systems. Many researchers have proposed model...
Josep M. Pujol, Andreas Flache, Ramon Sangües...
ECAI
2004
Springer
13 years 10 months ago
A Generalized Quadratic Loss for Support Vector Machines
The standard SVM formulation for binary classification is based on the Hinge loss function, where errors are considered not correlated. Due to this, local information in the featu...
Filippo Portera, Alessandro Sperduti
ECAI
2004
Springer
13 years 10 months ago
Context-Aware Personalised Service Delivery
Abstract. In this paper we explore the potential of adaptive recommendation techniques in an environment where users can access a variety of services from different locations, and ...
Edoardo Pignotti, Peter Edwards, Gunnar Aastrand G...
ECAI
2004
Springer
13 years 10 months ago
Extending Defeasible Logic and Defeasible Prolog
Abstract. Defeasible logic (DL) promotes enthymemic, argumentative reasoning on incomplete set of premisses retracted on the presence of contrary information. Defeasible Prolog (d-...
Ahti-Veikko Pietarinen