18. ECAI 2008: Patras, Greece

I. Invited Talks

• Monique Thonnat:
  Semantic Activity Recognition. 3-7
  
• Zoubin Ghahramani:
  Bayesian Methods for Artificial Intelligence and Machine Learning. 8
  
• Pascal Van Hentenryck:
  The Impact of Constraint Programming. 9
  
• George Metakides:
  Web Science. 10
  

II. Papers

1. Knowledge Representation and Reasoning

• Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub:
  Advanced Preprocessing for Answer Set Solving. 15-19
  
• Emmanuel Blanchard, Mounira Harzallah, Pascale Kuntz:
  A generic framework for comparing semantic similarities on a subsumption hierarchy. 20-24
  
• Christoph Haase, Carsten Lutz:
  Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes. 25-29
  
• Mikhail Soutchanski, Paulo Santos:
  Reasoning about Dynamic Depth Profiles. 30-34
  
• Katsumi Inoue, Chiaki Sakama:
  Comparing Abductive Theories. 35-39
  
• Bernardo Cuenca Grau, Ian Horrocks:
  Privacy-Preserving Query Answering in Logic-based Information Systems. 40-44
  
• Freddy Lécué, Alexandre Delteil, Alain Léger:
  Optimizing Causal Link Based Web Service Composition. 45-49
  
• Hélène Fargier, Pierre Marquis:
  Extending the Knowledge Compilation Map: Closure Principles. 50-54
  
• Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter:
  Semantic Modularity and Module Extraction in Description Logics. 55-59
  
• Thomas Eiter, Kazuhisa Makino:
  New Results for Horn Cores and Envelopes of Horn Disjunctions. 60-64
  
• Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters:
  Belief revision with reinforcement learning for interactive object recognition. 65-69
  
• George Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides:
  A Formal Approach for RDF/S Ontology Evolution. 70-74
  
• Tomi Janhunen:
  Modular Equivalence in General. 75-79
  
• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
  Description Logic Rules. 80-84
  
• Pavlos Peppas, Anastasios Michael Fotinopoulos, Stella Seremetaki:
  Conflicts between Relevance-Sensitive and Iterated Belief Revision. 85-88
  
• Oliver Kutz, Till Mossakowski:
  Conservativity in Structured Ontologies. 89-93
  
• Julien Hué, Eric Würbel, Odile Papini:
  Removed Sets Fusion: Performing Off The Shelf. 94-98
  
• Matthias Knorr, José Júlio Alferes, Pascal Hitzler:
  A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. 99-103
  

2. Machine Learning

• Fabrizio Angiulli:
  Prototype-based Domain Description. 107-111
  
• Frédéric Koriche:
  Online Rule Learning via Weighted Model Counting. 112-116
  
• Ioannis Partalas, Grigorios Tsoumakas, Ioannis P. Vlahavas:
  Focused Ensemble Selection: A Diversity-Based Method for Greedy Ensemble Selection. 117-121
  
• Qing Wang, Liang Zhang, Mingmin Chi, Jiankui Guo:
  MTForest: Ensemble Decision Trees based on Multi-Task Learning. 122-126
  
• Nizar Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika Smaïl-Tabbone:
  Many-Valued Concept Lattices for Conceptual Clustering and Information Retrieval. 127-131
  
• Christoforos Anagnostopoulos, Dimitris K. Tasoulis, David J. Hand, Niall M. Adams:
  Online optimization for variable selection in data streams. 132-136
  
• Stefan Raeymaekers, Maurice Bruynooghe:
  Sub Node Extraction with Tree Based Wrappers. 137-141
  
• Daniel Rivero, Julian Dorado, Juan R. Rabuñal, Alejandro Pazos:
  Automatic Recurrent ANN development for signal classification: detection of seizures in EEGs. 142-146
  
• Frédéric Pennerath, Géraldine Polaillon, Amedeo Napoli:
  A Method for Classifying Vertices of Labeled Graphs Applied to Knowledge Discovery from Molecules. 147-151
  
• Liviu Badea, Doina Tilivea:
  Nonnegative Decompositions with Resampling for Improving Gene Expression Data Biclustering Stability. 152-156
  
• Francisco S. Melo:
  Exploiting locality of interactions using a policy-gradient approach in multiagent learning. 157-161
  
