ECAI-2004 Timetable

Sunday 22, August
08:00-19:30

Registration

09:00-10:30

Tutorial & Workshops
T02, T08, T10, W05, W08, W14, W19
10:30-11:00

Coffee Break

11:00-13:30

Tutorial & Workshops
T02, T08, T10, W05, W08, W14, W19

13:30-15:30

  

15:30-17:30

Tutorial & Workshops
T11,  W05, W08, W14, W19, W09, W16, W18, W27, W28, W23, W11

17:30-18:00

Coffee Break

18:00-19:30

Tutorial & Workshops
T11,  W05, W08, W14, W19, W09, W16, W18, W27, W28, W23, W11

Monday 23, August
08:00-19:30

Registration

09:00-10:30

Tutorial & Workshops
T03, T04, T09, W09,W16, W24, W18, W27, W28, W23, W11, W03, W02, W20, W01, W21, W22, W26, W10

STAIRS
(Room 005)
10:30-11:00

Coffee Break

11:00-13:30

Tutorial & Workshops
T03, T04, T09, W09,W16, W24, W18, W27, W28, W23, W11, W03, W02, W20, W01, W21, W22, W26, W10

STAIRS
(Room 005)

13:30-15:30

  

15:30-17:30

Tutorial & Workshops
T04, T05, W03, W24, W02, W20, W01, W21, W22, W26, W12, W15, W04, W06, W25, W07, W13, W10

STAIRS
(Room 005)

17:30-18:00

Coffee Break

18:00-19:30

Tutorial & Workshops
T04, T05, W03, W24, W02, W20, W01, W21, W22, W26, W12, W15, W04, W06, W25, W07, W13, W10

STAIRS
(Room 005)

Tuesday 24, August
08:00-19:30

Registration

09:00-10:30

Tutorial & Workshops
T06, T01, W12, W03, W15, W02, W04, W06, W25, W07, W13, W17

STAIRS
(Room 005)
10:30-11:00

Coffee Break

11:00-13:30

Tutorial & Workshops
T06, T01, W12, W03, W15, W02, W04, W06, W25, W07, W13, W17

STAIRS
(Room 005)

13:30-15:30

  
15:30-16:30

Official Opening
(assembly room)

16:30-17:30

Invited talk
Spatial Cognition - An AI perspective. Christian Freksa
(assembly room)

17:30-18:00

Coffee Break

18:00-19:30

Parallel Sessions

ML-1
(Room 003)

KR-1
(Room 004)

Reas-1
(Room 005)

CSP-1
(Room 013)

Agent-1
(Room 012)
19:30-21:00

Reception Party

Wednesday 25, August
08:00-19:30

Registration

09:00-10:30

Parallel Sessions

ML-2
(Room 003)

KR-2
(Room 004)

Reas-2
(Room 005)

CSP-2
(Room 013)

Plann-1
(Room 012)
10:30-11:00

Coffee Break
11:00-12:00

Invited talk
Media Fabrics: The problem of time in personal media making - Glorianna Davenport
(assembly room)
12:00-13:30

Parallel Sessions

ML-3
(Room 003)

KR-3
(Room 004)

Reas-3
(Room 005)

CSP-3
(Room 013)

Agent-2
(Room 012)

13:30-15:30

Lunch

15:30-17:30

Parallel Sessions

ML-4
(Room 003)

KR-4
(Room 004)

NLP-1
(Room 005)

CSP-4
(Room 013)

Agent-3
(Room 012)

Robot
(Room 011)

17:30-18:00

Coffee Break

18:00-19:30

Parallel Sessions

ML-5
(Room 003)

KR-5
(Room 004)

Reas-4
(Room 005)

CSP-5
(Room 013)

Agent-4
(Room 012)

CBR
(Room 011)
19:30-20:30

Poster Session A

ECAI General Assembly
(Room 001)

Thursday 26, August
08:00-19:30

Registration

09:00-10:30

Parallel Sessions

ML-6
(Room 003)

KR-6
(Room 004)

Reas-5
(Room 005)

CSP-6
(Room 013)

PAIS-1
(Room 012)
10:30-11:00

Coffee Break
11:00-12:00

Invited talk
Adding intelligence to virtual reality - Seppo Laukkane
(assembly room)
12:00-13:30

Parallel Sessions

ML-7
(Room 003)

KR-7
(Room 004)

Reas-6
(Room 005)

Plann-2
(Room 013)

PAIS-2
(Room 012)

13:30-15:30

Lunch

15:30-17:30

Parallel Sessions

ML-8
(Room 003)

KR-8
(Room 004)

NLP-2
(Room 005)

Agent-5
(Room 013)

PAIS-3
(Room 012)

GA/E/Philo
(Room 011)

17:30-18:00

Coffee Break

18:00-19:30

Parallel Sessions

ML-9
(Room 003)

Plann-3
(Room 004)

Vision-1
(Room 005)

Agent-6
(Room 013)

PAIS-4
(Room 012)

NN
(Room 011)
19:30-20:30

Poster Session B
21:30

Banquet

