15th European Conference on Artificial Intelligence
  July 21-26 2002     Lyon     France  
   

ECAI-2002 Table of Contents


AbstractPaper
Author Index
Keyword Index
Preface
[PDF]
 
Agents & Distributed AI
Toward an Automatically Generated Theory of Coordination — Empirical Explorations
Eun Gyung Kim, Nicholas V. Findler
pp.3-7 [PDF]
SouthamptonTAC: Designing a Successful Trading Agent
Minghua He, Nicholas R. Jennings
pp.8-12 [PDF]
Multi-agent models for searching Pareto optimal solutions to the problem of forming and dynamic restructuring of coalitions
Caillou Philippe, Aknine Samir, Pinson Suzanne
pp.13-17 [PDF]
Avoiding Resource Conflicts in Intelligent Agents
John Thangarajah, Michael Winikoff, Lin Padgham, Klaus Fischer
pp.18-22 [PDF]
Polynomial algorithms for clearing multi-unit single-item and multi-unit combinatorial reverse auctions
Viet Dung Dang, Nicholas R. Jennings
pp.23-27 [PDF]
On Modal Logic Interpretations of Games
Paul Harrenstein, Wiebe van der Hoek, John Jules Meyer, Cees Witteveen
pp.28-32 [PDF]
Situated Cooperative Agents: a Powerful Paradigm for MRI Brain Scans Segmentation
Nathalie Richard, Michel Dojat, Catherine Garbay
pp.33-37 [PDF]
An argumentation-based Semantics for Agent Communication Languages
Leila Amgoud, Nicolas Maudet, Simon Parsons
pp.38-42 [PDF]
Verification of Protocols for Automated Negotiation
Shamimabi Paurobally, Jim Cunningham
pp.43-47 [PDF]
Adaptive Combination of Behaviors in an Agent
Olivier Buffet, Alain Dutech, François Charpillet
pp.48-52 [PDF]
Agents and Their Cities
Patricia Charlton, David Bonnefoy, Nicolas Lhuillier
pp.53-57 [PDF]
Engineering Issues in Inter-Agent Dialogues
Nikos Karacapilidis, Pavlos Moraitis
pp.58-62 [PDF]
Building Trading Agents: Challenges and Strategies
Maria Fasli, Ioannis Korres, Michael Michalakopoulos, George Rallidis
pp.63-67 [PDF]
How Situated Agents can Learn to Cooperate by Monitoring their Neighbors' Satisfaction
Jerome Chapelle, Olivier Simonin, Jacques Ferber
pp.68-72 [PDF]
Competing in a Queue for Resource Allocations among Non-Cooperative Agents
Pinata Winoto, Tiffany Ya Tang
pp.73-77 [PDF]
 
Case-based Reasoning
Strong, Fuzzy and Smooth Hierarchical Classification for Case-Based Problem Solving
Jean Lieber
pp.81-85 [PDF]
Recommendation Engineering
David McSherry
pp.86-90 [PDF]
 
Cognitive Modelling
Grounded Models as a Basis for Intuitive and Deductive Reasoning: the Acquisition of Logical Categories
Josefina Sierra-Santibanez
pp.93-97 [PDF]
A multi-agent and emergent approach to learner modelling
Carine Webber, Sylvie Pesty, Nicolas Balacheff
pp.98-102 [PDF]
An Intelligent Inference Approach for User Interaction Modeling in a Generic Agent Based Interface System
Yanguo Jing, Nick Taylor, Keith Brown
pp.103-107 [PDF]
 
Constraint Satisfaction, Search
Stochastic Constraint Programming
Toby Walsh
pp.111-115 [PDF]
Synthesis of Object Models from Partial Models: A CSP Perspective
Marco Alberti, Evelina Lamma
pp.116-120 [PDF]
Arc Consistency in SAT
Ian P Gent
pp.121-125 [PDF]
Progressive Focusing Search
Nicolas Prcovic, Bertrand Neveu
pp.126-130 [PDF]
Pseudo-tree Search with Soft Constraints
Javier Larrosa, Pedro Meseguer, Martí Sánchez
pp.131-135 [PDF]
An Algorithm for Multi-Criteria Optimization in CSPs
Marco Gavanelli
pp.136-140 [PDF]
An Empirical Study of the Stable Marriage Problem with Ties and Incomplete Lists
Ian Gent, Patrick Prosser
pp.141-145 [PDF]
A Theoretical Framework for Constraint Hierarchy Solvers
Roman Bartak
pp.146-150 [PDF]
Computing Minimal Conflicts for Rich Constraint Languages
Jakob Mauss, Mugur Tatar
pp.151-155 [PDF]
How to Establish Arc-Consistency by Reactive Agents
Ahlem Ben Hassine, Khaled Ghédira
pp.156-160 [PDF]
Combining hypertree, bicomp, and hinge decomposition
Georg Gottlob, Martin Hutle, Franz Wotawa
pp.161-165 [PDF]
Building State-of-the-Art SAT Solvers
Inês Lynce, João Marques-Silva
pp.166-170 [PDF]
 