• Susanne Hoche, Peter A. Flach, David Hardcastle:
  A Fast Method for Property Prediction in Graph-Structured Data from Positive and Unlabelled Examples. 162-166
  
• José Luis Montaña:
  VCD Bounds for some GP Genotypes. 167-171
  
• Pedro Pereira Rodrigues, João Gama:
  Robust Division in Clustering of Streaming Time Series. 172-176
  

3. Model-Based Diagnosis and Reasoning

• Emmanuel Benazera, Louise Travé-Massuyès:
  Generating Diagnoses from Conflict Sets with Continuous Attributes. 179-183
  
• Peter Struss, Axel Kather, Dominik Schneider, Tobias Voigt:
  A Compositional Mathematical Model of Machines Transporting Rigid Objects. 184-188
  
• Xiangfu Zhao, Dantong Ouyang:
  Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model. 189-193
  
• Xavier Le Guillou, Marie-Odile Cordier, Sophie Robin, Laurence Rozé:
  Chronicles for On-line Diagnosis of Distributed Systems. 194-198
  
• Gregory M. Provan:
  Test Generation for Model-Based Diagnosis. 199-203
  
• Gianfranco Lamperti, Marina Zanella:
  Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems. 204-208
  
• Priscilla Kan John, Alban Grastien:
  Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems. 209-213
  
• Peter Sutovskú, Gregory F. Cooper:
  Hierarchical explanation of inference in Bayesian networks that represent a population of independent agents. 214-218
  
• Mehdi Bayoudh, Louise Travé-Massuyès, Xavier Olive:
  Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis. 219-223
  
• Farid Nouioua, Philippe Dague:
  A probabilistic analysis of diagnosability in discrete event systems. 224-228
  
• Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong:
  Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks. 229-233
  
• Martin Mozina, Matej Guid, Jana Krivec, Aleksander Sadikov, Ivan Bratko:
  Fighting Knowledge Acquisition Bottleneck with Argument Based Machine Learning. 234-238
  

4. Cognitive Modeling and Interaction

• Andreas Arzt, Gerhard Widmer, Simon Dixon:
  Automatic Page Turning for Musicians via Real-Time Machine Listening. 241-245
  
• Fulvio Mastrogiovanni, Antonello Scalmato, Antonio Sgorbissa, Renato Zaccaria:
  CDL: an Integrated Framework for Context Specification and Recognition. 246-250
  
• Yong Zhen Guo, Kotagiri Ramamohanarao, Laurence A. F. Park:
  Web Page Prediction Based on Conditional Random Fields. 251-255
  
• Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
  A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. 256-260
  
• Jérôme Kunegis, Stephan Schmidt, Sahin Albayrak, Christian Bauckhage, Martin Mehlitz:
  Modeling Collaborative Similarity with the Signed Resistance Distance Kernel. 261-265
  
• Fiemke Both, Mark Hoogendoorn, Michel C. A. Klein, Jan Treur:
  Modeling the Dynamics of Mood and Depression. 266-270
  
• Axel Tidemann, Yiannis Demiris:
  Groovy Neural Networks. 271-275
  
• Arndt Faulhaber, Erica Melis:
  An Efficient Student Model Based on Student Performance and Metadata. 276-280
  

5. Natural Language Processing

• Evita Linardaki:
  Reducing Bias Effects in DOP Parameter Estimation. 283-287
  
• Hans Hjelm, Paul Buitelaar:
  Multilingual Evidence Improves Clustering-based Taxonomy Extraction. 288-292
  
• Seyed Abolghasem Mirroshandel, Gholamreza Ghassem-Sani:
  Unsupervised Grammar Induction Using a Parent Based Constituent Context Model. 293-297
  
• Ioannis P. Klapaftis, Suresh Manandhar:
  Word Sense Induction Using Graphs of Collocations. 298-302
  
• Georgios Petasis, Vangelis Karkaletsis, Georgios Paliouras, Constantine D. Spyropoulos:
  Learning context-free grammars to extract relations from text. 303-307
  
• Tony Veale, Yanfen Hao:
  Talking Points in Metaphor: A Concise Usage-based Representation for Figurative Processing. 308-312
  
• Sven Hartrumpf:
  Semantic Decomposition for Question Answering. 313-317
  
• Wouter Weerkamp, Krisztian Balog, Maarten de Rijke:
  Finding Key Bloggers, One Post At A Time. 318-322
  