Friday 27, August
08:00-12:30

Registration

09:00-10:30

Parallel Sessions

ML-10
(Room 003)

KR-9
(Room 004)

Reas-7
(Room 005)

Plann-4
(Room 013)

Cognit-1
(Room 012)
10:30-11:00

Coffee Break
11:00-12:00

Invited talk
The Semantic Grid: Myth Busting and Bridge Building - Carole Goble
(assembly room)
12:00-12:30

ECAI Dissertation Award
(assembly room)

12:30-14:00

Parallel Sessions

NN/KM
(Room 003)

Vision-2
(Room 004)

Reas-8
(Room 005)

KE
(Room 013)

Cognit-2
(Room 012)

14:00-16:00

Lunch

Agents  1 

Diagnosability analysis of distributed discrete event systems, Yannick Pencolé

Emergence of Complex Networks through Local Optimization, Josep M. Pujol, Andreas Flache, Ramon Sangüesa, Jordi Delgado

Algorithms for Distributed Exploration, Thomas Walker, Daniel Kudenko, Malcolm Strens

[back]

Agents  2

Automatic verification of deontic interpreted systems by model checking via OBDD’s, Franco Raimondi, Alessio Lomuscio

SERSE: searching for semantic web content, Valentina Tamma, Ian Blacoe, Ben Lithgow Smith, Michael Wooldridge

A Risk-Based Bidding Strategy for Continuous Double Auctions, Perukrishnen Vytelingum, Rajdeep K. Dash, Esther David, Nicholas R. Jennings

[back]

Agents  3 

Negotiation in State-Oriented Domains with Incomplete Information over Goals, Shlomit Bergman, Elan Pavlov, Jeffrey S. Rosenschein

Negotiating the Distribution of Obligations with Sanctions among Autonomous Agents, Guido Boella, Leendert van der Torre

Agent Planning, Negotiation and Control of Operation, Antonis Kakas, Paolo Torroni, Neophytos Demetriou

Negotiation Strategies for Autonomous Computational Agents, Fernando Lopes, Nuno Mamede, A. Q. Novais, Helder Coelho

        [back]

Agents  4

Game-Theoretic Agent Programming in Golog, Alberto Finzi, Thomas Lukasiewicz 

Passive Threats among Agents in State Oriented Domains, Yair B. Weinberger, Jeffrey S. Rosenschein 

[back]

Agents  5 

FIRE: An Integrated Trust and Reputation Model for Open Multi-Agent Systems, Trung Dong Huynh, Nicholas R. Jennings, Nigel R. Shadbolt

The KGP Model of Agency, Antonis Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni

Many Hands Make Light Work: Localized Satisfiability For Multi-Context Systems, Floris Roelofsen, Luciano Serafini, Alessandro Cimatti

Balancing coordination and synchronization cost in Cooperative Situated Multi-agent Systems with Imperfect Communication, Andrea I. Tavares, Mario F. M. Campos

[back]

Agents  6 

Agreements without disagreements, Samir Aknine, Philippe Caillou                                             

Expectation Reasoning using Regret and Disappointment, Bình Vu Trân, James Harland, Margaret Hamilton

[back]

Case-Based Reasoning

Instance-Based Prediction with Guaranteed Confidence, Eyke Hüllermeier

Instance-Based Learning Techniques of Unsupervised Feature Weighting do not perform so badly!, Héctor Núñez, Miquel Sánchez-Marrè  

[back]

Cognitive Modelling  1

Exchanging Emotions - SOM Approach, Heikki Hyötyniemi, Juha Hemànus, Vuokko Lantz

Reasoning about Emotional Agents, John-Jules Meyer

Focusing Reasoning Through Emotional Mechanisms, Luis Morgado, Graça Gaspar 

[back]

Cognitive Modelling  2

Applying Affective Tactics for a Better Learning, Patricia Augustin Jaques, Rosa Maria Vicari, Sylvie Pesty, Jean-François Bonneville

Forming Odour Categories using an Electronic Nose, Amy Loutfi, Silvia Coradeschi

A Formal Tutoring Process Model for Intelligent Tutoring Systems, Alke Martens, Adelinde M. Uhrmacher

[back]

Constraint Satisfaction,  Search,  Games  1

Improving Asynchronous Backtracking for Dealing with Complex Local Problems, Arnold Maestre, Christian Bessière

Encoding Quantified CSPs as Quantified Boolean Formulae, Ian Gent, Peter Nightingale, Andrew Rowley

Using Constraints with Memory to Implement Variable Elimination, Martí Sánchez, Pedro Meseguer, Javier Larrosa 

[back]

Constraint Satisfaction,  Search,  Games  2

Symmetry-breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern, Alan M. Frisch, Christopher Jefferson, Ian Miguel

Tractable symmetry breaking using restricted search trees, Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton

Complete and Incomplete Algorithms for the Queen Graph Coloring Problem, Michel Vasquez, Djamal Habet

[back]

Constraint Satisfaction,  Search,  Games  3

Robust Solutions for Constraint Satisfaction and Optimization, Emmanuel Hebrard, Brahim Hnich, Toby Walsh

