ECAI 2004 Table of Contents

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