• Bernd Ludwig, Martin Hacker:
  Why is this Wrong? - Diagnosing Erroneous Speech Recognizer Output with a Two Phase Parser. 323-327
  
• Feiyu Xu, Hans Uszkoreit, Hong Li:
  Task Driven Coreference Resolution for Relation Extraction. 328-332
  
• Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka:
  WWW sits the SAT: Measuring Relational Similarity on the Web. 333-337
  
• Preslav Nakov:
  Improved Statistical Machine Translation Using Monolingual Paraphrases. 338-342
  
• Lars Yencken, Timothy Baldwin:
  Orthographic similarity search for dictionary lookup of Japanese words. 343-347
  

6. Uncertainty and AI

• Jérôme Lang, Leendert van der Torre:
  From Belief Change to Preference Change. 351-355
  
• Jianbing Ma, Weiru Liu:
  A General Model for Epistemic State Revision using Plausibility Measures. 356-360
  
• Marenglen Biba, Stefano Ferilli, Floriana Esposito:
  Structure Learning of Markov Logic Networks through Iterated Local Search. 361-365
  
• Bruno Escoffier, Jérôme Lang, Meltem Öztürk:
  Single-peaked consistency and its complexity. 366-370
  
• Anbu Yue, Weiru Liu:
  Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs. 371-375
  
• Souhila Kaci, Henri Prade:
  Mastering the Processing of Preferences by Using Symbolic Priorities in Possibilistic Logic. 376-380
  

7. Distributed and Multi-Agents Systems

• Yoann Kubera, Philippe Mathieu, Sébastien Picault:
  Interaction-Oriented Agent Simulations: From Theory to Implementation. 383-387
  
• Tomasz P. Michalak, Andrew Dowell, Peter McBurney, Michael Wooldridge:
  Optimal Coalition Structure Generation In Partition Function Games. 388-392
  
• Edith Elkind, Georgios Chalkiadakis, Nicholas R. Jennings:
  Coalition Structures in Weighted Voting Games. 393-397
  
• Mark Hoogendoorn, Maria L. Gini:
  Agents Preferences in Decentralized Task Allocation. 398-402
  
• Nicola Gatti:
  Game Theoretical Insights in Strategic Patrolling: Model and Algorithm in Normal-Form. 403-407
  
• Roberto Micalizio, Pietro Torasso:
  Monitoring the Execution of a Multi-Agent Plan: Dealing with Partial Observability. 408-412
  
• Paulo Trigo, Helder Coelho:
  A hybrid approach to multi-agent decision-making. 413-417
  
• Thomas Génin, Samir Aknine:
  Coalition Formation Strategies for Self-Interested Agents. 418-422
  
• Roman van der Krogt, Mathijs de Weerdt, Yingqian Zhang:
  Of Mechanism Design Multiagent Planning. 423-427
  
• Perukrishnen Vytelingum, Ioannis A. Vetsikas, Bing Shi, Nicholas R. Jennings:
  IAMwildCAT: The Winning Strategy for the TAC Market Design Competition. 428-432
  
• Natalia Akchurina:
  Multi-Agent Reinforcement Learning Algorithm with Variable Optimistic-Pessimistic Criterion. 433-437
  
• Danny Kuminov, Moshe Tennenholtz:
  As Safe As It Gets: Near-Optimal Learning in Multi-Stage Games with Imperfect Monitoring. 438-442
  
• Patricia Anthony, Edwin Law:
  A Heuristic Based Seller Agent for Simultaneous English Auctions. 443-447
  
• Athanasios Papakonstantinou, Alex Rogers, Enrico H. Gerding, Nicholas R. Jennings:
  A Truthful Two-Stage Mechanism for Eliciting Probabilistic Estimates with Unknown Costs. 448-452
  
• Célia da Costa Pereira, Andrea Tettamanzi:
  Goal Generation and Adoption from Partially Trusted Beliefs. 453-457
  
• Raphaël Maîtrepierre, Jérémie Mary, Rémi Munos:
  Adaptive play in Texas Hold'em Poker. 458-462
  
• Yannis Dimopoulos, Pavlos Moraitis, Leila Amgoud:
  Theoretical and Computational Properties of Preference-based Argumentation. 463-467
  
• Henrique Lopes Cardoso, Eugénio C. Oliveira:
  Norm Defeasibility in an Institutional Normative Framework. 468-472
  

8. Constraints and Search

• Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
  SLIDE: A Useful Special Case of the CARDPATH Constraint. 475-479
  
• Lawrence Mandow, José-Luis Pérez-de-la-Cruz:
  Frontier Search for Bicriterion Shortest Path Problems. 480-484
  
• Kostas Stergiou:
  Heuristics for Dynamically Adapting Propagation. 485-489
  
• Patrice Perny, Olivier Spanjaard:
  Near Admissible Algorithms for Multiobjective Search. 490-494
  
• Mehdi Samadi, Maryam Siabani, Ariel Felner, Robert Holte:
  Compressing Pattern Databases with Learning. 495-499
  
• Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel:
  A Decomposition Technique for Max-CSP. 500-504
  
• Graeme Gange, Vitaly Lagoon, Peter J. Stuckey:
  Fast Set Bounds Propagation using BDDs. 505-509
  
• Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea:
  A new Approach for Solving Satisfiability Problems with Qualitative Preferences. 510-514
  
• Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, Sanjiang Li:
  Combining binary constraint networks in qualitative reasoning. 515-519
  
• Pierre Flener, Justin Pearson:
  Solving Necklace Constraint Problems. 520-524
  
• Cédric Piette, Youssef Hamadi, Lakhdar Sais:
  Vivifying Propositional Clausal Formulae. 525-529
  
• Martin C. Cooper, Peter G. Jeavons, András Z. Salamon:
  Hybrid tractable CSPs which generalize tree structure. 530-534
  
• Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä:
  Justification-Based Non-Clausal Local Search for SAT. 535-539
  
• Carlos Linares López:
  Multi-valued Pattern Databases. 540-544
  
• Mehdi Samadi, Jonathan Schaeffer, Fatemeh Torabi Asr, Majid Samar, Zohreh Azimifar:
  Using abstraction in Two-Player Games. 545-549
  

9. Planning and Scheduling

• Luke Hunsberger:
  A Practical Temporal Constraint Management System for Real-Time Applications. 553-557
  
• Jörg Hoffmann:
  Towards Efficient Belief Update for Planning-Based Web Service Composition. 558-562
  
• Nabil Belgasmi, Lamjed Ben Said, Khaled Ghédira:
  Genetic Optimization of the Multi-Location Transshipment Problem with Limited Storage Capacity. 563-567
  
• Jussi Rintanen:
  Regression for Classical and Nondeterministic Planning. 568-572
  
• Alfonso Gerevini, Ugur Kuter, Dana S. Nau, Alessandro Saetti, Nathaniel Waisbrot:
  Combining Domain-Independent Planning and HTN Planning: The Duet Planner. 573-577
  
• André A. Ciré, Adi Botea:
  Learning in Planning with Temporally Extended Goals and Uncontrollable Events. 578-582
  
• Emmanuel Rachelson, Gauthier Quesnel, Frédérick Garcia, Patrick Fabiani:
  A Simulation-based Approach for Solving Generalized Semi-Markov Decision Processes. 583-587
  
• Emil Keyder, Hector Geffner:
  Heuristics for Planning with Action Costs Revisited. 588-592
  
• Nico Roos, Cees Witteveen:
  Diagnosis of Simple Temporal Networks. 593-597
  

10. Perception, Sensing and Cognitive Robotics

• Katrin Amlacher, Lucas Paletta:
  An Attentive Machine Interface Using Geo-Contextual Awareness for Mobile Vision Tasks. 601-605
  
• Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg:
  Learning Functional Object-Categories from a Relational Spatio-Temporal Representation. 606-610
  
• Geoffroy Fouquier, Jamal Atif, Isabelle Bloch:
  Sequential spatial reasoning in images based on pre-attention mechanisms and fuzzy attribute graphs. 611-615
  
• Robert Lundh, Lars Karlsson, Alessandro Saffiotti:
  Automatic Configuration of Multi-Robot Systems: Planning for Multiple Steps. 616-620
  
• Olivier Nempont, Jamal Atif, Elsa D. Angelini, Isabelle Bloch:
  Structure segmentation and recognition in images guided by structural constraint propagation. 621-625
  
• Arnaud Glad, Olivier Simonin, Olivier Buffet, François Charpillet:
  Theoretical Study of Ant-based Algorithms for Multi-Agent Patrolling. 626-630
  
• Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis:
  Incremental Component-Based Construction and Verification of a Robotic System. 631-635
  