Genetic Algorithms
Improving the Evolutionary Coding for Machine Learning Tasks
Jesus S. Aguilar-Ruiz, Jose C. Riquelme, Carmelo Del Valle
pp.173-177 [PDF]
Evolving Bidding Strategies for Multiple Auctions
Patricia Anthony, Nicholas R. Jennings
pp.178-182 [PDF]
The Use of a Genetic Algorithm in the Calibration of Estuary Models
S. Passone, P.W.H. Chung, V. Nassehi
pp.183-187 [PDF]
Evolutionary Computation in MAS design
Carles Sierra, Jordi Sabater, Jaume Agusti, Pere Garcia
pp.188-192 [PDF]
Using Multiobjective Genetic Programming to Infer Logistic Polynomial Regression Models
Andrew Hunter
pp.193-197 [PDF]
Boltzmann Machine for Population-Based Incremental Learning
Arnaud Berny
pp.198-202 [PDF]
 
Knowledge Acquisition, Knowledge Engineering, Knowledge Based Systems
Context Refinement - Investigating the Rule Refinement Completeness of SEEK/SEEK2
Hans-Werner Kelbassa
pp.205-209 [PDF]
Design as Interactions of Problem Framing and Problem Solving
Martin Dzbor, Zdenek Zdrahal
pp.210-214 [PDF]
The Epistemology of Scheduling Problems
Enrico Motta, Dnyanesh Rajpathak, Zdenek Zdrahal, Rajkumar Roy
pp.215-219 [PDF]
CAKE: A Computer-Aided Knowledge Engineering Technique
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
pp.220-224 [PDF]
Personalising On-Line Configuration of Products and Services
Liliana Ardissono, Alexander Felfernig, Gerhard Friedrich, Anna Goy, Dietmar Jannach, Markus Meyer, Giovanna Petrone, Ralph Schaefer, Wilken Schuetz, Markus Zanker
pp.225-229 [PDF]
CLIME: Lessons Learned in Legal Information Serving
Radboud Winkels, Alexander Boer, Rinke Hoekstra
pp.230-234 [PDF]
Similarity Between Queries in a Mediator
Alain Bidault, Christine Froidevaux, Brigitte Safar
pp.235-239 [PDF]
Knowledge Representation for Program Reuse
Sabine Moisan
pp.240-244 [PDF]
Case Retrieval of Software Designs using WordNet
Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José L. Ferreira, Carlos Bento
pp.245-249 [PDF]
Updating a Hybrid Rule Base with Changes to its Symbolic Source Knowledge
Jim Prentzas, Ioannis Hatzilygeroudis
pp.250-254 [PDF]
 
Knowledge Representation
Extending and Unifying Chronicle Representation with Event Counters
Christophe Dousson
pp.257-261 [PDF]
The Complexity of Checking Redundancy of CNF Propositional Formulae
Paolo Liberatore
pp.262-266 [PDF]
Compilation and Approximation of Conjunctive Queries by Concept Descriptions
Francois Goasdoue, Marie-Christine Rousset
pp.267-271 [PDF]
Expressivity and Control in Limited Reasoning
Marcelo Finger, Renata Wassermann
pp.272-276 [PDF]
Optimised Reasoning for SHIQ
Ian Horrocks, Ulrike Sattler
pp.277-281 [PDF]
Automatic Learning in Proof Planning
Mateja Jamnik, Manfred Kerber, Martin Pollet
pp.282-286 [PDF]
Approximating Propositional Knowledge with Affine Formulas
Bruno Zanuttini
pp.287-291 [PDF]
Hypothesising Object Relations from Image Transitions
Paulo Santos, Murray Shanahan
pp.292-296 [PDF]
A Graph-Based Knowledge Representation Language for Concept Description
Alexandre Delteil, Catherine Faron
pp.297-301 [PDF]
Querying semistructured data using a rule-oriented XML query language
Tadeusz Pankowski
pp.302-306 [PDF]
Sensing and revision in a modal logic of belief and action
Andreas Herzig, Dominique Longin
pp.307-311 [PDF]
Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity
Alfonso Gerevini, Bernhard Nebel
pp.312-316 [PDF]
Reasoning about spatio-temporal relations at different levels of granularity
Thomas Bittner
pp.317-321 [PDF]
 