Guiding a Theorem Prover with Soft Constraints, John Slaney, Arnold Binas, David Price 

Uncertain Linear Constraints, Nic Wilson

[back]

Constraint Satisfaction,  Search,  Games  4

A Case Study of Revisiting Best-First vs. Depth-First Search, Andreas Auer, Hermann Kaindl

Boosting systematic search by weighting constraints, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais

How to use the scuba diving metaphor to solve problem with neutrality?, Philippe Collard, Sébastien Verel, Manuel Clergue

A Study of the Accuracy of Heuristic Functions, Carlos Linares López

[back]

Constraint Satisfaction,  Search,  Games  5

Adversarial Constraint Satisfaction by Game-tree Search, Kenneth N. Brown, James Little, Paidi J. Creed, Eugene C. Freuder

Generalized Widening, Tristan Cazenave

Constrained Pure Nash Equilibria in Graphical Games, Gianluigi Greco, Francesco Scarcello

[back]

Constraint Satisfaction,  Search,  Games  6

 An Effective Branch-and-Bound Algorithm to Solve the k-Longest Common Subsequence Problem, Gaofeng Huang, Andrew Lim

 Decomposition and good recording for solving Max-CSPs, Philippe Jégou, Cyril Terrioux

 Quantified Constraint Satisfaction and Bounded Treewidth, Hubie Chen

[back]

 Genetic Algorithms / Emergence / Philosophical Foundations

A Genetic Algorithm with Feminine Selection, Josué Pereira de Castro, Adriana Postal, Guilherme Bittencourt

Generation of desired emergent behavior in swarm of micro-robots, Sergey Kornienko, Olga Kornienko, Paul Levi

Artificial agents - personhood in law and philosophy, Samir Chopra, Laurence White

Simplicity in solving the Frame Problem, Victor Jauregui, Maurice Pagnucco, Norman Foo

[back]

Knowledge Engineering

Control of a Hydroforming Press with Bayesian Networks, Rainer Deventer, Heinrich Niemann, Martino Celeghini

Knowledge-Based Cinematography and Its Applications, Doron Friedman, Yishai Feldman 

[back]

Knowledge Representation  1

Reasoning in Description Logics with a Concrete Domain in the Framework, of Resolution, Ullrich Hustadt, Boris Motik, Ulrike Sattler

Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and---What Else?, Sebastian Brandt

Description Logics with Concrete Domains and Functional Dependencies, Carsten Lutz, Maja Milicic

[back]

Knowledge Representation  2

Improving Web Search through Collaborative Query Recommendation, Evelyn Balfe, Barry Smyth

Efficient and Secure Collaborative Filtering through Intelligent Neighbour Selection, Michael P. O'Mahony, Neil J. Hurley, Guenole C. M. Silvestre

DILIGENT: Towards a fine-grained methodology for DIstributed, Loosely-controlled and evolvInG Engineering of oNTologies, Sofia Pinto, Steffen Staab, Christoph Tempich

[back]

Knowledge Representation  3

Synonymous Theories in Answer Set Programming and Equilibrium Logic, David Pearce, Agustín Valverde

Fundamental Issues of Aesthetic Knowledge Representation, Matteo Cristani, Francesco Bellomi

Representing Natural Kinds by Spatial Inclusion and Containment, Stefan Schulz, Udo Hahn

[back]

Knowledge Representation  4

An Investigation into the Expressive Power of PDDL2.1, Maria Fox, Derek Long, Keith Halsey

Goal specification in presence of non-deterministic actions, Chitta Baral, Jicheng Zhao

Analysis of Design Process Dynamics, Tibor Bosse, Catholijn Jonker, Jan Treur

Domain descriptions should be modular, Andreas Herzig, Ivan Varzinczak

[back]

Knowledge Representation  5

A Rank Based Description Language for Qualitative Preferences, Gerhard Brewka

From knowledge-based programs to graded belief-based programs, Part I: On-line reasoning, Noel Laverny, Jerome Lang

Type Checking in Open-Domain Question Answering, Stefan Schlobach, Marius Olsthoorn, Maarten de Rijke

[back]

Knowledge Representation  6

New Advances in Compiling CNF into Decomposable Negation Normal Form, Adnan Darwiche

Representing Normal Programs with Clauses, Tomi Janhunen

Representing Knowledge about Norms, Daniel Kayser, Farid Nouioua

[back]

Knowledge Representation  7

Generating Random Bayesian Networks with Constraints on Induced Width, Jaime Ide, Fabio Cozman, Fabio Ramos

Determining the direction of causal influence in large probabilistic networks: a constraint-based approach, Liviu Badea

Gene Network Modeling through Semi-Fixed Bayesian Network, Tie-Fei Liu, Wing-Kin Sung, Ankush Mittal

[back]

Knowledge Representation  8

Extending a Lexicon Ontology for Intelligent Information Integration, Roberta Benassi, Sonia Bergamaschi, Alain Fergnani, Daniele Miselli

An ontology based visual tool for query formulation support, Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris

