ECAI 2004 Table of Contents

Author Index
Keyword Index
I.Agents and Distributed AI
Negotiation in State-Oriented Domains with Incomplete Information over Goals
Shlomit Bergman, Elan Pavlov, Jeffrey S. Rosenschein
pp.3-7 [PDF]
Negotiating the distribution of obligations with sanctions among autonomous agents
Guido Boella, Leendert van der Torre
pp.8-12 [PDF]
Agent Planning, Negotiation and Control of Operation
Neophytos Demetriou, Antonis Kakas, Paolo Torroni
pp.13-17 [PDF]
Game-Theoretic Agent Programming in Golog
Alberto Finzi, Thomas Lukasiewicz
pp.18-22 [PDF]
FIRE: An Integrated Trust and Reputation Model for Open Multi-Agent Systems
Trung Dong Huynh, Nicholas R. Jennings, Nigel R. Shadbolt
pp.23-27 [PDF]
The KGP Model of Agency
Antonis Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
pp.28-32 [PDF]
Negotiation Strategies for Autonomous Computational Agents
Fernando Lopes, Nuno Mamede, A. Q. Novais, Helder Coelho
pp.33-37 [PDF]
Diagnosability analysis of distributed discrete event systems
Yannick Pencolé
pp.38-42 [PDF]
Complex Networks Emergence through Local Optimisation
Josep M. Pujol, Andreas Flache, Ramon Sanguesa, Jordi Delgado
pp.43-47 [PDF]
Automatic verification of deontic and epistemic properties of multi-agent systems by model checking via obdd's
Franco Raimondi, Alessio Lomuscio
pp.48-52 [PDF]
Many Hands Make Light Work: Localized Satisfiability For Multi-Context Systems
Floris Roelofsen, Luciano Serafini, Alessandro Cimatti
pp.53-57 [PDF]
Agreements without Disagreements
Aknine Samir
pp.58-62 [PDF]
SERSE: searching for semantic web content
Valentina Tamma, Ian Blacoe, Ben Lithgow Smith, Michael Wooldridge
pp.63-67 [PDF]
Balancing coordination and synchronization cost in Cooperative Situated Multi-agent Systems with Imperfect Communication
Andrea I. Tavares, Mario F. M. Campos
pp.68-73 [PDF]
Expectation Reasoning using Regret and Disappointment
Binh Vu Tran, James Harland, Margaret Hamilton
pp.74-78 [PDF]
A Risk-Based Bidding Strategy for Continuous Double Auctions
Perukrishnen Vytelingum, Nicholas R. Jennings
pp.79-83 [PDF]
Algorithms for Distributed Exploration
Thomas Walker, Daniel Kudenko, Malcolm Strens
pp.84-88 [PDF]
Passive Threats among Agents in State Oriented Domains
Yair B. Weinberger, Jeffrey S. Rosenschein
pp.89-93 [PDF]
II.Case Based Approaches
Instance-Based Prediction with Guaranteed Confidence
Eyke Hüllermeier
pp.97-101 [PDF]
Unsupervised Instance-Based Learning Techniques of Feature Weighting do not perform so badly!
Héctor Núñez, Miquel Sànchez-Marrè
pp.102-106 [PDF]
III.Cognitive Modelling
Exchanging Emotions - SOM Approach
Heikki Hyötyniemi, Juha Hemanus
pp.109-113 [PDF]
Applying Affective Tactics for a Better Learning
Patricia Augustin Jaques, Rosa Maria Vicari, Sylvie Pesty, Jean-François Bonneville
pp.114-118 [PDF]
Forming Odour Categories using an Electronic Nose
Amy Loutfi, Silvia Coradeschi
pp.119-123 [PDF]
A Formal Tutoring Process Model for Intelligent Tutoring Systems
Alke Martens
pp.124-128 [PDF]
Reasoning about Emotional Agents
John-Jules Meyer
pp.129-133 [PDF]
Focusing Reasoning Through Emotional Mechanisms
Luis Morgado, Graça Gaspar
pp.134-138 [PDF]
IV.Constraint Satisfaction, Search, Games
A Case Study of Revisiting Best-First vs. Depth-First Search
Andreas Auer, Hermann Kaindl
pp.141-145 [PDF]
Boosting systematic search by weighting constraints
Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais
pp.146-150 [PDF]
Adversarial Constraint Satisfaction using Game-tree Search
Kenneth N Brown, James Little, Paidi J Creed, Eugene C Freuder
pp.151-155 [PDF]
Generalized Widening
Tristan Cazenave
pp.156-160 [PDF]
Quantified Constraint Satisfaction and Bounded Treewidth
Hubie Chen
pp.161-165 [PDF]
How to use the scuba diving metaphor to solve problem with neutrality ?
Philippe Collard, Sébastien Verel, Manuel Clergue
pp.166-170 [PDF]
Symmetry-breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern
Alan M. Frisch, Christopher Jefferson, Ian. Miguel
pp.171-175 [PDF]
Encoding Quantified CSPs as Quantified Boolean Formulae
Ian Gent, Peter Nightingale, Andrew Rowley
pp.176-180 [PDF]
Constrained Pure Nash Equilibria in Graphical Games
Gianluigi Greco, Francesco Scarcello
pp.181-185 [PDF]
Robust Solutions for Constraint Satisfaction and Optimization
Emmanuel Hebrard, Brahim Hnich, Toby Walsh
pp.186-190 [PDF]
An Effective Branch-and-Bound Algorithm to Solve the k-Longest Common Subsequence Problem
Gaofeng Huang, Andrew Lim
pp.191-195 [PDF]
Decomposition and good recording for solving Max-CSPs
Philippe Jegou, Cyril Terrioux
pp.196-200 [PDF]
A Study on the Accuracy of Heuristic Functions
Carlos Linares
pp.201-205 [PDF]
Improved nogood learning and agent cooperation in Asynchronous Backtracking with complex local problems
Arnold Maestre, Christian Bessiere
pp.206-210 [PDF]
Tractable symmetry breaking using restricted search trees
Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton
pp.211-215 [PDF]
Implementing Variable Elimination
Marti Sanchez, Pedro Meseguer
pp.216-220 [PDF]
Guiding a Theorem Prover with Soft Constraints
John Slaney, Arnold Binas, David Price
pp.221-225 [PDF]
Using Symmetries for Coloring Queen Graphs
Michel Vasquez, Djamal Habet
pp.226-230 [PDF]
Uncertain Linear Constraints
Nic Wilson
pp.231-235 [PDF]
V.Genetic Algorithms, Emergent Behaviours
Generation of desired emergent behavior in swarm of micro-robots
Sergey Kornienko, Olga Kornienko, Paul Levi
pp.239-243 [PDF]
A Genetic Algorithm with Feminine Selection
Josué Pereira de Castro, Adriana Postal, Guilherme Bittencourt
pp.244-248 [PDF]
VI.Knowledge Engineering
Control of a Hydroforming Press with Bayesian Networks
Rainer Deventer, Heinrich Niemann, Martino Celeghini
pp.251-255 [PDF]
Knowledge-Based Cinematography and Its Applications
Doron Friedman, Yishai Feldman
pp.256-260 [PDF]
VII.Knowledge Representation
Determining the direction of causal influence in large probabilistic networks: a constraint-based approach
Liviu Badea
pp.263-267 [PDF]
Improving Web Search through Collaborative Query Recommendation
Evelyn Balfe, Barry Smyth
pp.268-272 [PDF]
Goal specification in presence of non-deterministic actions
Chitta Baral, Jicheng Zhao
pp.273-277 [PDF]
Extending a Lexicon Ontology for Intelligent Information Integration
Roberta Benassi, Sonia Bergamaschi, Alain Fergnani, Daniele Miselli
pp.278-282 [PDF]
The mereology of stages and persistent entities
Thomas Bittner
pp.283-287 [PDF]
Abduction over unbounded domains via ASP
Piero A. Bonatti
pp.288-292 [PDF]
Analysis of Design Process Dynamics
Tibor Bosse, Catholijn Jonker, Jan Treur
pp.293-297 [PDF]
Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and---What Else?
Sebastian Brandt
pp.298-302 [PDF]
A Rank Based Description Language for Qualitative Preferences
Gerhard Brewka
pp.303-307 [PDF]
An ontology based visual tool for query formulation support
Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris
pp.308-312 [PDF]
Fundamental Issues of Aesthetic Knowledge Representation
Matteo Cristani, Francesco Bellomi
pp.313-317 [PDF]
New Advances in Compiling CNF into Decomposable Negation Normal Form
Adnan Darwiche
pp.318-322 [PDF]
Similarity-based ontology alignment in OWL-Lite
Jérôme Euzenat, Petko Valtchev
pp.323-327 [PDF]
An Investigation into the Expressive Power of PDDL2.1
Maria Fox, Derek Long, Keith Halsey
pp.328-332 [PDF]
Operationalizing domain ontologies : a method and a tool
Frédéric Fürst, Michel Leclère, Francky Trichet
pp.333-337 [PDF]
A semantics for abstraction
Chiara Ghidini, Fausto Giunchiglia
pp.338-342 [PDF]
Domain descriptions should be modular
Andreas Herzig, Ivan Varzinczak
pp.343-347 [PDF]
Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution
Ullrich Hustadt, Boris Motik, Ulrike Sattler
pp.348-352 [PDF]
Random Bayesian Networks with Constraints on Induced Width: Generation and Applications
Jaime Ide, Fabio Cozman, Fabio Ramos
pp.353-357 [PDF]
Representing Normal Programs with Clauses
Tomi Janhunen
pp.358-362 [PDF]
Representing Knowledge about Norms to Reason on Texts
Daniel Kayser, Farid Nouioua
pp.363-367 [PDF]
From knowledge-based programs to graded belief-based programs, Part I: On-line reasoning
Noel Laverny, Jerome Lang
pp.368-372 [PDF]
Gene Network Modeling through Semi-Fixed Bayesian Network
Tie-Fei Liu, Wing-Kin Sung, Ankush Mittal
pp.373-377 [PDF]
Description Logics with Concrete Domains and Functional Dependencies
Carsten Lutz, Maja Milicic
pp.378-382 [PDF]
Efficient and Secure Collaborative Filtering through Intelligent Neighbourhood Selection
Michael P. O'Mahony, Neil J. Hurley, Guenole C. M. Silvestre
pp.383-387 [PDF]
Synonymous Theories in Answer Set Programming and Equilibrium Logic
David Pearce, Agustín Valverde
pp.388-392 [PDF]
DILIGENT: Towards a fine-grained methodology for DIstributed, Loosely-controlled and evolvInG Engineering of oNTologies
Sofia Pinto, Steffen Staab, Christoph Tempich
pp.393-397 [PDF]
Answer Type Checking in Open-Domain Question Answering
Stefan Schlobach, Marius Olsthoorn, Maarten de Rijke
pp.398-402 [PDF]
What Part-of Is and Isn't (... in the Bio Domain, at least)
Stefan Schulz, Udo Hahn
pp.403-407 [PDF]
VIII.Machine Learning, Data Mining
Explaining the result of a decision tree to the end-user
Isabelle Alvarez
pp.411-415 [PDF]
Outlier Detection using Disjunctive Logic Programming
Fabrizio Angiulli, Rachel Ben-Eliyahu - Zohary, Luigi Palopoli
pp.416-419 [PDF]
A model-based approach to sequence clustering
Henri Binsztok, Thierry Artières, Patrick Gallinari
pp.420-424 [PDF]
Discovering Complex and Sparse Events in Long Sequences
Marco Botta, Ugo Galassi, Attilio Giordana
pp.425-429 [PDF]
Statistical Strategies for Pruning All the Uninteresting Association Rules
Gemma Casas-Garriga
pp.430-434 [PDF]
Comparing Conceptual, Partitional and Agglomerative Clustering for Learning Taxonomies from Text
Philipp Cimiano, Andreas Hotho, Steffen Staab
pp.435-439 [PDF]
PoBOC : an overlapping clustering algorithm. Application to classification rules learning
Guillaume Cleuziou, Lionel Martin, Christel Vrain
pp.440-444 [PDF]
Learning qualitative metabolic models
George M. Coghill, Simon M. Garrett, Ross D. King
pp.445-449 [PDF]
Inference Attacks in Peer-to-Peer Homogeneous Distributed Data Mining
Josenildo Costa da Silva, Matthias Klusch, Stefano Lodi, Gianluca Moro
pp.450-454 [PDF]
Face Recognition Using Novel LDA-Based Algorithms
Guang Dai, Yuntao Qian
pp.455-459 [PDF]
A Backtracking strategy for Order-Independent Incremental Learning
Nicola Di Mauro, Floriana Esposito, Stefano Ferilli, Teresa M.A. Basile
pp.460-464 [PDF]
Pushing "Underfitting" to the Limit: Learning in Bidimensional Text Categorization
Giorgio Maria Di Nunzio, Alessandro Micarelli
pp.465-469 [PDF]
Avoiding data overfitting in scientific discovery: Experiments in functional genomics
Dragan Gamberger, Nada Lavrac
pp.470-474 [PDF]
Learning techniques for Automatic Algorithm Portfolio Selection
Alessio Guerri, Michela Milano
pp.475-479 [PDF]
AntTree: A web document clustering using artificials ants
Azzag Hanene, Christianne Guinot, Gilles Venturini
pp.480-484 [PDF]
Rule-Mining: A Knowledge-based Selection of Association Rules
Dietmar Janetzko, Hacène Cherfi, Roman Kennke, Amedeo Napoli, Yannick Toussaint
pp.485-489 [PDF]
Yet more efficient EM learning for parameterized logic programs by inter-goal sharing
Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou
pp.490-494 [PDF]
Bias Windowing for Relational Learning
Frédéric Koriche
pp.495-499 [PDF]
Exploiting Association and Correlation Rules Parameterns for Improving the K2 Algorithm
Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
pp.500-504 [PDF]
Online Learning of Probabilistic Discriminative Obejct Tracking
Ruei-sung Lin, Ming-hsuan Yang, Stephen Levinson
pp.505-509 [PDF]
Finding Social Network for Trust Calculation
Yutaka Matsuo, Hironori Tomobe, Koiti Hasida, Mitsuru Ishizuka
pp.510-514 [PDF]
Voted Co-training for Bootstrapping Sense Classifiers
Rada Mihalcea
pp.515-519 [PDF]
Weak OI: Ideal Refinement of Datalog Clauses using Primary Keys
Siegfried Nijssen, Joost N. Kok
pp.520-524 [PDF]
Visual Learning by Set Covering Machine with Efficient Feature Selection
Hiroki Nomiya, Kuniaki Uehara
pp.525-529 [PDF]
Controlling on-line search for solving Markov Decision Processes via sampling
Laurent Peret, Frederick Garcia
pp.530-534 [PDF]
Time-Independent Rule-Based Guideline Induction
David Riaño
pp.535-538 [PDF]
Learning Augmented Naive Bayes Classifiers
Josep Roure Alcobé
pp.539-543 [PDF]
Combining Multiple Answers for Learning Mathematical Structures from Visual Observation
Paulo Santos, Derek Magee, Anthony Cohn
pp.544-548 [PDF]
Stacked generalization for information extraction
Georgios Sigletos, Georgios Paliouras, Constantine Spyropoulos, Takis Stamatopoulos
pp.549-553 [PDF]
Avatars That Learn How To Behave
Adam Szarowicz, Paolo Remagnino
pp.554-558 [PDF]
Piece-Wise Model Fitting Using Local Data Patterns
Ricardo Vilalta, Muralikrishna Achari, Christoph Eick
pp.559-563 [PDF]
M-SOM-ART: Growing self organizing map for sequences clustering and classification
Farida Zehraoui, Younès Bennani
pp.564-568 [PDF]
IX.Natural Language Processing
Automatic discovery of translation collocations from bilingual corpora
Sergio Barrachina, Juan Miguel Vilar
pp.571-575 [PDF]
Improvements on Automatic Word Codification for Machine Translation
Gustavo A. Casañ, M. Asunción Castaño
pp.576-580 [PDF]
An Argumentative Approach to Assessing Natural Language Usage based on Web Linguistic Corpora
Carlos Chesñevar, Ana Maguitman
pp.581-585 [PDF]
Finite-state models for computer assisted translation
Elsa Cubel, Jorge Civera, Juan M. Vilar, Antonio L. Lagarda, Francisco Casacuberta, Enrique Vidal, David Picó, Jorge González, Luis Rodríguez
pp.586-590 [PDF]
Parsing Languages with a Configurator
Mathieu Estratat, Laurent Henocque
pp.591-595 [PDF]
An Application of Lexicalized Grammars in English-Persion Translation
Heshaam Feili, Gholamreza Ghassem Sani
pp.596-600 [PDF]
A comparative analysis of grammar extraction from text corpora
Alessandro Mazzei, Vincenzo Lombardo
pp.601-605 [PDF]
WordNet sits the S.A.T. A Knowledge-Based Approach to Lexical Analogy
Tony Veale
pp.606-610 [PDF]
X.Neural Networks, Support Vector Machines
Likely-admissible and sub-symbolic heuristics
Marco Ernandes, Marco Gori
pp.613-617 [PDF]
Dynamic Selection of Model Parameters in Principal Components Analysis Neural Networks
Ezequiel López-Rubio, Juan Miguel Ortiz-de-Lazcano-Lobato, María del Carmen Vargas-González, José Miguel López-Rubio
pp.618-622 [PDF]
Learning Neural Network Predictors from Very Large Datasets
Kang Peng, Slobodan Vucetic, Zoran Obradovic
pp.623-627 [PDF]
A generalized quadratic loss exploiting target information for Support Vector Machines
Filippo Portera, Alessandro Sperduti
pp.628-632 [PDF]
XI.Philosophical Foundations
Artificial agents - personhood in law and philosophy
Samir Chopra, Laurence White
pp.635-639 [PDF]
Simplicity in solving the frame problem
Victor Jauregui, Maurice Pagnucco, Norman Foo
pp.640-644 [PDF]
XII.Planning, Scheduling
Utilizing Volatile External Information During Planning
Tsz-Chiu Au, Dana Nau, V.S. Subrahmanian
pp.647-651 [PDF]
Job Shop Scheduling with Probabilistic Durations
J. Christopher Beck, Nic Wilson
pp.652-656 [PDF]
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains
Piergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso
pp.657-661 [PDF]
Planning with Numeric Variables in Multiobjective Planning
Antonio Garrido, Derek Long
pp.662-666 [PDF]
Planning with Numerical Expressions in LPG
Alfonso Gerevini, Alessandro Saetti, Ivan Serina
pp.667-671 [PDF]
When Are Behaviour Networks Well-Behaved?
Bernhard Nebel, Yuliya Babovich-Lierler
pp.672-676 [PDF]
Biasing the Structure of Scheduling Problems Through Classical Planners
Federico Pecora, Riccardo Rasconi, Amedeo Cesta
pp.677-681 [PDF]
Evaluation Strategies for Planning as Satisfiability
Jussi Rintanen
pp.682-686 [PDF]
Improving the Initialization and Repair Heuristics to Effectively Solve the Pickup and Delivery Problems with Time Windows
Vincent TAM, M.C. KWAN
pp.687-691 [PDF]
Lazy Adaptive Multicriteria Planning
Grigorios Tsoumakas, Dimitris Vrakas, Nick Bassiliades, Ioannis Vlahavas
pp.692-696 [PDF]
Flexible Demand Assignment Problem
Fan Wang, Andrew Lim, Hong Chen
pp.697-701 [PDF]
XIII.Prestigious Applications of Intelligent Systems (PAIS)
Querying the Semantic Web with the CORESE search engine (Submission to PAIS)
Olivier Corby, Rose Dieng-Kuntz, Catherine Faron-Zucker
pp.705-709 [PDF]
MASFIT: Multi-Agent System for FIsh Trading
Guifre Cuni, Marc Esteva, Pere Garcia, Eloi Puertas, Carles Sierra, Teresa Solchaga
pp.710-714 [PDF]
A Portal for Publishing Museum Collections on the Semantic Web
Eero Hyvönen, Miikka Junnila, Suvi Kettula, Eetu Mäkelä, Samppa Saarela, Mirva Salminen, Arttu Valo, Kim Viljanen
pp.715-719 [PDF]
ADVISOR SUITE - A knowledge-based sales advisory system
Dietmar Jannach
pp.720-724 [PDF]
Web Information Extraction: a domain, user adaptive and multilingual approach
Vangelis Karkaletsis, Constantine D. Spyropoulos
pp.725-729 [PDF]
An Interactive System for Hiring and Managing Graduate Teaching Assistants
Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry
pp.730-734 [PDF]
A System for Pacemaker Treatment Advice
Peter Lucas, Ruud Kuipers
pp.735-739 [PDF]
Lorenzo Mandow, José Luis Pérez-de-la-Cruz
pp.740-744 [PDF]
SmartCare(TM) - Automated Clinical Guidelines in Critical Care
Stefan Mersmann, Michel Dojat
pp.745-749 [PDF]
AUTAS: a tool for supporting FMECA generation in aeronautic systems
C. Picardi, E. Arbaretier, F. Berger, J, Breeman, S. Collas, L. Console, N. De Domenico, O. Dressler, E. Girardelli, T. Kanakis, P. Struss, B. Zilbermann
pp.750-754 [PDF]
APPROACH: Decentralised Rotation Planning for Container Barges
M.C. Schut, M. Kentrop, M. Leenaarts, M. Melis, I. Miller
pp.755-759 [PDF]
Lessons from Deploying NLG Technology for Marine Weather Forecast Text Generation
Somayajulu G. Sripada, Ehud Reiter, Ian Davy, Kristian Nilssen
pp.760-764 [PDF]
Soft Computing Techniques applied to industrial catalysis
Soledad Valero, Estefania Argente, Jose Manuel Serra, Vicente Botti, Avelino Corma
pp.765-769 [PDF]
Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae
Ofer Arieli
pp.773-777 [PDF]
The Use of Temporal Reasoning and Managment of Complex Events in Smart Homes
Juan Carlos Augusto, Chris Nugent
pp.778-782 [PDF]
A General Recursive Schema for Argumentation Semantics
Pietro Baroni, Massimiliano Giacomin
pp.783-787 [PDF]
A Syntactical Approach to Revision
Guilherme Bittencourt, Laurent Perrussel, Jerusa Marchi
pp.788-792 [PDF]
A unifying semantics for belief change
Richard Booth, Samir Chopra, Thomas Meyer, Aditya Ghose
pp.793-797 [PDF]
New insights on the intuitionistic interpretation of Default Logic
Pedro Cabalar, David Lorenzo
pp.798-802 [PDF]
A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning
Sylvie Coste-Marquis, Pierre Marquis
pp.803-807 [PDF]
A tabulation proof procedure for residuated logic programming
Carlos V. Damasio, Jesus Medina, Manuel Ojeda-Aciego
pp.808-812 [PDF]
Elimination of spurious explanations
Gerhard Friedrich
pp.813-817 [PDF]
Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati
pp.818-822 [PDF]
Iterated Belief Change for Reasoning Agents
Yi Jin, Michael Thielscher
pp.823-827 [PDF]
Geographic information revision based on constraints
Mahat Khelfallah, Belaid Benhamou
pp.828-832 [PDF]
Introducing Alias Information into Model-Based Debugging
Daniel Koeb, Franz Wotawa
pp.833-837 [PDF]
Diagnosis of discrete-event systems by separation of concerns, knowledge compilation, and reuse
Gianfranco Lamperti, Marina Zanella
pp.838-842 [PDF]
Debugging Program Loops using Approximate Modeling
Wolfgang Mayer, Markus Stumptner
pp.843-847 [PDF]
On Line Monitoring and Diagnosis of Multi-Agent Systems: a Model Based Approach
Roberto Micalizio, Pietro Torasso, Gianluca Torta
pp.848-852 [PDF]
Plausibility structures for default reasoning
Yves Moinard
pp.853-857 [PDF]
A Qualitative Theory for Shape Representation and Matching for Design
Lledo Museros, M. Teresa Escrig
pp.858-862 [PDF]
An Algorithm for Knowledge Base Extraction
Alexander Nittka
pp.863-867 [PDF]
A Fuzzy Approach to Temporal Model-Based Diagnosis
José Palma, José M. Juárez, Roque Marín, Manuel Campos
pp.868-872 [PDF]
Diagnosis as Semiring-based Constraint Optimization
Martin Sachenbacher, Brian Williams
pp.873-877 [PDF]
Iterated Belief Change and Exogenous Actions in the Situation Calculus
Steven Shapiro, Maurice Pagnucco
pp.878-882 [PDF]
Models of Behavior Deviations in Model-based Systems
Peter Struss
pp.883-887 [PDF]
Consistency and Optimisation for Conditional Preferences
Nic Wilson
pp.888-892 [PDF]
a Robot Task Planner that Merges Symbolic and Geometric Reasoning
Stephane Cambon, Fabien Gravot, Rachid Alami
pp.895-899 [PDF]
Indirect and Conditional Sensing in the Event Calculus
Jeremy Forth, Murray Shanahan
pp.900-904 [PDF]
An active learning approach for assessing robot grasp reliability
Antonio Morales, Eris Chinellato, Andrew H. Fagg, Angel P. del Pobil
pp.905-909 [PDF]
Adaptive Robot Coordination using Interference Metrics
Avi Rosenfeld, Sarit Kraus, Gal Kaminka
pp.910-914 [PDF]
Attention-Driven Parts-Based Object Detection
Ilkka Autio, J.T. Lindgren
pp.917-921 [PDF]
Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving Objects
Brandon Bennett, Derek R. Magee, Anthony G. Cohn, C. Hogg, David
pp.922-926 [PDF]
A context-based model of attention
Niek Bergboer, Eric Postma, Jaap van den Herik
pp.927-931 [PDF]
Learning to focus attention on discriminative regions for object detection
Gerald Fritz, Lucas Paletta, Christin Seifert, Horst Bischof
pp.932-936 [PDF]
Vision-Language Integration in AI: a reality check
Katerina Pastra, Yorick Wilks
pp.937-941 [PDF]
Distributed Reasoning in a Peer to Peer Setting
Philippe Adjiman, Philippe Chatalic, Francois Goasdoue, Marie-Christine Rousset, Laurent Simon
pp.945-946 [PDF]
Learning Model Free Motor Control
Alejandro Agostini, Enric Celaya
pp.947-948 [PDF]
Iterated Algorithm for the Optimal Winner Determination In Combined Negotiations
Samir Aknine
pp.949-950 [PDF]
Transmission Expansion Planning Based on Tabu Search Algorithm
Zakariya M. Al-Hamouz, A. H. Mantawy, Hussain Al-Duwaish, Ibrahim El-Amin
pp.951-952 [PDF]
A Declarative Characterisation of Disjunctive Paraconsistent Answer Sets
Joao Alcantara, Carlos Damasio, Luis Pereira
pp.953-954 [PDF]
Automatic Generation of Macro-Operators from Static Domain Analysis
Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu
pp.955-956 [PDF]
Optimal Brain Surgeon Variants For Optimization
Mohammed Attik, Laurent Bougrain, Frédéric Alexandre
pp.957-958 [PDF]
Trying Again to Fail-First
J. Christopher Beck, Patrick Prosser, Richard Wallace
pp.959-960 [PDF]
Handling Conflicts in First-order Knowledge Bases: application to access control models
Salem Benferhat
pp.961-962 [PDF]
Preferences on Queries in a Mediator Approach
Alain Bidault, Sarah Cohen Boulakia, Christine Froidevaux
pp.963-964 [PDF]
A Formalization of Coalition Structures in Multiagent Systems
Guido Boella, Luigi Sauro, Leendert van der Torre
pp.965-966 [PDF]
ACLAnalyser: a Tool for Debugging Multi-agent Systems
Juan A. Botia, Alberto Lopez, Antonio Skarmeta
pp.967-968 [PDF]
On Multiclass Active Learning with Support Vector Machines
Klaus Brinker
pp.969-970 [PDF]
A Speech Architecture for Personal Assistants Applied in a Knowledge Management Context
Emerson Cabrera Paraiso, Jean-Paul Barthes, Cesar Tacla
pp.971-972 [PDF]
Local search heuristics: Fitness Cloud versus Fitness Landscape
Philippe Collard, Sebastien Verel, Manuel Clergue
pp.973-974 [PDF]
Lakatos-style Automated Theorem Modification
Simon Colton, Alison Pease
pp.975-976 [PDF]
A Uniform Tableaux-based Method for Abduction and Contraction in Description Logics
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M Donini, Marina Mongiello
pp.977-978 [PDF]
On the Importance of Being Diverse
Maurice Coyle, Barry Smyth
pp.979-980 [PDF]
Axiomatizing Noisy-OR
Fabio Cozman
pp.981-982 [PDF]
Adapting LPGP to Plan with Exogenous Events and Goals with Deadlines
Stephen Cresswell, Alexandra Coddington
pp.983-984 [PDF]
Compilation of LTL goal formulas into PDDL
Stephen Cresswell, Alexandra Coddington
pp.985-986 [PDF]
Argumentation Neural Networks: Value-based Argumentation Frameworks as Neural-Symbolic Learning Systems
Artur d'Avila Garcez, Luis C. Lamb, Dov M. Gabbay
pp.987-988 [PDF]
Teams of Genetic Predictors for Inverse Problem Solving
Michael Defoin Platel, Manuel Clergue, Philippe Collard
pp.989-990 [PDF]
From belief change to obligation change in the Situation Calculus
Robert Demolombe
pp.991-992 [PDF]
Discovering relevancies in very difficult regression problems: applications to sensory data analysis
Jorge Diez, Gustavo Bayón, José R. Quevedo, Juan José del Coz, Oscar Luaces, Jaime Alonso, Antonio Bahamonde
pp.993-994 [PDF]
Miss Scarlett in the Ballroom with the Lead Piping
Clare Dixon
pp.995-996 [PDF]
Towards a Logical Analysis of Biochemical Pathways
Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas
pp.997-998 [PDF]
A New MDL-based Function for Feature Selection for Bayesian Network Classifiers
Madalina M. Drugan, Linda C. van der Gaag
pp.999-1000 [PDF]
Context Dependence in Multiagent Resource Allocation
Paul E. Dunne
pp.1001-1002 [PDF]
Tractability Results for Automatic Contracting
Paul E. Dunne, Michael Laurence, Michael Wooldridge
pp.1003-1004 [PDF]
Evolution of Communication in a Genetic Based Multi-Agent System: Use Wise Resources
Gilles Enee, Cathy Escazut
pp.1005-1006 [PDF]
Induction and Revision of Terminologies
Floriana Esposito, Nicola Fanizzi, Luigi Iannone, Ignazio Palmisano, Giovanni Semeraro
pp.1007-1008 [PDF]
Empirical Evaluation of the Effects of Concept Complexity on Generalization Error
Roberto Esposito
pp.1009-1010 [PDF]
Automatic Induction of Domain-related Information: Learning Descriptors Type Domains
Stefano Ferilli, Floriana Esposito, Teresa M.A. Basile, Nicola Di Mauro
pp.1011-1012 [PDF]
Appropriateness of the Case-Based Approach in an application domain with multiple conflicts among Goals
Ricardo L. Freitas , G. Nakamiti, Carlos M. Tobar, D. Piva Jr
pp.1013-1014 [PDF]
Interactive Task Planning through Multiple Abstraction: Application to Assistant Robotics
Cipriano Galindo, Juan-Antonio Fernandez-Madrigal, Javier Gonzalez
pp.1015-1016 [PDF]
Qualitative Interpolation for Environmental Knowledge Representation
Antony Galton, James Hood
pp.1017-1018 [PDF]
Swarm Intelligence: Agents for Adaptive Web Search
Fabio Gasparetti, Alessandro Micarelli
pp.1019-1020 [PDF]
A Spatial Logic of Betweenness
Mehmet Giritli
pp.1021-1022 [PDF]
Melodic Similarity: Looking for a Good Abstraction Level
Maarten Grachten, Josep Lluis Arcos
pp.1023-1024 [PDF]
Model-based monitoring of software components
Irène Grosclaude
pp.1025-1026 [PDF]
Dynamic skeleton-based wayfinding
Hans Guesgen, Paul Shotbolt
pp.1027-1028 [PDF]
Using Multiple Relaxations in Temporal Planning
Keith Halsey, Maria Fox, Derek Long
pp.1029-1030 [PDF]
Improving Heuristics through Search
Patrik Haslum
pp.1031-1032 [PDF]
Utilizing Structured Representations in Conformant Probabilistic Planning
Nathanael Hyafil, Fahiem Bacchus
pp.1033-1034 [PDF]
CarSim: A System to Simulate Road Accidents in a 3D Environment from Written Descriptions
Richard Johansson, David Williams, Pierre Nugues
pp.1035-1036 [PDF]
Parameter Estimation in Large Causal Independence Models
Rasa Jurgelenaite, Peter Lucas
pp.1037-1038 [PDF]
Temporal Plan Interdependencies: Illustrating Various Plan Components
Katharina Kaiser, Silvia Miksch
pp.1039-1040 [PDF]
A Troubleshooting Approach with Dependent Actions
Eylem Koca, Taner Bilgic
pp.1041-1042 [PDF]
Reliability and typicalness for estimating confidence level of individual classifications
Matjaz Kukar
pp.1043-1044 [PDF]
Qualitative Reasoning Feeding Back into Quantitative Model-based Tracking
Christian Köhler, Bernhard Nebel, Artur Ottlik, Hans-Hellmut Nagel
pp.1045-1046 [PDF]
Consistency is consistency is consistency
Gerard Ligozat, Jochen Renz
pp.1047-1048 [PDF]
A Critical-Shaking Neighborhood Search for the Yard Allocation Problem
Andrew Lim, Zhou Xu
pp.1049-1050 [PDF]
Qualitative Modelling of Kinematic Robots for Fault Detection and Diagnosis
Honghai Liu, George M. Coghill
pp.1051-1052 [PDF]
Modelling the interpretation of novel compounds
Dermot Lynott, Mark T. Keane
pp.1053-1054 [PDF]
Role Swapping in Multi-Agent Sensor Webs
Ronan Mac Ruairi, Mark T. Keane
pp.1055-1056 [PDF]
Embodied Conversational Agent and Influences : Towards individualized agents
Vincent Maya, Myriam Lamolle, Catherine Pelachaud
pp.1057-1058 [PDF]
Hig-Level Observations in Java Debugging
Wolfgang Mayer, Markus Stumptner
pp.1059-1060 [PDF]
A Skeleton Based Method for Efficient 3D Object Localization: Application to teleoperation
Djamel Merad, Narjes Khezami, Samir Otmane, Malik Mallem
pp.1061-1062 [PDF]
Mapping clinical guidelines representation primitives to decision theory concepts
Stefania Montani, Paolo Terenziani
pp.1063-1064 [PDF]
IPSS: An Hybrid Reasoner for Planning and Scheduling
M.Dolores R- Moreno, Angelo Oddi, Daniel Borrajo, Amedeo Cesta, Daniel Meziat
pp.1065-1066 [PDF]
Robel : Synthesizing and Controlling Robust Robot Behaviors
Benoit Morisset, Guillaume Infantes, Malik Ghallab, Felix Ingrand
pp.1067-1068 [PDF]
Integrating Local-Search Advice Into Refinement Search (Or Not)
Alexander Nareyek, Stephen F. Smith, Christian M. Ohler
pp.1069-1070 [PDF]
Identifying relational concept lexicalisations by using general linguistic knowledge
Maria Teresa Pazienza, Marco Pennacchiotti, Fabio Massimo Zanzotto
pp.1071-1072 [PDF]
Adaptive, Multilingual Named Entity Recognition in Web Pages
Georgios Petasis, Vangelis Karkaletsis, Claire Grover, Benjamin Hachey, Maria-Teresa Pazienza, Michele Vindigni, Jose Coch
pp.1073-1074 [PDF]
Extending Defeasible Logic and Defeasible Prolog
Ahti-Veikko Pietarinen
pp.1075-1076 [PDF]
Context Aware Personalised Service Delivery
Edoardo Pignotti, Peter Edwards, Gunnar A Grimnes
pp.1077-1078 [PDF]
Cooperation based on communication: An approach for an autonomous driving system
Ralf Regele, Paul Levi
pp.1079-1080 [PDF]
Evaluating Global Adequacy in Fuzzy Classifications
Mónica Sanchez, Francesc Prats, Núria Agell, Joseph Aguilar
pp.1081-1082 [PDF]
Equilibrium Strategies for Task Allocation in Dynamic Multi-Agent System
David Sarne, Meirav Hadad, Sarit Kraus
pp.1083-1084 [PDF]
Diagnosis of Discrete-Event Systems using BDDs
Anika Schumann, Yannick Pencole, Sylvie Thiebaux
pp.1085-1086 [PDF]
Concurrent Planning by Decomposition
Laura Sebastia, Eva Onaindia, Eliseo Marzal
pp.1087-1088 [PDF]
An Intrinsic Information Content Metric for Semantic Similarity in WordNet
Nuno Seco, Tony Veale, Jer Hayes
pp.1089-1090 [PDF]
Perception Based Cognitive Diagnosis
Antoaneta Serguieva, Tariq Khan
pp.1091-1092 [PDF]
Kernel Machine Based Feature Extraction Algorithms for Regression Problems
Csaba Szepesvari, Kornel Kovacs, Andras Kocsor
pp.1093-1094 [PDF]
Variants of A* for Planning
Minh Tang, Amol Mali
pp.1095-1096 [PDF]
Configuration of web-services as parametric design
Annette ten Teije, Frank van Harmelen, Bob Wielinga
pp.1097-1098 [PDF]
A Spanish-Catalan Translator Using Statistical Methods
Jesús Tomás, Francisco Casacuberta
pp.1099-1100 [PDF]
A Qualitative Reprsentation of Trajectory Pairs A Qualitative Reprsentation of Trajectory Pairs A Qualitative Representation of Trajectory Pairs
Nico Van de Weghe, Anthony G. Cohn, Philippe De Maeyer
pp.1101-1102 [PDF]
Defining Equivalence Classes for the Elicitation of Probability Constraints for Bayesian Networks
Linda C. van der Gaag, Eveline M. Helsper
pp.1103-1104 [PDF]
Postponing Branching Decisions
Willem Jan van Hoeve, Michela Milano
pp.1105-1106 [PDF]
Contextualized Abstraction for Assertion-Level Theorem Proving
Quoc Bao VO
pp.1107-1108 [PDF]
Automatic Recognition of Famous Artists by Machine
Gerhard Widmer, Patrick Zanon
pp.1109-1110 [PDF]
Soft Constraints with Partially Ordered Preferences
Nic Wilson
pp.1111-1112 [PDF]
An Ant Colony Genetic Algorithm
Shao Xiaowei
pp.1113-1114 [PDF]
NGP: Numerical Graph Planning
Joseph Zalaket, Guy Camilleri
pp.1115-1116 [PDF]
Topological Localization using Decentralized Concept Lattices
Emmanuel Zenou, Malik Ghallab, Manuel Samuelides
pp.1117-1118 [PDF]
XVIII.Invited Talks
Media Fabrics: The Problem of Time in Personal Media Making
Glorianna Davenport
pp.1121-1121 [PDF]
Spatial Congition: An AI Perscpective
Christian Freksa
pp.1122-1128 [PDF]
The Semantic Grid
Carole Goble, David De Roure
pp.1129-1135 [PDF]
Adding Intelligence to Virtual Reality
Seppo Laukkanen, Ilkka Karanta, Ville Kotovirta, Jussi Markkanen, Jukka Rönkkö
pp.1136-1141 [PDF]

Author Index
Keyword Index

ECAI-2004 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Universitat Politècnica de València on behalf of Asociación Española de Inteligencia Artificial (AEPIA) and Associació Catalana d'Intel-ligència Artificial (ACIA).