• Pierre Lison, Geert-Jan M. Kruijff:
  Salience-driven Contextual Priming of Speech Recognition for Human-Robot Interaction. 636-640
  

III. Prestigious Applications of Intelligent Systems (PAIS)

• Juan M. Corchado, Aitor Mata, Juan Francisco de Paz, David Del Pozo:
  A new CBR approach to the oil spill problem. 643-647
  
• Ian Blacoe, Ignazio Palmisano, Valentina A. M. Tamma, Luigi Iannone:
  QuestSemantics - Intelligent Search and Retrieval of Business Knowledge. 648-652
  
• Lucie Callens, Guy Carrault, Marie-Odile Cordier, Élisa Fromont, François Portet, Rene Quiniou:
  Intelligent adaptive monitoring for cardiac surveillance. 653-657
  
• Marina Velikova, Peter J. F. Lucas, Nivea de Carvalho Ferreira, Maurice Samulski, Nico Karssemeijer:
  A decision support system for breast cancer detection in screening programs. 658-662
  
• Paul R. Cohen, Carole R. Beal, Niall M. Adams:
  The Design, Deployment and Evaluation of the AnimalWatch Intelligent Tutoring System. 663-667
  
• Adolfo Bulfoni, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena:
  AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices. 668-672
  
• Matthias Haringer, Lothar Hotz, Vera Kamp:
  Two Stage Knowledge Discovery for Spatio-temporal Radio-emission Data. 673-677
  
• Jim Hunter, Albert Gatt, François Portet, Ehud Reiter, Somayajulu Sripada:
  Using Natural Language Generation Technology to Improve Information Flows in Intensive Care Units. 678-682
  
• Frank Puppe, Martin Atzmüller, Georg Buscher, Matthias Hüttig, Hardi Luehrs, Hans-Peter Buscher:
  Application and Evaluation of a Medical Knowledge System in Sonography (SONOCONSULT). 683-687
  
• Vangelis Karkaletsis, Pythagoras Karampiperis, Konstantinos Stamatakis, Martin Labský, Marek Ruzicka, Vojtech Svátek, Enrique Amigó, Matti Pöllä, Miquel Angel Mayer, Angela Leis, Dagmar Villarroel Gonzales:
  Automating Accreditation of Medical Web Content. 688-692
  
• Rossella Blatt, Andrea Bonarini, Elisa Calabró, Matteo Matteucci, Matteo Della Torre, Ugo Pastorino:
  Pattern Classification Techniques for Early Lung Cancer Diagnosis using an Electronic Nose. 693-697
  
• Tarik Hadzic, David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
  A BDD Approach to the Feature Subscription Problem. 698-702
  
• Amedeo Cesta, Gabriella Cortellessa, Michel Denis, Alessandro Donati, Simone Fratini, Angelo Oddi, Nicola Policella, Erhard Rabenau, Jonathan Schulster:
  Continuous Plan Management Support for Space Missions: the RAXEM Case. 703-707
  
• Roberta Annicchiarico, Cristian Barrué, T. Benedico, Fabio Campana, Ulises Cortés, A. Martínez-Velasco:
  The i-Walker: an intelligent pedestrian mobility aid. 708-712
  
• Dymitr Ruta:
  Mixture of Gaussians Model for Robust Pedestrian Images Detection. 713-717
  

IV. Short Papers

1. Knowledge Representation and Reasoning

• Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
  Deriving explanations from causal information. 723-724
  
• Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller:
  A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. 725-726
  
• Laurent Mazuel, Nicolas Sabouret:
  Semantic relatedness in semantic networks. 727-728
  
• Georgios Meditskos, Nick Bassiliades:
  HOOPO: A Hybrid Object-Oriented Integration of Production Rules OWL Ontologies. 729-730
  
• Georgios Meditskos, Nick Bassiliades:
  Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments. 731-732
  
• Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner:
  Computability and Complexity Issues of Extended RDF. 733-734
  
• Mohamad El Falou, Maroua Bouzid, Abdel-Illah Mouaddib, Thierry Vidal:
  Automated Web Services Composition Using Extended Representation of Planning Domain. 735-736
  
• Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
  Propositional merging operators based on set-theoretic closeness. 737-738
  
• Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli:
  Partial and Informative Common Subsumers in Description Logics. 739-740
  
• Meghyn Bienvenu, Andreas Herzig, Guilin Qi:
  Prime Implicate-based Belief Revision Operators. 741-742
  