Operationalization domain ontologies: a method and a tool, Frédéric Fürst, Michel Leclère, Francky Trichet

Similarity-based ontology alignment in OWL-Lite, Jérôme Euzenat, Petko Valtchev

[back]

Knowledge Representation  9

A semantics for abstraction, Chiara Ghidini, Fausto Giunchiglia

Abduction over unbounded domains via ASP, Piero A. Bonatti

The mereology of stages and persistent entities, Thomas Bittner, Maureen Donnelly

[back]

Machine Learning,  Data Mining  1

Exploiting Association and Correlation Rules Parameters for Improving the K2 Algorithm, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari

Visual Learning by Set Covering Machine with Efficient Feature Selection, Hiroki Nomiya, Kuniaki Uehara

Piece-Wise Model Fitting Using Local Data Patterns, Ricardo Vilalta, Muralikrishna Achari, Christoph Eick 

[back]

Machine Learning,  Data Mining  2

Comparing Conceptual, Divisive and Agglomerative Clustering for Learning Taxonomies from Text, Philipp Cimiano, Andreas Hotho, Steffen Staab

PoBOC: an Overlapping Clustering Algorithm. Application to Rule-Based Classification and Textual Data, Guillaume Cleuziou, Lionel Martin, Christel Vrain

AntTree: A web document clustering using artificials ants, Azzag Hanene, Christianne Guinot, Gilles Venturini

[back]

Machine Learning,  Data Mining  3

 Voted Co-training for Bootstrapping Sense Classifiers, Rada Mihalcea

Combining Multiple Answers for Learning Mathematical Structures from Visual Observation, Paulo Santos, Derek Magee, Anthony Cohn, David Hogg

Stacked generalization for information extraction, Georgios Sigletos, Georgios Paliouras, Constantine Spyropoulos, Takis Stamatopoulos 

[back]

Machine Learning,  Data Mining  4

Outlier Detection using Disjunctive Logic Programming, Fabrizio Angiulli, Rachel Ben-Eliyahu - Zohary, Luigi Palopoli

BiasWindowing for Relational Learning, Frédéric Koriche

Ideal Refinement of Datalog Clauses using Primary Keys, Siegfried Nijssen, Joost N. Kok

On-line search for solving Markov Decision Processes via heuristic sampling, Laurent Péret, Frédérick Garcia

[back]

Machine Learning,  Data Mining  5

Face Recognition Using Novel LDA-Based Algorithms, GuangDai, Yun Tao Qian

Adaptive Discriminative Generative Model for Object Tracking, Ruei-sung Lin, Ming-hsuan Yang, Stephen Levinson

Avatars That Learn How To Behave, Adam Szarowicz, Paolo Remagnino

[back]

Machine Learning,  Data Mining  6

Statistical Strategies for Pruning All the Uninteresting Association Rules, Gemma Casas-Garriga

Knowledge-based Selection of Association Rules for Text Mining, Dietmar Janetzko, Hacène Cherfi, Roman Kennke, Amedeo Napoli, Yannick Toussaint

Finding Social Network for Trust Calculation, Yutaka Matsuo, Hironori Tomobe, Kôiti Hasida, Mitsuru Ishizuka

[back]

Machine Learning,  Data Mining  7

 Incremental Augmented Naive Bayes Classifiers, Josep Roure Alcobé

 A Backtracking strategy for Order-Independent Incremental Learning, Nicola Di Mauro, Floriana Esposito, Stefano Ferilli, Teresa M.A. Basile

 Learning qualitative metabolic models, George M. Coghill, Simon M. Garrett, Ross D. King

[back]

Machine Learning,  Data Mining  8

 A model-based approach to sequence clustering, Henri Binsztok, Thierry Artières, Patrick Gallinari

 Learning Complex and Sparse Events in Long Sequences, Marco Botta, Ugo Galassi, Attilio Giordana

 M-SOM-ART: Growing self organizing map for sequences clustering and classification, Farida Zehraoui, Younès Bennani

 Yet more efficient EM learning for parameterized logic programs by inter-goal, sharing, Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou

[back]

Machine Learning,  Data Mining  9

 Explaining the result of a decision tree to the end-user, Isabelle Alvarez

 Time-Independent Rule-Based Guideline Induction, David Riaño

 Learning techniques for Automatic Algorithm Portfolio Selection, Alessio Guerri, Michela Milano

[back]

Machine Learning,  Data Mining  10

Pushing "Underfitting" to the Limit: Learning in Bidimensional Text, Categorization, Giorgio Maria Di Nunzio, Alessandro Micarelli

Avoiding data overfitting in scientific discovery: Experiments in functional, genomics, Dragan Gamberger, Nada Lavrac

Inference Attacks in Peer-to-Peer Homogeneous Distributed Data Mining, Josenildo Costa da Silva, Matthias Klusch, Stefano Lodi, Gianluca Moro

[back]

Natural Language Processing  1

Automatic discovery of translation collocations from bilingual corpora, Sergio Barrachina, Juan Miguel Vilar

