ECAI Accepted Papers | PAIS Accepted Papers | ECAI Accepted Posters

ECAI Accepted Papers

Explaining the result of a decision tree to the end-user
Isabelle Alvarez (France)

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

Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae
Ofer Arieli (Israel)

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

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

The Use of Temporal Reasoning and Management of Complex Events in Smart Homes
Juan Carlos Augusto, Chris Nugent (UK)

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

AntTree: A web document clustering using artificials ants

Azzag Hanene, Christianne Guinot, Gilles Venturini (France)

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

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

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

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

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

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

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

Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving Objects

Brandon Bennett, Derek R. Magee, Anthony G. Cohn, David C. Hogg (UK)

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

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

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

A model-based approach to sequence clustering

Henri Binsztok, Thierry Artières, Patrick Gallinari (France)

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

The mereology of stages and persistent entities

Thomas Bittner, Maureen Donnelly (Germany)

The Distribution of Obligations by Negotiation among Autonomous Agents
Guido Boella, Leendert van der Torre (Italy)

Abduction over unbounded domains via ASP
Piero A. Bonatti (Italy)

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

Analysis of Design Process Dynamics
Tibor Bosse, Catholijn Jonker, Jan Treur (The Netherlands)

Learning Complex and Sparse Events in Long Sequence

Marco Botta, Ugo Galassi, Attilio Giordana (Italy)

Boosting systematic search by weighting constraints
Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais (France)

Exploiting Association and Correlation Rules Parameterns for Improving the K2 Algorithm

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari (Italy)

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

A Rank Based Description Language for Qualitative Preferences
Gerhard Brewka (Germany)

Adversarial Constraint Satisfaction by Game-tree Search

Kenneth N. Brown, James Little, Paidi J. Creed, Eugene C. Freuder (Ireland)

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

A Robot Task Planner that Merges Symbolic and Geometric Reasoning

Stéphane Cambon, Fabien Gravot, Rachid Alami (France)

Improvements on Automatic Word Codification for Connectionist Machine Translation

Gustavo A. Casañ, M. Asunción Castaño (Spain)

Statistical Strategies for Pruning All the Uninteresting Association Rules
Gemma Casas-Garriga (Spain)

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

Generalized Widening
Tristan Cazenave (France)

Quantified Constraint Satisfaction and Bounded Treewidth
Hubie Chen (USA)

An Argumentative Approach to Assessing Natural Language Usage based on theWeb Corpus

Carlos Chesñevar, Ana Maguitman (Spain)

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

Comparing Conceptual, Divisive and Agglomerative Clustering for Learning Taxonomies from Text

Philipp Cimiano, Andreas Hotho, Steffen Staab (Germany)

PoBOC: an Overlapping Clustering Algorithm. Application to Rule-Based Classification and Textual Data

Guillaume Cleuziou, Lionel Martin, Christel Vrain (France)

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

How to use the scuba diving metaphor to solve problem with neutrality?

Philippe Collard, Sébastien Verel, Manuel Clergue (France)

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

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

Fundamental Issues of Aesthetic Knowledge Representation
Matteo Cristani, Francesco Bellomi (Italy)

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

A tabulation proof procedure for residuated logic programming

Carlos V. Damásio, Jesus Medina, Manuel Ojeda-Aciego (Spain)

New Advances in Compiling CNF into Decomposable Negation Normal Form
Adnan Darwiche (USA)

Agent Planning, Negotiation and Control of Operation

Antonis Kakas, Paolo Torroni, Neophytos Demetriou (Cyprus)

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

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

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

Likely-admissible and sub-symbolic heuristics
Marco Ernandes, Marco Gori (Italy)

Parsing Languages with a Configurator
Mathieu Estratat, Laurent Henocque (France)

Similarity-based ontology alignment in OWL-Lite

Jérôme Euzenat, Petko Valtchev (France)

An Application of Lexicalized Grammars in English-Persian Translation

Heshaam Feili, Gholamreza Ghassem Sani (Iran)

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

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

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

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

Elimination of spurious explanations
Gerhard Friedrich (Austria)

Learning to focus attention on discriminative regions for object detection

Gerald Fritz, Christin Seifert, Lucas Paletta, Horst Bischof (Austria)

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

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

Operationalization domain ontologies: a method and a tool

Frédéric Fürst, Michel Leclère, Francky Trichet (France)

Planning with Numeric Variables in Multiobjective Planning
Antonio Garrido, Derek Long (Spain)

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

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

A semantics for abstraction
Chiara Ghidini, Fausto Giunchiglia (Italy)

Constrained Pure Nash Equilibria in Graphical Games