Machine Learning, Knowledge Discovery, Datamining
An Attribute Weight Setting Method for k-NN Based Binary Classification using Quadratic Programming
Lu Zhang, Frans Coenen, Paul Leng
pp.325-329 [PDF]
AREX – Classification Rules Extracting Algorithm Based on Automatic Programming
Vili Podgorelec, Peter Kokol, Ivan Rozman
pp.330-334 [PDF]
Music Performer Recognition Using an Ensemble of Simple Classifiers
Efstathios Stamatatos, Gerhard Widmer
pp.335-339 [PDF]
Effective Stacking of Distributed Classifiers
Grigorios Tsoumakas, Ioannis Vlahavas
pp.340-344 [PDF]
A new clustering algorithm based on the ants chemical recognition system
Nicolas Labroche, Nicolas Monmarche, Gilles Venturini
pp.345-349 [PDF]
An Incremental Algorithm for Tree-shaped Bayesian Network Learning
Josep Roure Alcobé
pp.350-354 [PDF]
Learning Information Extraction Rules: An Inductive Logic Programming approach
James Stuart Aitken
pp.355-359 [PDF]
On the Representation and Combination of Evidence in Instance-Based Learning
Eyke Hüllermeier
pp.360-364 [PDF]
Reinforcement Learning Integrated with a Non-Markovian Controller
Istvan Szita, Balint Takacs, Andras Lorincz
pp.365-369 [PDF]
Multiple and Partial Periodicity Mining in Time Series Databases
Christos Berberidis, Walid G. Aref, Mikhail Atallah, Ioannis Vlahavas, Ahmed K. Elmagarmid
pp.370-374 [PDF]
Object Identity as Search Bias for Pattern Spaces
Francesca A. Lisi, Stefano Ferilli, Nicola Fanizzi
pp.375-379 [PDF]
On Determinism Handling While Learning Reduced State Space Representations
Fernando Fernandez, Daniel Borrajo
pp.380-384 [PDF]
Mining maximal frequent itemsets by a boolean approach
Ansaf Salleb, Zahir Maazouzi, Christel Vrain
pp.385-389 [PDF]
Semi Supervised Logistic Regression
Massih-Reza Amini, Patrick Gallinari
pp.390-394 [PDF]
Multi-Pattern Wrappers for Relation Extraction from the Web
Benjamin Habegger, Mohamed Quafafou
pp.395-399 [PDF]
From Margins to Probabilities in Multiclass Learning Problems
Andrea Passerini, Massimiliano Pontil, Paolo Frasconi
pp.400-404 [PDF]
 
Model-based Reasoning
Modelling Contextual Meta-Knowledge in Temporal Model Based Diagnosis
J. Palma, R. Marín
pp.407-411 [PDF]
Dealing with Discontinuities in the Qualitative Simulation of Genetic Regulatory Networks
Hidde de Jong, Jean-Luc Gouzé, Céline Hernandez, Michel Page, Tewfik Sari, Hans Geiselmann
pp.412-416 [PDF]
Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models
Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa
pp.417-421 [PDF]
Towards an Integrated Debugging Environment
Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa
pp.422-426 [PDF]
Diagnosis of Discrete-Event Systems with Model-Based Prospection Knowledge
Roberto Garatti, Gianfranco Lamperti, Marina Zanella
pp.427-431 [PDF]
 
Natural Language Processing
Parsing Natural Language using Guided Local Search
Michael Daum, Wolfgang Menzel
pp.435-439 [PDF]
Saliency and the Attentional State in Natural Language Generation
Chris Reed
pp.440-444 [PDF]
Adaptivity in Web-Based CALL
Galia Angelova, Svetla Boytcheva, Ognian Kalaydjiev, Stefan Trausan-Matu, Preslav Nakov, Albena Strupchanska
pp.445-449 [PDF]
A lexical network and an algorithm to find words from definitions
Dominique Dutoit, Pierre Nugues
pp.450-454 [PDF]
Natural Language Texts for a Cognitive Vision System
Michael Arens, Artur Ottlik, Hans-Hellmut Nagel
pp.455-459 [PDF]
Towards Answer Extraction: An application to Technical Domains
Fabio Rinaldi, James Dowdall, Michael Hess, Diego Molla, Rolf Schwitter
pp.460-464 [PDF]
Anything to Clarify? Report Your Parsing Ambiguities!
Kerstin Bücher, Michael Knorr, Bernd Ludwig
pp.465-469 [PDF]
Predicting the Components of German Nominal Compounds
Marco Baroni, Johannes Matiasek, Harald Trost
pp.470-474 [PDF]
Processing information of geogaphical databases within a dialogue system : a pivot system
vincent maya
pp.475-479 [PDF]
Acquisition of conceptual domain dictionaries via decision tree learning
Roberto Basili, Maria Teresa Pazienza, Fabio Massimo Zanzotto
pp.480-484 [PDF]
Empirical investigation of fast text classification over linguistic features
Roberto Basili, Alessandro Moschitti, Maria Teresa Pazienza
pp.485-489 [PDF]
 