Improvements on Automatic Word Codification for Connectionist Machine Translation, Gustavo A. Casañ, M. Asunción Castaño

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

An Application of Lexicalized Grammars in English-Persian Translation, Heshaam Feili, Gholamreza Ghassem Sani 

[back]

Natural Language Processing  2

An Argumentative Approach to Assessing Natural Language Usage based on the Web Corpus, Carlos Chesñevar, Ana Maguitman

Parsing Languages with a Configurator, Mathieu Estratat, Laurent Henocque

A Comparative Analysis of Extracted Grammars, Alessandro Mazzei, Vincenzo Lombardo

WordNet sits the S.A.T. A Knowledge-Based Approach to Lexical Analogy, Tony Veale

[back]

Neural Nets

Likely-admissible and sub-symbolic heuristics, Marco Ernandes, Marco Gori

Towards Efficient Learning of Neural Network Ensembles from Arbitrarily Large Datasets, Kang Peng, Zoran Obradovic, Slobodan Vucetic

[back]

Neural Nets / Kernel Machines

Dynamic Selection of Model Parameters in Principal Components Analysis Neural Networks, Ezequiel Lopez-Rubio, Juan Miguel Ortiz-de-Lazcano-Lobato, María del Carmen Vargas-González, José Miguel  Lopez-Rubio

A generalized quadratic loss for Support Vector Machines, Filippo Portera, Alessandro Sperduti

[back]

PAIS  1

Querying the Semantic Web with the CORESE search engine, Olivier Corby, Rose Dieng-Kuntz, Catherine Faron-Zucker

A Portal for Publishing Museum Collections on the Semantic Web, Eero Hyvönen, Samppa Saarela, Kim Viljane, Eetu Mäkelä, Arttu Valo, Mirva Salminen, Suvi Kettula, Miikka Junnila

A Platform for Cross-lingual, Domain and User Adaptive Web Information Extraction, Vangelis Karkaletsis, Constantine D. Spyropoulos, Claire Grover, Maria-Teresa Pazienza, Jose Coch, Dimitris Souflis

[back]

PAIS  2

Model and Heuristics for the Shortest Road Layout Problem, Lorenzo Mandow, José Luis Pérez-de-la-Cruz

A Soft Computing Technique applied to industrial catalysis, Soledad Valero, Estefania Argente, Jose Manuel Serra, P. Serna, Vicente Botti, Avelino Corma

APPROACH: Decentralised Rotation Planning for Container Barges, M.C. Schut, M. Kentrop, M. Leenaarts, M. Melis, I. Miller

[back]

PAIS  3

Lessons from Deploying NLG Technology for Marine Weather Forecast Text Generation, Somayajulu G. Sripada, Ehud Reiter, Ian Davy, Kristian Nilssen

ADVISOR SUITE A knowledge-based sales advisory system, Dietmar Jannach

MASFIT: Multi-Agent System for FIsh Trading, Guifre Cuni, Marc Esteva, Pere Garcia, Eloi Puertas, Carles Sierra, Teresa Solchaga

An Interactive System for Hiring and Managing Graduate Teaching Assistants, Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry

[back]

PAIS  4

A System for Pacemaker Treatment Advice, Peter Lucas, Ruud Kuipers, Frederick Feith

SmartCare(TM) - Automated Clinical Guidelines in Critical Care, Stefan Mersmann, Michel Dojat

AUTAS: a tool for supporting FMECA generation in aeronautic systems, Claudia Picardi, Luca Console, Frederic Berger, Jan Breeman, Tony Kanakis, Jeroen Moelands, Stephan Collas, Emmanuel Arbaretier, Nino De Domenico, Ermanno Girardelli, Oskar Dressler, Peter Struss, Benjamin Zilbermann

[back]

Planning,  Scheduling  1

Job Shop Scheduling with Probabilistic Durations, J. Christopher Beck, Nic Wilson

Improving the Initialization and Repair Heuristics to Effectively Solve the Pickup and Delivery Problems with Time Windows, Vincent Tam, M.C. Kwan

Flexible Demand Assignment Problem, Fan Wang, Andrew Lim, Hong Chen

[back]

Planning,  Scheduling  2

Utilizing Volatile External Information During Planning, Tsz-Chiu Au, Dana Nau, V.S. Subrahmanian

Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains, Piergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso

When Are Behaviour Networks Well-Behaved?, Bernhard Nebel, Yuliya Babovich-Lierler

[back]

Planning,  Scheduling  3

Assessing the Bias of Classical Planning Strategies on Makespan-Optimizing Scheduling, Federico Pecora, Riccardo Rasconi, Amedeo Cesta

Evaluation Strategies for Planning as Satisfiability, Jussi Rintanen

Lazy Adaptive Multicriteria Planning, Grigorios Tsoumakas, Dimitris Vrakas, Nick Bassiliades, Ioannis Vlahavas

[back]

Planning,  Scheduling  4

Planning with Numeric Variables in Multiobjective Planning, Antonio Garrido, Derek Long

Planning with Numerical Expressions in LPG, Alfonso Gerevini, Alessandro Saetti, Ivan Serina