Gianluigi Greco, Francesco Scarcello (Italy)

Learning techniques for Automatic Algorithm Portfolio Selection

Alessio Guerri, Michela Milano (Italy)

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

Domain descriptions should be modular
Andreas Herzig, Ivan Varzinczak (France)

An Effective Branch-and-Bound Algorithm to Solve the k-Longest Common Subsequence Problem

Gaofeng Huang, Andrew Lim (Hong Kong)

Instance-Based Prediction with Guaranteed Confidence
Eyke Hüllermeier (Germany)

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

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

Exchanging Emotions - SOM Approach

Heikki Hyötyniemi, Juha Hemànus, Vuokko Lantz (Finland)

Generating Random Bayesian Networks with Constraints on Induced Width

Jaime Ide, Fabio Cozman, Fabio Ramos (Brasil)

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

Knowledge-based Selection of Association Rules for Text Mining

Dietmar Janetzko, Hacène Cherfi, Roman Kennke, Amedeo Napoli, Yannick Toussaint (France)

Representing Normal Programs with Clauses
Tomi Janhunen (Finland)

Applying Affective Tactics for a Better Learning

Patricia Augustin Jaques, Rosa Maria Vicari, Sylvie Pesty, Jean-François Bonneville (Brasil)

Simplicity in solving the Frame Problem

Victor Jauregui, Maurice Pagnucco, Norman Foo (Australia)

Representing Knowledge about Norms

Daniel Kayser, Farid Nouioua (France)

Representing Beliefs in the Fluent Calculus

Yi Jin, Michael Thielscher (Germany)

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

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

Geographic information revision based on constraints

Mahat Khelfallah, Belaïd Benhamou (France)

Introducing Alias Information into Model-Based Debugging
Daniel Koeb, Franz Wotawa (Austria)

BiasWindowing for Relational Learning

Frédéric Koriche (France)

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

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

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

Adaptive Discriminative Generative Model for Object Tracking

Ruei-sung Lin, Ming-hsuan Yang, Stephen Levinson (USA)

A Study on the Accuracy of Heuristic Functions
Carlos Linares (Spain)

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

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

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

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

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

Improving Asynchronous Backtracking for Dealing with Complex Local Problems

Arnold Maestre, Christian Bessière (France)

A Formal Tutoring Process Model for Intelligent Tutoring Systems

Alke Martens, Adelinde M. Uhrmacher (Germany)

Finding Social Network for Trust Calculation

Yutaka Matsuo, Hironori Tomobe, Kôiti Hasida, Mitsuru Ishizuka

Finding Social Network for Trust Calculation
Yutaka Matsuo, Hironori Tomobe, Koiti Hasida, Mitsuru Ishizuka (Japan)

Debugging Program Loops using Approximate Modeling
Wolfgang Mayer, Markus Stumptner (Australia)

A Comparative Analysis of Extracted Grammars

Alessandro Mazzei, Vincenzo Lombardo (Italy)

Reasoning about Emotional Agents
John-Jules Meyer (The Netherlands)

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

Voted Co-training for Bootstrapping Sense Classifiers
Rada Mihalcea (USA)

Plausibility structures for default reasoning
Yves Moinard (France)

Active learning for robot manipulation

Antonio Morales, Eris Chinellato, Andrew H. Fagg, Angel P. del Pobil (Spain)

Focusing Reasoning Through Emotional Mechanisms

Luis Morgado, Graça Gaspar (Portugal)

A Qualitative Theory for Shape Representation and Matching for Design

Lledó Museros, M. Teresa Escrig (Spain)

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

Ideal Refinement of Datalog Clauses using Primary Keys

Siegfried Nijssen, Joost N. Kok (The Netherlands)

An Algorithm for Knowledge Base Extraction
Alexander Nittka (Germany)

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

Instance-Based Learning Techniques of Unsupervised Feature Weighting do not perform so badly!

Héctor Núñez, Miquel Sánchez-Marrè (Spain)

Efficient and Secure Collaborative Filtering through Intelligent Neighbour Selection

Michael P. O'Mahony, Neil J. Hurley, Guenole C. M. Silvestre (Ireland)

A Fuzzy Approach to Temporal Model-Based Diagnosis for Intensive Care Units

José Palma, José M. Juárez, Manuel Campos, Roque Marín (Spain)

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

Synonymous Theories in Answer Set Programming and Equilibrium Logic

David Pearce, Agustín Valverde (Spain)

Assessing the Bias of Classical Planning Strategies on Makespan-Optimizing Scheduling

Federico Pecora, Riccardo Rasconi, Amedeo Cesta (Italy)

Diagnosability analysis of distributed discrete event systems

