Sciweavers

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...
ECAI
2004
Springer
14 years 5 months ago
Similarity-Based Ontology Alignment in OWL-Lite
Jérôme Euzenat, Petko Valtchev
ECAI
2004
Springer
14 years 5 months ago
Likely-Admissible and Sub-Symbolic Heuristics
Marco Ernandes, Marco Gori
ECAI
2004
Springer
14 years 5 months ago
Tractability Results for Automatic Contracting
Abstract. Automated negotiation techniques have received considerable attention over the past decade, and much progress has been made in developing negotiation protocols and strate...
Paul E. Dunne, Michael Laurence, Michael Wooldridg...
ECAI
2004
Springer
14 years 5 months ago
Context Dependence in Multiagent Resource Allocation
A standard assumption in studies of multiagent resource allocation problems is that the value an individual agent places on its assignment remains unchanged by any redistribution ...
Paul E. Dunne
ECAI
2004
Springer
14 years 5 months ago
Towards a Logical Analysis of Biochemical Reactions
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide addition...
Patrick Doherty, Steve Kertes, Martin Magnusson, A...
ECAI
2004
Springer
14 years 5 months ago
A Tabulation Proof Procedure for Residuated Logic Programming
Carlos Viegas Damásio, Jesús Medina,...
ECAI
2004
Springer
14 years 5 months ago
Compilation of LTL Goal Formulas into PDDL
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
Stephen Cresswell, Alexandra M. Coddington
ECAI
2004
Springer
14 years 5 months ago
Adapting LPGP to Plan with Deadlines
This paper describes two approaches that enable the AI Planner LPGP to reason about domains with exogenous events and goals with duration: the first investigates how such domains...
Stephen Cresswell, Alexandra M. Coddington