[back]

Reasoning  1

A unifying semantics for belief change, Richard Booth, Samir Chopra, Thomas Meyer, Aditya Ghose

Iterated Belief Change and Exogenous Actions in the Situation Calculus, Steven Shapiro, Maurice Pagnucco

Representing Beliefs in the Fluent Calculus, Yi Jin, Michael Thielscher

[back]

Reasoning  2

A Syntactical Approach to Revision, Guilherme Bittencourt, Laurent Perrussel, Jerusa Marchi

Geographic information revision based on constraints, Mahat Khelfallah, Belaïd Benhamou

An Algorithm for Knowledge Base Extraction, Alexander Nittka

[back]

Reasoning  3

On Line Monitoring and Diagnosis of Multi-Agent Systems: a Model-Based, Approach, Roberto Micalizio, Pietro Torasso, Gianluca Torta

Diagnosis as Semiring-based Constraint Optimization, Martin Sachenbacher, Brian Williams

Models of Behavior Deviations in Model-based Systems, Peter Struss

[back]

Reasoning  4

A Fuzzy Approach to Temporal Model-Based Diagnosis for Intensive Care Units, José Palma, José M. Juárez, Manuel Campos, Roque Marín

Introducing Alias Information into Model-Based Debugging, Daniel Köb, Franz Wotawa

Debugging Program Loops using Approximate Modeling, Wolfgang Mayer, Markus Stumptner

[back]

Reasoning  5

Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae, Ofer Arieli

A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning, Sylvie Coste-Marquis, Pierre Marquis

A tabulation proof procedure for residuated logic programming, Carlos V. Damásio, Jesus Medina, Manuel Ojeda-Aciego

[back]

Reasoning  6

New insights on the intuitionistic interpretation of Default Logic, Pedro Cabalar, David Lorenzo

 Plausibility structures for default reasoning, Yves Moinard

 Elimination of spurious explanations, Gerhard Friedrich, 

[back]

Reasoning  7

Consistency and Constrained Optimisation for Conditional Preferences, Nic Wilson

A Qualitative Theory for Shape Representation and Matching for Design, Lledó Museros, M. Teresa Escrig

Reasoning about Actions with Sensing under Qualitative and Probabilistic, Uncertainty, Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati

[back]

Reasoning  8

A General Recursive Schema for Argumentation Semantics, Pietro Baroni, Massimiliano Giacomin

The Use of Temporal Reasoning and Managment of Complex Events in Smart, Homes, Juan Carlos Augusto, Chris Nugent

Diagnosis of discrete-event systems by separation of concerns, knowledge compilation, and reuse, Gianfranco Lamperti, Marina Zanella

[back]

Robotics

A Robot Task Planner that Merges Symbolic and Geometric Reasoning, Stéphane Cambon, Fabien Gravot, Rachid Alami

Indirect and Conditional Sensing in the Event Calculus, Jeremy Forth, Murray Shanahan

Active learning for robot manipulation, Antonio Morales, Eris Chinellato, Andrew H. Fagg, Angel P. del Pobil

Adaptive Robot Coordination using Interference Metrics, Avi Rosenfeld, Gal A. Kaminka, Sarit Kraus

[back]

Vision,  Perception  1

Attention-Driven Parts-Based Object Detection, Ilkka Autio, J.T. Lindgren

A context-based model of attention, Niek Bergboer, Eric Postma, Jaap van den Herik

Learning to focus attention on discriminative regions for object detection, Gerald Fritz, Christin Seifert, Lucas Paletta, Horst Bischof

[back]

Vision,  Perception  2

Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving Objects, Brandon Bennett, Derek R. Magee, Anthony G. Cohn, David C. Hogg

Vision-Language Integration in AI: a reality check, Katerina Pastra, Yorick Wilks

[back]

 

Posters
 
Session A Session B

Distributed Reasoning in a Peer to Peer Setting
Philippe Adjiman, Philippe Chatalic, Francois Goasdoué, Marie-Christine Rousset, Laurent Simon (France)

A Characterization of Linearly Compensated Hybrid Connectives Used in Fuzzy Classifications
Mónica Sánchez, Francesc Prats, Núria Agell, Joseph Aguilar-Martin (Spain)

LEARNING MODEL FREE MOTOR CONTROL
ALEJANDRO AGOSTINI, ENRIC CELAYA (Spain)

A Declarative Characterisation of Disjunctive Paraconsistent Answer Sets
Joao Alcântara, Carlos Damásio, Luis Moniz Pereira (Portugal)

Transmission Expansion Planning Based on Tabu Search Algorithm
Zakariya M. Al-Hamouz, A. H. Mantawy, Hussain Al-Duwaish, Ibrahim El-Amin, Ali Al-Faraj (Saudi Arabia)

Automatic Generation of Macro-Operators from Static Domain Analysis
Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu (Italy)

Optimal Brain Surgeon Variants For Optimization
Mohammed Attik, Laurent Bougrain, Frédéric Alexandre(France)

Failing-First: An Update
J. Christopher Beck, Patrick Prosser, Richard Wallace (Ireland)