Yannick Pencolé (Australia)

Towards Efficient Learning of Neural Network Ensembles from Arbitrarily Large Datasets

Kang Peng, Zoran Obradovic, Slobodan Vucetic (USA)

A Genetic Algorithm with Feminine Selection

Josué Pereira de Castro, Adriana Postal, Guilherme Bittencourt (Brasil)

On-line search for solving Markov Decision Processes via heuristic sampling

Laurent Péret, Frédérick Garcia (France)

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

A generalized quadratic loss for Support Vector Machines

Filippo Portera, Alessandro Sperduti (Italy)

Emergence of Complex Networks through Local Optimization

Josep M. Pujol, Andreas Flache, Ramon Sangüesa, Jordi Delgado (Spain)

Automatic verification of deontic interpreted systems by model checking via OBDD’s

Franco Raimondi, Alessio Lomuscio (UK)

Time-Independent Rule-Based Guideline Induction

David Riaño (Spain)

Evaluation Strategies for Planning as Satisfiability
Jussi Rintanen (Germany)

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

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

Adaptive Robot Coordination using Interference Metrics

Avi Rosenfeld, Gal Kaminka, Sarit Kraus (Israel)

Incremental Augmented Naive Bayes Classifiers

Josep Roure Alcobé (Spain)

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

Agreements without disagreements

Aknine Samir, Philippe Caillou (France)

Using Constraints with Memory to Implement Variable Elimination

Martí Sánchez, Pedro Meseguer, Javier Larrosa (Spain)

Combining Multiple Answers for Learning Mathematical Structures from Visual Observation

Paulo Santos, Derek Magee, Anthony Cohn, David Hogg (UK)

Type Checking in Open-Domain Question Answering

Stefan Schlobach, Marius Olsthoorn, Maarten de Rijke (The Netherlands)

Representing Natural Kinds by Spatial Inclusion and Containment

Stefan Schulz, Udo Hahn (Germany)

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

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

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

Models of Behavior Deviations in Model-based Systems
Peter Struss (Germany)

Avatars That Learn How To Behave
Adam Szarowicz, Paolo Remagnino (UK)

Improving the Initialization and Repair Heuristics to Effectively Solve the Pickup and Delivery Problems with Time Windows
Vincent TAM, M.C. KWAN (Hong Kong)

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

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

Decomposition and good recording for solving Max-CSPs

Philippe Jégou, Cyril Terrioux (France)

Expectation Reasoning using Regret and Disappointment

Bình Vu Trân, James Harland, Margaret Hamilton (Australia)

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

Complete and Incomplete Algorithms for the Queen Graph Coloring Problem

Michel Vasquez, Djamal Habet (France)

Using Symmetries for Coloring Queen Graphs
Michel Vasquez, Djamal Habet (France)

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

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

A Risk-Based Bidding Strategy for Continuous Double Auctions

Perukrishnen Vytelingum, Rajdeep K. Dash, Esther David, Nicholas R. Jennings (UK)

Algorithms for Distributed Exploration
Thomas Walker, Daniel Kudenko, Malcolm Strens (UK)

Flexible Demand Assignment Problem
Fan Wang, Andrew Lim, Hong Chen (Hong Kong)

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

Uncertain Linear Constraints
Nic Wilson (Ireland)

Consistency and Constrained Optimisation for Conditional Preferences

Nic Wilson (Ireland)

Face Recognition Using Novel LDA-Based Algorithms

GuangDai, Yun Tao Qian (China)

M-SOM-ART: Growing self organizing map for sequences clustering and classification

Farida Zehraoui, Younès Bennani (France)

ECAI Accepted Papers | PAIS Accepted Papers | ECAI Accepted Posters

PAIS Accepted Papers

ADVISOR SUITE A knowledge-based sales advisory system

Dietmar Jannach (Austria)

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

SmartCare^(TM) - Automated Clinical Guidelines in Critical Care

Stefan Mersmann, Michel Dojat (Germany)

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

An Interactive System for Hiring and Managing Graduate Teaching Assistants

Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry (USA)

A Soft Computing Technique applied to industrial catalysis

Soledad Valero, Estefania Argente, Jose Manuel Serra, P. Serna, Vicente Botti, Avelino Corma (Spain)

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

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

Model and Heuristics for the Shortest Road Layout Problem

Lorenzo Mandow, José Luis Pérez-de-la-Cruz (Spain)

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

A System for Pacemaker Treatment Advice

Peter Lucas, Ruud Kuipers, Frederick Feith (The Netherlands)

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

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

ECAI Accepted Papers | PAIS Accepted Papers | ECAI Accepted Posters

ECAI Accepted Posters

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