Neural Networks
Chaotic Time Series Prediction with Neural Networks - Comparison of Several Architectures
Rafal Mikolajczak, Jacek Mandziuk
pp.493-497 [PDF]
Neuro-Fuzzy Knowledge Representation for Toxicity Prediction of Organic Compounds
Ciprian-Daniel Neagu, Emilio Benfenati, Giuseppina Gini, Paolo Mazzatorta, Alessandra Roncaglioni
pp.498-502 [PDF]
Non-negative matrix factorization extended by sparse code shrinkage and weight sparsification non-negative matrix factorization algorithms
Botond Szatmary, Barnabas Poczos, Julian Eggert, Edgar Koerner, Andras Lorincz
pp.503-507 [PDF]
Enhancing First-Pass Attachment Prediction
Fabrizio Costa, Paolo Frasconi, Vincenzo Lombardo, Patrick Sturt, Giovanni Soda
pp.508-512 [PDF]
A Simple Algorithm for Learning Stable Machines
Savina Andonova, André Elisseeff, Theodoros Evgeniou, Massimiliano Pontil
pp.513-517 [PDF]
 
Nonmonotonic Reasoning
Defeasible Logic with Dynamic Priorities
Grigoris Antoniou
pp.521-525 [PDF]
Uncontroversial Default Logic
Paolo Liberatore
pp.526-530 [PDF]
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments
Yves Moinard
pp.531-535 [PDF]
Notions of Attack and Justified Arguments for Extended Logic Programs
Ralf Schweimeier, Michael Schroeder
pp.536-540 [PDF]
Iterated revision and the axiom of recovery: A unified treatment via epistemic states
Samir Chopra, Aditya Ghose, Thomas Meyer
pp.541-545 [PDF]
Feature Integration as an Operation of Theory Change
Hannah Harris, Mark Ryan
pp.546-550 [PDF]
Network-based Truth Maintenance System
Subrata Das, David Lawless
pp.551-555 [PDF]
 
Philosophical Foundations
Robot Free Will
James Anderson
pp.559-563 [PDF]
A Pragmatic Theory of Induction
John Bell
pp.564-568 [PDF]
 
Planning
Extending FF to Numerical State Variables
Joerg Hoffmann
pp.571-575 [PDF]
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking
Piergiorgio Bertoli, Alessandro Cimatti, John Slaney, Sylvie Thiebaux
pp.576-580 [PDF]
Combining Two Heuristics to Solve a Supply Chain Optimization Problem
Hoong Chuin Lau, Yuyue Song
pp.581-585 [PDF]
A Temporal Planning System for Durative Actions of PDDL2.1
Antonio Garrido, Maria Fox, Derek Long
pp.586-590 [PDF]
Representation of decision-theoretic plans as sets of symbolic decision rules
Niels Peek
pp.591-595 [PDF]
Supporting goal based interaction with dynamic intelligent environments
Thomas Heider, Thomas Kirste
pp.596-600 [PDF]
 