• Fausto Giunchiglia, Mikalai Yatskevich, Fiona McNeill, Pavel Shvaiko, Juan Pane, Paolo Besana:
  Approximate structure preserving semantic matching. 743-744
  
• Nabil Benayadi, Marc Le Goc:
  Discovering Temporal Knowledge from a Crisscross of Timed Observations. 745-746
  
• Antonis C. Kakas, Loizos Michael, Rob Miller:
  Fred meets Tweety. 747-748
  
• Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu:
  Definability in Logic and Rough Set Theory. 749-750
  
• Simone Paolo Ponzetto, Michael Strube:
  WikiTaxonomy: A Large Scale Knowledge Resource. 751-752
  
• Pavel Cejnar:
  Computing e-Optimal Strategies in Bridge and Other Games of Sequential Outcome. 753-754
  

2. Machine Learning

• Yaxin Bi, Shengli Wu, Pan Xiong, Xuhui Shen:
  Classifier Combination Using a Class-indifferent Method. 757-758
  
• Ioannis Partalas, Georgios Paliouras, Ioannis P. Vlahavas:
  Reinforcement Learning with Classifier Selection for Focused Crawling. 759-760
  
• L. Simões, Martijn C. Schut, Evert Haasdijk:
  Intuitive Action Set Formation in Learning Classifier Systems with Memory Registers. 761-762
  
• Ioannis Katakis, Grigorios Tsoumakas, Ioannis P. Vlahavas:
  An Ensemble of Classifiers for coping with Recurring Contexts in Data Streams. 763-764
  
• Paola Velardi, Roberto Navigli, Alessandro Cucchiarelli, Mirco Curzi:
  Content-Based Social Network Analysis. 765-766
  
• Marc-Ismaël Akodjènou-Jeannin, Patrick Gallinari:
  Efficient Data Clustering by Local Density Approximation. 767-768
  
• Manolis Maragoudakis, Euripidis Loukis, Panayotis-Prodromos Pantelides:
  Gas Turbine Fault Diagnosis using Random Forests. 769-770
  
• Satoshi Oyama, Katsumi Tanaka:
  How Many Objects?: Determining the Number of Clusters with a Skewed Distribution. 771-772
  
• Murat Sensoy, Pinar Yolum:
  Active Concept Learning For Ontology Evolution. 773-774
  
• Elias Zavitsanos, Sergios Petridis, Georgios Paliouras, George A. Vouros:
  Determining Automatically the Size of Learned Ontologies. 775-776
  
• Nicos G. Pavlidis, Dimitris K. Tasoulis, Niall M. Adams, David J. Hand:
  Dynamic Multi-Armed Bandit with Covariates. 777-778
  
• Robby Goetschalckx, Scott Sanner, Kurt Driessens:
  Reinforcement Learning with the Use of Costly Features. 779-780
  
• Emanuel Kitzelmann:
  Data-driven Induction of Functional Programs. 781-782
  
• Ivanoe De Falco, Antonio Della Cioppa, Francesco Donnarumma, Domenico Maisto, Roberto Prevete, Ernesto Tarantino:
  CTRNN Parameter Learning using Differential Evolution. 783-784
  

3. Model-Based Diagnosis and Reasoning

• Alban Grastien, Anbulagan:
  Incremental Diagnosis of DES by Satisfiability. 787-788
  
• Marie-Odile Cordier, Yannick Pencolé, Louise Travé-Massuyès, Thierry Vidal:
  Characterizing and checking self-healability. 789-790
  
• Belarmino Pulido Junquera, Aníbal Bregón, Carlos Alonso González:
  Improving robustness in consistency-based diagnosis using possible conflicts. 791-792
  
• Gianfranco Lamperti, Marina Zanella:
  Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations. 793-794
  
• Anika Schumann, Wolfgang Mayer, Markus Stumptner:
  Distributed Repair of Nondiagnosability. 795-796
  
• Mihai Nica, Franz Wotawa:
  From constraint representations of sequential code and program annotations to their use in debugging. 797-798
  
• Esben Rune Hansen, S. Srinivasa Rao, Peter Tiedemann:
  Compressing Binary Decision Diagrams. 799-800
  
• Jörg Weber, Franz Wotawa:
  Dependent Failures in Consistency-based Diagnosis. 801-802
  