Handling Conflicts in Access Control Models
Salem BENFERHAT, Rania El  BAIDA (France)

Preferences on Queries in a Mediator Approach
Alain Bidault, Sarah Cohen Boulakia, Christine Froidevaux (France)

An Abstraction from Power to Coalition Structures
Guido Boella, Luigi Sauro, Leendert van der Torre (Italy)

ACLAnalyser: a Tool for Debugging Multi-agent Systems
Juan A. Botia, Alberto Lopez, Antonio Skarmeta  (Spain)

On Multiclass Active Learning with Support Vector Machines
Klaus Brinker (Germany)

Local search heuristics: Fitness Cloud versus Fitness Landscape
Philippe Collard, Sébastien Verel, Manuel Clergue (France)

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 (Italy)

Lakatos-style Automated Theorem Modification
Simon Colton, Alison Pease (UK)

Different Strokes for Different Folks: an analysis of similarity and diversity in Web search
Maurice Coyle, Barry Smyth (Ireland)

Axiomatizing Noisy-OR
Fabio Cozman (Brasil)

Adapting LPGP to Plan with Deadlines
Stephen Cresswell, Alexandra Coddington (UK)

Compilation of LTL goal formulas into PDDL
Stephen Cresswell, Alexandra Coddington (UK)

Towards a Connectionist Argumentation Framework
Artur d'Avila Garcez, Dov M. Gabbay, Luis C. Lamb (UK)

Dynamical Teams of Genetic Predictors
Michael Defoin-Platel, Manuel Clergue, Philippe Collard (France)

From belief change to obligation change in the Situation Calculus
Robert Demolombe (France)

Discovering relevancies in very difficult regression problems: applications to sensory data analysis
Jorge Díez, Gustavo Bayón, José R. Quevedo, Juan José del Coz, Oscar Luaces, Jaime Alonso, Antonio Bahamonde (Spain)

Miss Scarlett in the Ballroom with the Lead Piping
Clare Dixon (UK)

Towards a Logical Analysis of Biochemical Pathways
Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas (Sweden)

A New MDL-based Function for Feature Selection for Bayesian Network Classifiers
Madalina M. Drugan, Linda C. van der Gaag (The Netherlands)

Context Dependence in Multiagent Resource Allocation
Paul Dunne (UK)

Tractability Results for Automatic Contracting
Paul E. Dunne, Michael Laurence, Michael Wooldridge (UK)

Evolution of Communication between Genetic Agents
Gilles Éné,  Cathy Escazut, Michaël Defoin-Platel (France)

Induction and Revision of Terminologies
Floriana Esposito, Nicola Fanizzi, Luigi Iannone, Ignazio Palmisano, Giovanni Semeraro (Italy)

Empirical Evaluation of the Effects of Concept Complexity on Generalization Error
Roberto Esposito (Italy)

Automatic Induction of Domain-related Information: Learning Descriptors Type Domains
Stefano Ferilli, Floriana Esposito, Teresa M.A. Basile, Nicola Di Mauro (Italy)

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 (Brasil)

Interactive Task Planning through Multiple Abstraction: Application to Assistant Robotics
Cipriano Galindo, Javier Gonzalez, Juan-Antonio Fernandez-Madrigal (Spain)

Qualitative Interpolation for Environmental Knowledge Representation
 Antony Galton, James Hood (UK)

Swarm Intelligence: Agents for Adaptive Web Search
Fabio Gasparetti, Alessandro Micarelli (Italy)

A Spatial Logic of Betweenness
Mehmet Giritli (Germany)

Using the Implication/Realization Model for Measuring Melodic Similarity
Maarten Grachten, Josep Lluis Arcos (Spain)

Model-based monitoring of software components
Irène Grosclaude(France)

Dynamic skeleton-based wayfinding
Hans Guesgen, Paul Shotbolt (New Zealand)

Using Multiple Relaxations in Temporal Planning
Keith Halsey, Derek Long, Maria Fox (UK)

Improving Heuristics through Search
Patrik Haslum (Sweden)

Utilizing Structured Representations and CSPs in Conformant Probabilistic Planning
Nathanael Hyafil, Fahiem Bacchus (Canada)

Converting Texts of Road Accidents into 3D Scenes
Richard Johansson, David Williams, Pierre Nugues (Sweden)

Parameter Estimation in Large Causal Models
Rasa Jurgelenaite, Peter Lucas (The Netherlands)

Temporal Plan Interdependencies
Katharina Kaiser, Silvia Miksch (Austria)

A Troubleshooting Approach with Dependent Actions
Eylem Koca, Taner Bilgic (Turkey)

Qualitative Reasoning Feeding Back into Quantitative Model-based Tracking
Christian Köhler, Artur Ottlik, Hans-Hellmut Nagel, Bernhard Nebel (Germany)

Estimating confidence values of individual predictions by their typicalness and reliability
Matjaz Kukar (Slovenia)

Problems with Local Consistency for Qualitative Calculi
Gerard Ligozat, Jochen Renz (France)