Prestigous Applications of Intelligent Systems (PAIS)
DAI-DEPUR: An Environmental Decision Support System for the control and supervison of Municipal WasteWater Treatment Plants
Ulises Cortes, Ignasi Rodriguez-Roda, Miquel Sanchez-Marre, Joaquim Comas, Christian Cortes, Manel Poch
pp.603-607 [PDF]
Personalized Adaptive Navigation for Mobile Portals
Barry Smyth, Paul Cotter
pp.608-612 [PDF]
Benefits of a Knowledge-based System for Parenteral Nutrition Support: a Report after 5 Years of Routine Daily Use
Werner Horn, Christian Popow, Silvia Miksch, Andreas Seyfang
pp.613-617 [PDF]
A Framework for Rapid Development of Advanced Web-based Configurator Applications
Liliana Ardissono, Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker, Ralph Schaefer
pp.618-622 [PDF]
International Insurance Traffic with Software Agents
Chris van Aart, Kris Van Marcke, Ruurd Pels, Jan Smulders
pp.623-627 [PDF]
IDD: Integrating Diagnosis in the Design of automotive systems
Claudia Picardi, Rosanna Bray, Fulvio Cascio, Luca Console, Philippe Dague, David Millet, Bernd Rehfus, Peter Struss, Christian Vallée
pp.628-632 [PDF]
Programme driven music radio
Conor Hayes, Padraig Cunningham, Patrick Clerkin, Marco Grimaldi
pp.633-637 [PDF]
Alarm Correlation in Traffic Monitoring and Control Systems: A Knowledge-Based Approach
Stefania Bandini, Davide Bogni, Sara Manzoni
pp.638-642 [PDF]
A Neural Network Approach for Forestal Fire Risk Estimation
Amparo Alonso-Betanzos, Oscar Fontenla-Romero, Bertha Guijarro-Berdiñas, Elena Hernandez Pereira, Juan Canda, Eulogio Jimenez, Jose Luis Legido, Susana Muñiz, Cristina Paz-Andrade, Maria Inmaculada Paz-Andrade
pp.643-647 [PDF]
Fault diagnosis of a continuous process using imprecise quantitative knowledge and causal models
Bruno Heim, Sylviane Gentil, Sylvie Cauvin, Louise Travé-Massuyes, Bertrand Braunschweig
pp.648-652 [PDF]
AI on the Ocean: the RoboSail Project
Martijn L. van Aartrijk, Claudio P. Tagliola, Pieter W. Adriaans
pp.653-657 [PDF]
Online Diagnosis of Engine Dyno Test Benches: A Possibilistic Approach
Serge Boverie, Didier Dubois, Xavier Guérandel, Olivier de Mouzon, Henri Prade
pp.658-662 [PDF]
 
Reasoning About uncertainty
Propagation of Multiple Observations in QPNs Revisited
Silja Renooij, Linda C. van der Gaag, Simon Parsons
pp.665-669 [PDF]
Graph partitioning techniques for Markov Decision Processes decomposition
Regis Sabbadin
pp.670-674 [PDF]
On the Complexity of the MPA Problem in Probabilistic Networks
Hans L. Bodlaender, Frank van den Eijkhof, Linda C. van der Gaag
pp.675-679 [PDF]
Building Bayesian Networks through Ontologies
Eveline M. Helsper, Linda C. van der Gaag
pp.680-684 [PDF]
Possibilistic logic representation of preferences: relating prioritized goals and satisfaction levels expressions
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
pp.685-689 [PDF]
Bayesian Network Modelling by Qualitative Patterns
Peter Lucas
pp.690-694 [PDF]
Bayesian Networks for Probabilistic Weather Prediction
A.S. Cofiño, R. Cano, C. Sordo, J.M. Gutiérrez
pp.695-699 [PDF]
 
Robotics
Anchoring Action Representation to Perception in a Mobile Robot
Antonio Chella, Marcello Frixione, Salvatore Gaglio
pp.703-707 [PDF]
Learning to Ground Fact Symbols in Behavior-Based Robots
Joachim Hertzberg, Herbert Jaeger, Frank Schönherr
pp.708-712 [PDF]
MIP: A New Hybrid Multi-Agent Architecture for the Coordination of a Robot Colony Activities
Antonio Chella, Rosario Sorbello, Sabato Marco Siniscalchi, Salvatore Vitabile
pp.713-717 [PDF]
 
Vision
A Deformation Tolerant Version of the Generalized Hough Transform for Image Retrieval
Marco Anelli, Alessandro Micarelli, Enver Sangineto
pp.721-725 [PDF]
Shape Analysis and Classification using Landmarks: Polygonal Wavelet Transform
Roberto Marcondes Cesar Jr, Celina Maki Takemura
pp.726-730 [PDF]
Pixel-based Behavior Learning
louis Hugues, Alexis Drogoul
pp.731-735 [PDF]
Deriving Textual Descriptions of Road Traffic Queues from Video Sequences
Ralf Gerber, Hans-Hellmut Nagel, Heiko Schreiber
pp.736-740 [PDF]
Modeling Interaction Using Learnt Qualitative Spatio-Temporal Relations and Variable Length Markov Models
Aphrodite Galata, Anthony G. Cohn, Derek Magee, David Hogg
pp.741-745 [PDF]


Author Index
Keyword Index


ECAI-2002 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Université Claude Bernard and INSA, Lyon, on behalf of Association Française pour l'Intelligence Artificielle.