• Gianluca Torta, Daniele Theseider Dupré, Luca Anselma:
  Cost-sensitive Iterative Abductive Reasoning with abstractions. 803-804
  
• Gianluca Torta, Pietro Torasso:
  Computation of Minimal Sensor Sets for Conditional Testability Requirements. 805-806
  
• Ildikó Flesch, Peter J. F. Lucas:
  Combining Abduction with Conflict-based Diagnosis. 807-808
  

4. Cognitive Modeling and Interaction

• Bruno Bouchard, Patrice Roy, Abdenour Bouzouane, Sylvain Giroux, A. Mihailidis:
  An Activity Recognition Model for Alzheimer's Patients: Extension of the COACH Task Guidance System. 811-812
  
• Dylan Evans:
  Not so new: overblown claims for ‘new’ approaches to emotion. 813-814
  
• Roman V. Belavkin, Christian R. Huyck:
  Emergence of Rules in Cell Assemblies of fLIF Neurons. 815-816
  
• Émilie Samuel, Colin de la Higuera:
  ERS: Evaluating Reputations of Scientific Journals. 817-818
  
• Keita Sato, Yoko Nishihara, Wataru Sunayama:
  Personal Experience Acquisition Support from Blogs using Event-Depicting Images. 819-820
  
• H. Joe Steinhauer:
  Object Configuration Reconstruction from Descriptions using Relative and Intrinsic Reference Frames. 821-822
  
• Sylvain Castagnos, Armelle Brun, Anne Boyer:
  Probabilistic Reinforcement Rules for Item-Based Recommender Systems. 823-824
  
• José Antonio Iglesias, Agapito Ledezma, Araceli Sanchís, Gal A. Kaminka:
  An Efficient Behavior Classifier based on Distributions of Relevant Events. 825-826
  
• Robert Lokaiczyk, Manuel Görtz:
  ContextAggregator: A heuristic-based approach for automated feature construction and selection. 827-828
  
• Alexiei Dingli, Charlie Abela:
  A pervasive assistant for nursing and doctoral staff. 829-830
  

5. Natural Language Processing

• Spyridon Plakias, Efstathios Stamatatos:
  Author Identification Using a Tensor Space Representation. 833-834
  
• Nicholas Asher, Farah Benamara, Yvette Yannick Mathieu:
  Categorizing Opinion in Discourse. 835-836
  
• Tim vor der Brück, Holger Stenzhorn:
  A Dynamic Approach for Automatic Error Detection in Generation Grammars. 837-838
  
• Chao Shen, Xipeng Qiu, Xuanjing Huang, Lide Wu:
  Answering Definition Question: Ranking for Top-k. 839-840
  
• Thierry Declerck, Hans-Ulrich Krieger, Horacio Saggion, Marcus Spies:
  Ontology-Driven Human Language Technology for Semantic-Based Business Intelligence. 841-842
  
• David M. W. Powers:
  Evaluation Evaluation. 843-844
  

6. Uncertainty and AI

• Laura-Andreea Antanas, Kurt Driessens, Jan Ramon, Tom Croonenborghs:
  Using Decision Trees as the Answer Networks in Temporal Difference-Networks. 847-848
  
• Nic Wilson:
  An Efficient Deduction Mechanism for Expressive Comparative Preferences Languages. 849-850
  
• Adamo Santana, Gregory M. Provan:
  An Analysis of Bayesian Network Model-Approximation Techniques. 851-852
  

7. Distributed and Multi-Agents Systems

• Laura Giordano, Alberto Martelli:
  Verifying the Conformance of Agents with Multiparty Protocols. 855-856
  
• Helena Keinänen, Misa Keinänen:
  Simulated Annealing for Coalition Formation. 857-858
  
• Emanuel Santos, João Pavão Martins:
  A Default Logic Based Framework for Argumentation. 859-860
  
• Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschein:
  An Empirical Investigation of the Adversarial Activity Model. 861-862
  
• Guillaume Piolle, Yves Demazeau:
  Addressing Temporal Aspects of Privacy-Related Norms. 863-864
  
• Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abder Koukam:
  Evaluation of global system state thanks to local phenomenona. 865-866
  
• Norman Foo, Jochen Renz:
  Experience and Trust — A Systems-Theoretic Approach. 867-868
  
• Eugen Staab, Volker Fusenig, Thomas Engel:
  Trust-Aided Acquisition Of Unverifiable Information. 869-870
  