A Critical-Shaking Neighborhood Search for the Yard Allocation Problem
Andrew Lim, Zhou Xu (Hong Kong)

Qualitative Modelling of Planar Robots
Honghai Liu, George M. Coghill (UK)

Modelling the interpretation of novel compounds
Dermot Lynott, Mark T. Keane (Ireland)

Role Swapping in Multi-Agent Sensor Webs
Ronan Mac Ruairí, Mark T. Keane (Ireland)

Embodied Conversational Agent and Influences
Vincent Maya, Myriam Lamolle, Catherine Pelachaud (France)

Hig-Level Observations in Java Debugging
Wolfgang Mayer, Markus Stumptner (Australia)

A 3D Free Form Object Localization Using Skeletons: Application to teleoperation
Djamel Merad, Narjes Khézami, Samir Otmane, Malik Mallem (France)

Mapping clinical guidelines representation primitives to decision theory concepts
Stefania Montani, Paolo Terenziani (Italy)

Robel : Synthesizing and Controlling Complex Robust Robot Behaviors
Benoit Morisset, Guillaume Infantes, Malik Ghallab, Felix Ingrand (France)

Local Search for Heuristic Guidance in Tree Search
Alexander Nareyek, Stephen F. Smith, Christian M. Ohler (Ireland)

IPSS: An Hybrid Reasoner for Planning and Scheduling
Maria Dolores R-Moreno, Angelo Oddi, Daniel Borrajo, Amedeo Cesta, Daniel Meziat (Spain)

A Speech Architecture for Personal Assistants Applied in a Knowledge Management Context
Emerson Cabrera Paraiso, Jean-Paul Barthes, Cesar Tacla (France)

Identifying relational concept lexicalisations by using general linguistic knowledge
Maria Teresa Pazienza, Marco Pennacchiotti, Fabio Massimo Zanzotto (Italy)

Adaptive, Multilingual Named Entity Recognition in Web Pages
Georgios Petasis, Vangelis Karkaletsis, Claire Grover, Benjamin Hachey, Maria-Teresa Pazienza, Michele Vindigni, Jose Coch (Greece)

Extending Defeasible Logic and Defeasible Prolog
Ahti-Veikko Pietarinen (Finland)

Context Aware Personalised Service Delivery
Edoardo Pignotti, Peter Edwards, Gunnar A Grimnes (UK)

Cooperation based on communication: An approach for an autonomous driving system
Ralf Regele, Paul Levi (Germany)

Iterated Algorithm for the Optimal Winner Determination In Combined Negotiations
Aknine Samir (France)

Equilibrium Strategies for Task Allocation in Dynamic Multi-Agent System
David Sarne, Meirav Hadad, Sarit Kraus (Israel)

Symbolic Models for Diagnosing Discrete-Event Systems
Anika Schumann, Yannick Pencolé, Sylvie Thiébaux (Australia)

Concurrent Planning by Decomposition
Laura Sebastia, Eva Onaindia, Eliseo Marzal (Spain)

An Intrinsic Information Content Metric for Semantic Similarity in WordNet
Nuno Seco, Tony Veale, Jer Hayes (Ireland)

An Ant Colony Genetic Algorithm
Shao Xiaowei, Shao Changsheng, Zhao Changan (China)

Kernel Machine Based Feature Extraction Algorithms for Regression Problems
Csaba Szepesvári, András Kocsor, Kornél Kovács (Hungary)

Variants of A* for Planning
Minh Tang, Amol Mali (USA)

Configuration of web-services as parametric design
Annette ten Teije, Frank van Harmelen, Bob Wielinga (The Netherlands)

A Spanish-Catalan Translator Using Statistical Methods
Jesús Tomás, Jaime Lloret, Francisco Casacuberta (Spain)

Defining Equivalence Classes for the Elicitation of Probability Constraints for Bayesian Networks
Linda C. van der Gaag, Eveline M. Helsper (The Netherlands)

A Qualitative Representation of Trajectory Pairs
Nico Van de Weghe, Anthony G. Cohn, Philippe De Maeyer (Belgium)

Postponing Branching Decisions
Willem Jan van Hoeve, Michela Milano (The Netherlands)

Contextualized Abstraction for Assertion-Level Theorem Proving
Quoc Bao Vo (Germany)

Automatic Recognition of Famous Artists by Machine
Gerhard Widmer, Patrick Zanon (Austria)

Soft Constraints with Partially Ordered Preferences
Nic Wilson (Ireland)

NGP: Numerical Graph Planning
Joseph Zalaket, Guy Camilleri (France)

Topological Localization using Decentralized Concept Lattices
Emmanuel ZENOU, Malik GHALLAB, Manuel SAMUELIDES (France)

Domain Representation Assisting Cognitive Analysis
Antoaneta Serguieva, Tariq Khan (United Kingdom)

Autonomous Cache-Provision Agreement for Scalability of Directory Facilitator in MAS
 Abdul Ghafoor, Bilal Mustafa, H. Farooq Ahmad, Arshad Ali, Hiroki Suguri, Zaheer Abbas
 

[back]