Sciweavers

ECAI
2004
Springer
14 years 5 months ago
Learning Techniques for Automatic Algorithm Portfolio Selection
The purpose of this paper is to show that a well known machine learning technique based on Decision Trees can be effectively used to select the best approach (in terms of efficien...
Alessio Guerri, Michela Milano
ECAI
2004
Springer
14 years 5 months ago
Multiple Relaxations in Temporal Planning
CRIKEY is a planner that separates out the scheduling from the classical parts of temporal planning. This can be seen as a relaxation of the temporal information during the classic...
Keith Halsey, Derek Long, Maria Fox
ECAI
2004
Springer
14 years 5 months ago
A Semantics for Abstraction
ics for abstraction Chiara Ghidini1 and Fausto Giunchiglia2 Abstract. The goal of this paper is to propose a model-theoretic formalization of abstraction, where abstraction is mode...
Chiara Ghidini, Fausto Giunchiglia
ECAI
2004
Springer
14 years 5 months ago
Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern
Finite-domain constraint programming can be used to solve a wide range of problems by first modelling the problem as a set of constraints that characterise the problem’s solutio...
Alan M. Frisch, Christopher Jefferson, Ian Miguel
ECAI
2004
Springer
14 years 5 months ago
Planning with Numerical Expressions in LPG
Abstract. We present some techniques for handling planning problems with numerical expressions that can be specified using the standard planning language PDDL. These techniques ar...
Alfonso Gerevini, Alessandro Saetti, Ivan Serina
ECAI
2004
Springer
14 years 5 months ago
An Investigation into the Expressive Power of PDDL2.1
The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparked off some controversy in the planning community as researchers consider its exp...
Maria Fox, Derek Long, Keith Halsey
ECAI
2004
Springer
14 years 5 months ago
Indirect and Conditional Sensing in the Event Calculus
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
Jeremy Forth, Murray Shanahan
ECAI
2004
Springer
14 years 5 months ago
Game-Theoretic Agent Programming in Golog
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
Alberto Finzi, Thomas Lukasiewicz
ECAI
2004
Springer
14 years 5 months ago
Automatic Induction of Domain-Related Information: Learning Descriptors Type Domains
Abstract. Learning in complex contexts often requires pure induction to be supported by various kinds of meta-information. Providing such information is a critical, difficult and ...
Stefano Ferilli, Floriana Esposito, Teresa Maria A...
ECAI
2004
Springer
14 years 5 months ago
Interactive Task Planning through Multiple Abstraction: Application to Assistant Robotics
ive Task Planning through Multiple Abstraction: Application to Assistant Robotics Cipriano Galindo and Javier Gonzalez and Juan-Antonio Fernandez-Madrigal1
Cipriano Galindo, Javier Gonzalez, Juan-Antonio Fe...