• Madalina Croitoru, Cornelius Croitoru, Paul H. Lewis:
  BIDFLOW: a New Graph-Based Bidding Language for Combinatorial Auctions. 871-872
  
• Arturo Servin, Daniel Kudenko:
  Multi-Agent Reinforcement Learning for Intrusion Detection: A case study and evaluation. 873-874
  
• Javier Bajo, Juan M. Corchado, Sara Rodríguez:
  GR-MAS: Multi-Agent System for Geriatric Residences. 875-876
  
• Tibor Bosse, Charlotte Gerritsen, Mark Hoogendoorn, S. Waqar Jaffry, Jan Treur:
  Agent-Based and Population-Based Simulation of Displacement of Crime (extended abstract). 877-878
  
• Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
  Organizing Coherent Coalitions. 879-880
  
• Gia Hien Nguyen, Philippe Chatalic, Marie-Christine Rousset:
  A probabilistic trust model for semantic peer-to-peer systems. 881-882
  
• Jan Broersen, Leendert van der Torre:
  Conditional Norms and Dyadic Obligations in Time. 883-884
  
• Nicolás Hormazábal, Josep Lluís de la Rosa, Silvana Aciar:
  Trust Aware Negotiation Dissolution. 885-886
  
• Ricardo M. Araujo, Luís C. Lamb:
  On the Role of Structured Information Exchange in Supervised Learning. 887-888
  
• Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer:
  Magic Agents: Using Information Relevance to Control Autonomy. 889-890
  
• Norman Salazar, Juan A. Rodríguez-Aguilar, Josep Lluís Arcos:
  Infection-Based Norm Emergence in Multi-Agent Complex Networks. 891-892
  
• Dinis Felix, Luís Paulo Reis:
  Opponent Modelling in Texas Hold'em Poker as the Key for Success. 893-894
  

8. Constraints and Search

• Aleksander Sadikov, Ivan Bratko:
  LRTA. 897-898
  
• Mitja Lustrek, Vadim Bulitko:
  Thinking Too Much: Pathology in Pathfinding. 899-900
  
• Redouane Ezzahir, Christian Bessiere, Imade Benelallam, Houssine Bouyakhf, Mustapha Belaïssaoui:
  Dynamic Backtracking for Distributed Constraint Optimization. 901-902
  
• Marco Gavanelli, Marco Alberti, Evelina Lamma:
  Integrating Abduction and Constraint Optimization in Constraint Handling Rules. 903-904
  
• Peter Kissmann, Stefan Edelkamp:
  Symbolic Classification of General Multi-Player Games. 905-906
  
• Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais:
  Redundancy in CSPs. 907-908
  
• Roberto Battiti, Paolo Campigotto:
  Reinforcement Learning and Reactive Search: an adaptive MAX-SAT solver. 909-910
  
• Paulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva:
  A MAX-SAT Algorithm Portfolio. 911-912
  
• Rina Dechter, Lars Otten, Radu Marinescu:
  On the Practical Significance of Hypertree vs. TreeWidth. 913-914
  

9. Planning and Scheduling

• Jussi Rintanen:
  A New Approach to Planning in Networks. 917-918
  
• Eliseo Marzal, Laura Sebastia, Eva Onaindia:
  Detection of unsolvable temporal planning problems through the use of landmarks. 919-920
  
• Pascal Bercher, Robert Mattmüller:
  A Planning Graph Heuristic for Forward-Chaining Adversarial Planning. 921-922
  

10. Perception, Sensing and Cognitive Robotics

• Matthieu Boussard, Maroua Bouzid, Abdel-Illah Mouaddib:
  Vector Valued Markov Decision Process for robot platooning. 925-926
  
• Reinaldo A. C. Bianchi, Arnau Ramisa, Ramon López de Mántaras:
  Learning to Select Object Recognition Methods for Autonomous Mobile Robots. 927-928
  
• Adriaan ter Mors, Xiaoyu Mao, Jonne Zutt, Cees Witteveen, Nico Roos:
  Robust Reservation-Based Multi-Agent Routing. 929-930
  
• Khaled Belghith, Benjamin Auder, Froduald Kabanza, Philipe Bellefeuille, Leo Hartman:
  Automatic Animation Generation of a Teleoperated Robot Arm. 931-932
  
• Martin Magnusson, David Landén, Patrick Doherty:
  Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System. 933-934