18. ECAI 2008:
Patras,
Greece
Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikolaos M. Avouris (Eds.):
ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings.
Frontiers in Artificial Intelligence and Applications 178 IOS Press 2008, ISBN 978-1-58603-891-5 BibTeX
I. Invited Talks
II. Papers
1. Knowledge Representation and Reasoning
- Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub:
Advanced Preprocessing for Answer Set Solving.
15-19
Electronic Edition (link) BibTeX
- Emmanuel Blanchard, Mounira Harzallah, Pascale Kuntz:
A generic framework for comparing semantic similarities on a subsumption hierarchy.
20-24
Electronic Edition (link) BibTeX
- Christoph Haase, Carsten Lutz:
Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes.
25-29
Electronic Edition (link) BibTeX
- Mikhail Soutchanski, Paulo Santos:
Reasoning about Dynamic Depth Profiles.
30-34
Electronic Edition (link) BibTeX
- Katsumi Inoue, Chiaki Sakama:
Comparing Abductive Theories.
35-39
Electronic Edition (link) BibTeX
- Bernardo Cuenca Grau, Ian Horrocks:
Privacy-Preserving Query Answering in Logic-based Information Systems.
40-44
Electronic Edition (link) BibTeX
- Freddy Lécué, Alexandre Delteil, Alain Léger:
Optimizing Causal Link Based Web Service Composition.
45-49
Electronic Edition (link) BibTeX
- Hélène Fargier, Pierre Marquis:
Extending the Knowledge Compilation Map: Closure Principles.
50-54
Electronic Edition (link) BibTeX
- Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter:
Semantic Modularity and Module Extraction in Description Logics.
55-59
Electronic Edition (link) BibTeX
- Thomas Eiter, Kazuhisa Makino:
New Results for Horn Cores and Envelopes of Horn Disjunctions.
60-64
Electronic Edition (link) BibTeX
- Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters:
Belief revision with reinforcement learning for interactive object recognition.
65-69
Electronic Edition (link) BibTeX
- George Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides:
A Formal Approach for RDF/S Ontology Evolution.
70-74
Electronic Edition (link) BibTeX
- Tomi Janhunen:
Modular Equivalence in General.
75-79
Electronic Edition (link) BibTeX
- Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
Description Logic Rules.
80-84
Electronic Edition (link) BibTeX
- Pavlos Peppas, Anastasios Michael Fotinopoulos, Stella Seremetaki:
Conflicts between Relevance-Sensitive and Iterated Belief Revision.
85-88
Electronic Edition (link) BibTeX
- Oliver Kutz, Till Mossakowski:
Conservativity in Structured Ontologies.
89-93
Electronic Edition (link) BibTeX
- Julien Hué, Eric Würbel, Odile Papini:
Removed Sets Fusion: Performing Off The Shelf.
94-98
Electronic Edition (link) BibTeX
- Matthias Knorr, José Júlio Alferes, Pascal Hitzler:
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases.
99-103
Electronic Edition (link) BibTeX
2. Machine Learning
- Fabrizio Angiulli:
Prototype-based Domain Description.
107-111
Electronic Edition (link) BibTeX
- Frédéric Koriche:
Online Rule Learning via Weighted Model Counting.
112-116
Electronic Edition (link) BibTeX
- Ioannis Partalas, Grigorios Tsoumakas, Ioannis P. Vlahavas:
Focused Ensemble Selection: A Diversity-Based Method for Greedy Ensemble Selection.
117-121
Electronic Edition (link) BibTeX
- Qing Wang, Liang Zhang, Mingmin Chi, Jiankui Guo:
MTForest: Ensemble Decision Trees based on Multi-Task Learning.
122-126
Electronic Edition (link) BibTeX
- Nizar Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika Smaïl-Tabbone:
Many-Valued Concept Lattices for Conceptual Clustering and Information Retrieval.
127-131
Electronic Edition (link) BibTeX
- Christoforos Anagnostopoulos, Dimitris K. Tasoulis, David J. Hand, Niall M. Adams:
Online optimization for variable selection in data streams.
132-136
Electronic Edition (link) BibTeX
- Stefan Raeymaekers, Maurice Bruynooghe:
Sub Node Extraction with Tree Based Wrappers.
137-141
Electronic Edition (link) BibTeX
- Daniel Rivero, Julian Dorado, Juan R. Rabuñal, Alejandro Pazos:
Automatic Recurrent ANN development for signal classification: detection of seizures in EEGs.
142-146
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Liviu Badea, Doina Tilivea:
Nonnegative Decompositions with Resampling for Improving Gene Expression Data Biclustering Stability.
152-156
Electronic Edition (link) BibTeX
- Francisco S. Melo:
Exploiting locality of interactions using a policy-gradient approach in multiagent learning.
157-161
Electronic Edition (link) BibTeX
- Susanne Hoche, Peter Flach, David Hardcastle:
A Fast Method for Property Prediction in Graph-Structured Data from Positive and Unlabelled Examples.
162-166
Electronic Edition (link) BibTeX
- José Luis Montaña:
VCD Bounds for some GP Genotypes.
167-171
Electronic Edition (link) BibTeX
- Pedro Pereira Rodrigues, João Gama:
Robust Division in Clustering of Streaming Time Series.
172-176
Electronic Edition (link) BibTeX
3. Model-Based Diagnosis and Reasoning
- Emmanuel Benazera, Louise Travé-Massuyès:
Generating Diagnoses from Conflict Sets with Continuous Attributes.
179-183
Electronic Edition (link) BibTeX
- Peter Struss, Axel Kather, Dominik Schneider, Tobias Voigt:
A Compositional Mathematical Model of Machines Transporting Rigid Objects.
184-188
Electronic Edition (link) BibTeX
- Xiangfu Zhao, Dantong Ouyang:
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model.
189-193
Electronic Edition (link) BibTeX
- Xavier Le Guillou, Marie-Odile Cordier, Sophie Robin, Laurence Rozé:
Chronicles for On-line Diagnosis of Distributed Systems.
194-198
Electronic Edition (link) BibTeX
- Gregory M. Provan:
Test Generation for Model-Based Diagnosis.
199-203
Electronic Edition (link) BibTeX
- Gianfranco Lamperti, Marina Zanella:
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems.
204-208
Electronic Edition (link) BibTeX
- Priscilla Kan John, Alban Grastien:
Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems.
209-213
Electronic Edition (link) BibTeX
- Peter Sutovskú, Gregory F. Cooper:
Hierarchical explanation of inference in Bayesian networks that represent a population of independent agents.
214-218
Electronic Edition (link) BibTeX
- Mehdi Bayoudh, Louise Travé-Massuyès, Xavier Olive:
Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis.
219-223
Electronic Edition (link) BibTeX
- Farid Nouioua, Philippe Dague:
A probabilistic analysis of diagnosability in discrete event systems.
224-228
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Martin Mozina, Matej Guid, Jana Krivec, Aleksander Sadikov, Ivan Bratko:
Fighting Knowledge Acquisition Bottleneck with Argument Based Machine Learning.
234-238
Electronic Edition (link) BibTeX
4. Cognitive Modeling and Interaction
- Andreas Arzt, Gerhard Widmer, Simon Dixon:
Automatic Page Turning for Musicians via Real-Time Machine Listening.
241-245
Electronic Edition (link) BibTeX
- Fulvio Mastrogiovanni, Antonello Scalmato, Antonio Sgorbissa, Renato Zaccaria:
CDL: an Integrated Framework for Context Specification and Recognition.
246-250
Electronic Edition (link) BibTeX
- Yong Zhen Guo, Kotagiri Ramamohanarao, Laurence A. F. Park:
Web Page Prediction Based on Conditional Random Fields.
251-255
Electronic Edition (link) BibTeX
- Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects.
256-260
Electronic Edition (link) BibTeX
- Jérôme Kunegis, Stephan Schmidt, Sahin Albayrak, Christian Bauckhage, Martin Mehlitz:
Modeling Collaborative Similarity with the Signed Resistance Distance Kernel.
261-265
Electronic Edition (link) BibTeX
- Fiemke Both, Mark Hoogendoorn, Michel C. A. Klein, Jan Treur:
Modeling the Dynamics of Mood and Depression.
266-270
Electronic Edition (link) BibTeX
- Axel Tidemann, Yiannis Demiris:
Groovy Neural Networks.
271-275
Electronic Edition (link) BibTeX
- Arndt Faulhaber, Erica Melis:
An Efficient Student Model Based on Student Performance and Metadata.
276-280
Electronic Edition (link) BibTeX
5. Natural Language Processing
- Evita Linardaki:
Reducing Bias Effects in DOP Parameter Estimation.
283-287
Electronic Edition (link) BibTeX
- Hans Hjelm, Paul Buitelaar:
Multilingual Evidence Improves Clustering-based Taxonomy Extraction.
288-292
Electronic Edition (link) BibTeX
- Seyed Abolghasem Mirroshandel, Gholamreza Ghassem-Sani:
Unsupervised Grammar Induction Using a Parent Based Constituent Context Model.
293-297
Electronic Edition (link) BibTeX
- Ioannis P. Klapaftis, Suresh Manandhar:
Word Sense Induction Using Graphs of Collocations.
298-302
Electronic Edition (link) BibTeX
- Georgios Petasis, Vangelis Karkaletsis, Georgios Paliouras, Constantine D. Spyropoulos:
Learning context-free grammars to extract relations from text.
303-307
Electronic Edition (link) BibTeX
- Tony Veale, Yanfen Hao:
Talking Points in Metaphor: A Concise Usage-based Representation for Figurative Processing.
308-312
Electronic Edition (link) BibTeX
- Sven Hartrumpf:
Semantic Decomposition for Question Answering.
313-317
Electronic Edition (link) BibTeX
- Wouter Weerkamp, Krisztian Balog, Maarten de Rijke:
Finding Key Bloggers, One Post At A Time.
318-322
Electronic Edition (link) BibTeX
- Bernd Ludwig, Martin Hacker:
Why is this Wrong? - Diagnosing Erroneous Speech Recognizer Output with a Two Phase Parser.
323-327
Electronic Edition (link) BibTeX
- Feiyu Xu, Hans Uszkoreit, Hong Li:
Task Driven Coreference Resolution for Relation Extraction.
328-332
Electronic Edition (link) BibTeX
- Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka:
WWW sits the SAT: Measuring Relational Similarity on the Web.
333-337
Electronic Edition (link) BibTeX
- Preslav Nakov:
Improved Statistical Machine Translation Using Monolingual Paraphrases.
338-342
Electronic Edition (link) BibTeX
- Lars Yencken, Timothy Baldwin:
Orthographic similarity search for dictionary lookup of Japanese words.
343-347
Electronic Edition (link) BibTeX
6. Uncertainty and AI
7. Distributed and Multi-Agents Systems
- Yoann Kubera, Philippe Mathieu, Sébastien Picault:
Interaction-Oriented Agent Simulations: From Theory to Implementation.
383-387
Electronic Edition (link) BibTeX
- Tomasz Michalak, Andrew Dowell, Peter McBurney, Michael Wooldridge:
Optimal Coalition Structure Generation In Partition Function Games.
388-392
Electronic Edition (link) BibTeX
- Edith Elkind, Georgios Chalkiadakis, Nicholas R. Jennings:
Coalition Structures in Weighted Voting Games.
393-397
Electronic Edition (link) BibTeX
- Mark Hoogendoorn, Maria L. Gini:
Agents Preferences in Decentralized Task Allocation.
398-402
Electronic Edition (link) BibTeX
- Nicola Gatti:
Game Theoretical Insights in Strategic Patrolling: Model and Algorithm in Normal-Form.
403-407
Electronic Edition (link) BibTeX
- Roberto Micalizio, Pietro Torasso:
Monitoring the Execution of a Multi-Agent Plan: Dealing with Partial Observability.
408-412
Electronic Edition (link) BibTeX
- Paulo Trigo, Helder Coelho:
A hybrid approach to multi-agent decision-making.
413-417
Electronic Edition (link) BibTeX
- Thomas Génin, Samir Aknine:
Coalition Formation Strategies for Self-Interested Agents.
418-422
Electronic Edition (link) BibTeX
- Roman van der Krogt, Mathijs de Weerdt, Yingqian Zhang:
Of Mechanism Design Multiagent Planning.
423-427
Electronic Edition (link) BibTeX
- Perukrishnen Vytelingum, Ioannis A. Vetsikas, Bing Shi, Nicholas R. Jennings:
IAMwildCAT: The Winning Strategy for the TAC Market Design Competition.
428-432
Electronic Edition (link) BibTeX
- Natalia Akchurina:
Multi-Agent Reinforcement Learning Algorithm with Variable Optimistic-Pessimistic Criterion.
433-437
Electronic Edition (link) BibTeX
- Danny Kuminov, Moshe Tennenholtz:
As Safe As It Gets: Near-Optimal Learning in Multi-Stage Games with Imperfect Monitoring.
438-442
Electronic Edition (link) BibTeX
- Patricia Anthony, Edwin Law:
A Heuristic Based Seller Agent for Simultaneous English Auctions.
443-447
Electronic Edition (link) BibTeX
- Athanasios Papakonstantinou, Alex Rogers, Enrico H. Gerding, Nicholas R. Jennings:
A Truthful Two-Stage Mechanism for Eliciting Probabilistic Estimates with Unknown Costs.
448-452
Electronic Edition (link) BibTeX
- Célia da Costa Pereira, Andrea Tettamanzi:
Goal Generation and Adoption from Partially Trusted Beliefs.
453-457
Electronic Edition (link) BibTeX
- Raphaël Maîtrepierre, Jérémie Mary, Rémi Munos:
Adaptive play in Texas Hold'em Poker.
458-462
Electronic Edition (link) BibTeX
- Yannis Dimopoulos, Pavlos Moraitis, Leila Amgoud:
Theoretical and Computational Properties of Preference-based Argumentation.
463-467
Electronic Edition (link) BibTeX
- Henrique Lopes Cardoso, Eugénio C. Oliveira:
Norm Defeasibility in an Institutional Normative Framework.
468-472
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Lawrence Mandow, José-Luis Pérez-de-la-Cruz:
Frontier Search for Bicriterion Shortest Path Problems.
480-484
Electronic Edition (link) BibTeX
- Kostas Stergiou:
Heuristics for Dynamically Adapting Propagation.
485-489
Electronic Edition (link) BibTeX
- Patrice Perny, Olivier Spanjaard:
Near Admissible Algorithms for Multiobjective Search.
490-494
Electronic Edition (link) BibTeX
- Mehdi Samadi, Maryam Siabani, Ariel Felner, Robert Holte:
Compressing Pattern Databases with Learning.
495-499
Electronic Edition (link) BibTeX
- Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel:
A Decomposition Technique for Max-CSP.
500-504
Electronic Edition (link) BibTeX
- Graeme Gange, Vitaly Lagoon, Peter J. Stuckey:
Fast Set Bounds Propagation using BDDs.
505-509
Electronic Edition (link) BibTeX
- Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea:
A new Approach for Solving Satisfiability Problems with Qualitative Preferences.
510-514
Electronic Edition (link) BibTeX
- Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, Sanjiang Li:
Combining binary constraint networks in qualitative reasoning.
515-519
Electronic Edition (link) BibTeX
- Pierre Flener, Justin Pearson:
Solving Necklace Constraint Problems.
520-524
Electronic Edition (link) BibTeX
- Cédric Piette, Youssef Hamadi, Lakhdar Sais:
Vivifying Propositional Clausal Formulae.
525-529
Electronic Edition (link) BibTeX
- Martin C. Cooper, Peter G. Jeavons, András Z. Salamon:
Hybrid tractable CSPs which generalize tree structure.
530-534
Electronic Edition (link) BibTeX
- Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä:
Justification-Based Non-Clausal Local Search for SAT.
535-539
Electronic Edition (link) BibTeX
- Carlos Linares López:
Multi-valued Pattern Databases.
540-544
Electronic Edition (link) BibTeX
- Mehdi Samadi, Jonathan Schaeffer, Fatemeh Torabi Asr, Majid Samar, Zohreh Azimifar:
Using abstraction in Two-Player Games.
545-549
Electronic Edition (link) BibTeX
9. Planning and Scheduling
- Luke Hunsberger:
A Practical Temporal Constraint Management System for Real-Time Applications.
553-557
Electronic Edition (link) BibTeX
- Jörg Hoffmann:
Towards Efficient Belief Update for Planning-Based Web Service Composition.
558-562
Electronic Edition (link) BibTeX
- Nabil Belgasmi, Lamjed Ben Said, Khaled Ghédira:
Genetic Optimization of the Multi-Location Transshipment Problem with Limited Storage Capacity.
563-567
Electronic Edition (link) BibTeX
- Jussi Rintanen:
Regression for Classical and Nondeterministic Planning.
568-572
Electronic Edition (link) BibTeX
- Alfonso Gerevini, Ugur Kuter, Dana S. Nau, Alessandro Saetti, Nathaniel Waisbrot:
Combining Domain-Independent Planning and HTN Planning: The Duet Planner.
573-577
Electronic Edition (link) BibTeX
- André A. Ciré, Adi Botea:
Learning in Planning with Temporally Extended Goals and Uncontrollable Events.
578-582
Electronic Edition (link) BibTeX
- Emmanuel Rachelson, Gauthier Quesnel, Frédérick Garcia, Patrick Fabiani:
A Simulation-based Approach for Solving Generalized Semi-Markov Decision Processes.
583-587
Electronic Edition (link) BibTeX
- Emil Keyder, Hector Geffner:
Heuristics for Planning with Action Costs Revisited.
588-592
Electronic Edition (link) BibTeX
- Nico Roos, Cees Witteveen:
Diagnosis of Simple Temporal Networks.
593-597
Electronic Edition (link) BibTeX
10. Perception,
Sensing and Cognitive Robotics
- Katrin Amlacher, Lucas Paletta:
An Attentive Machine Interface Using Geo-Contextual Awareness for Mobile Vision Tasks.
601-605
Electronic Edition (link) BibTeX
- Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg:
Learning Functional Object-Categories from a Relational Spatio-Temporal Representation.
606-610
Electronic Edition (link) BibTeX
- Geoffroy Fouquier, Jamal Atif, Isabelle Bloch:
Sequential spatial reasoning in images based on pre-attention mechanisms and fuzzy attribute graphs.
611-615
Electronic Edition (link) BibTeX
- Robert Lundh, Lars Karlsson, Alessandro Saffiotti:
Automatic Configuration of Multi-Robot Systems: Planning for Multiple Steps.
616-620
Electronic Edition (link) BibTeX
- Olivier Nempont, Jamal Atif, Elsa D. Angelini, Isabelle Bloch:
Structure segmentation and recognition in images guided by structural constraint propagation.
621-625
Electronic Edition (link) BibTeX
- Arnaud Glad, Olivier Simonin, Olivier Buffet, François Charpillet:
Theoretical Study of Ant-based Algorithms for Multi-Agent Patrolling.
626-630
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Pierre Lison, Geert-Jan M. Kruijff:
Salience-driven Contextual Priming of Speech Recognition for Human-Robot Interaction.
636-640
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Ian Blacoe, Ignazio Palmisano, Valentina A. M. Tamma, Luigi Iannone:
QuestSemantics - Intelligent Search and Retrieval of Business Knowledge.
648-652
Electronic Edition (link) BibTeX
- Lucie Callens, Guy Carrault, Marie-Odile Cordier, Élisa Fromont, François Portet, Rene Quiniou:
Intelligent adaptive monitoring for cardiac surveillance.
653-657
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Paul R. Cohen, Carole R. Beal, Niall M. Adams:
The Design, Deployment and Evaluation of the AnimalWatch Intelligent Tutoring System.
663-667
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Matthias Haringer, Lothar Hotz, Vera Kamp:
Two Stage Knowledge Discovery for Spatio-temporal Radio-emission Data.
673-677
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Tarik Hadzic, David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
A BDD Approach to the Feature Subscription Problem.
698-702
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Dymitr Ruta:
Mixture of Gaussians Model for Robust Pedestrian Images Detection.
713-717
Electronic Edition (link) BibTeX
IV. Short Papers
1. Knowledge Representation and Reasoning
- Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Deriving explanations from causal information.
723-724
Electronic Edition (link) BibTeX
- Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller:
A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ].
725-726
Electronic Edition (link) BibTeX
- Laurent Mazuel, Nicolas Sabouret:
Semantic relatedness in semantic networks.
727-728
Electronic Edition (link) BibTeX
- Georgios Meditskos, Nick Bassiliades:
HOOPO: A Hybrid Object-Oriented Integration of Production Rules OWL Ontologies.
729-730
Electronic Edition (link) BibTeX
- Georgios Meditskos, Nick Bassiliades:
Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments.
731-732
Electronic Edition (link) BibTeX
- Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner:
Computability and Complexity Issues of Extended RDF.
733-734
Electronic Edition (link) BibTeX
- Mohamad El Falou, Maroua Bouzid, Abdel-Illah Mouaddib, Thierry Vidal:
Automated Web Services Composition Using Extended Representation of Planning Domain.
735-736
Electronic Edition (link) BibTeX
- Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
Propositional merging operators based on set-theoretic closeness.
737-738
Electronic Edition (link) BibTeX
- Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli:
Partial and Informative Common Subsumers in Description Logics.
739-740
Electronic Edition (link) BibTeX
- Meghyn Bienvenu, Andreas Herzig, Guilin Qi:
Prime Implicate-based Belief Revision Operators.
741-742
Electronic Edition (link) BibTeX
- Fausto Giunchiglia, Mikalai Yatskevich, Fiona McNeill, Pavel Shvaiko, Juan Pane, Paolo Besana:
Approximate structure preserving semantic matching.
743-744
Electronic Edition (link) BibTeX
- Nabil Benayadi, Marc Le Goc:
Discovering Temporal Knowledge from a Crisscross of Timed Observations.
745-746
Electronic Edition (link) BibTeX
- Antonis C. Kakas, Loizos Michael, Rob Miller:
Fred meets Tweety.
747-748
Electronic Edition (link) BibTeX
- Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu:
Definability in Logic and Rough Set Theory.
749-750
Electronic Edition (link) BibTeX
- Simone Paolo Ponzetto, Michael Strube:
WikiTaxonomy: A Large Scale Knowledge Resource.
751-752
Electronic Edition (link) BibTeX
- Pavel Cejnar:
Computing e-Optimal Strategies in Bridge and Other Games of Sequential Outcome.
753-754
Electronic Edition (link) BibTeX
2. Machine Learning
- Yaxin Bi, Shengli Wu, Pang Xiong, Xuhui Shen:
Classifier Combination Using a Class-indifferent Method.
757-758
Electronic Edition (link) BibTeX
- Ioannis Partalas, Georgios Paliouras, Ioannis P. Vlahavas:
Reinforcement Learning with Classifier Selection for Focused Crawling.
759-760
Electronic Edition (link) BibTeX
- L. Simões, Martijn C. Schut, Evert Haasdijk:
Intuitive Action Set Formation in Learning Classifier Systems with Memory Registers.
761-762
Electronic Edition (link) BibTeX
- Ioannis Katakis, Grigorios Tsoumakas, Ioannis P. Vlahavas:
An Ensemble of Classifiers for coping with Recurring Contexts in Data Streams.
763-764
Electronic Edition (link) BibTeX
- Paola Velardi, Roberto Navigli, Alessandro Cucchiarelli, Mirco Curzi:
Content-Based Social Network Analysis.
765-766
Electronic Edition (link) BibTeX
- Marc-Ismaël Akodjènou-Jeannin, Patrick Gallinari:
Efficient Data Clustering by Local Density Approximation.
767-768
Electronic Edition (link) BibTeX
- Manolis Maragoudakis, Euripides Loukis, Panayotis-Prodromos Pantelides:
Gas Turbine Fault Diagnosis using Random Forests.
769-770
Electronic Edition (link) BibTeX
- Satoshi Oyama, Katsumi Tanaka:
How Many Objects?: Determining the Number of Clusters with a Skewed Distribution.
771-772
Electronic Edition (link) BibTeX
- Murat Sensoy, Pinar Yolum:
Active Concept Learning For Ontology Evolution.
773-774
Electronic Edition (link) BibTeX
- Elias Zavitsanos, Sergios Petridis, Georgios Paliouras, George A. Vouros:
Determining Automatically the Size of Learned Ontologies.
775-776
Electronic Edition (link) BibTeX
- Nicos G. Pavlidis, Dimitris K. Tasoulis, Niall M. Adams, David J. Hand:
Dynamic Multi-Armed Bandit with Covariates.
777-778
Electronic Edition (link) BibTeX
- Robby Goetschalckx, Scott Sanner, Kurt Driessens:
Reinforcement Learning with the Use of Costly Features.
779-780
Electronic Edition (link) BibTeX
- Emanuel Kitzelmann:
Data-driven Induction of Functional Programs.
781-782
Electronic Edition (link) BibTeX
- Ivanoe De Falco, Antonio Della Cioppa, Francesco Donnarumma, Domenico Maisto, Roberto Prevete, Ernesto Tarantino:
CTRNN Parameter Learning using Differential Evolution.
783-784
Electronic Edition (link) BibTeX
3. Model-Based Diagnosis and Reasoning
- Alban Grastien, Anbulagan:
Incremental Diagnosis of DES by Satisfiability.
787-788
Electronic Edition (link) BibTeX
- Marie-Odile Cordier, Yannick Pencolé, Louise Travé-Massuyès, Thierry Vidal:
Characterizing and checking self-healability.
789-790
Electronic Edition (link) BibTeX
- Belarmino Pulido Junquera, Aníbal Bregón, Carlos Alonso González:
Improving robustness in consistency-based diagnosis using possible conflicts.
791-792
Electronic Edition (link) BibTeX
- Gianfranco Lamperti, Marina Zanella:
Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations.
793-794
Electronic Edition (link) BibTeX
- Anika Schumann, Wolfgang Mayer, Markus Stumptner:
Distributed Repair of Nondiagnosability.
795-796
Electronic Edition (link) BibTeX
- Mihai Nica, Franz Wotawa:
From constraint representations of sequential code and program annotations to their use in debugging.
797-798
Electronic Edition (link) BibTeX
- Esben Rune Hansen, S. Srinivasa Rao, Peter Tiedemann:
Compressing Binary Decision Diagrams.
799-800
Electronic Edition (link) BibTeX
- Jörg Weber, Franz Wotawa:
Dependent Failures in Consistency-based Diagnosis.
801-802
Electronic Edition (link) BibTeX
- Gianluca Torta, Daniele Theseider Dupré, Luca Anselma:
Cost-sensitive Iterative Abductive Reasoning with abstractions.
803-804
Electronic Edition (link) BibTeX
- Gianluca Torta, Pietro Torasso:
Computation of Minimal Sensor Sets for Conditional Testability Requirements.
805-806
Electronic Edition (link) BibTeX
- Ildikó Flesch, Peter J. F. Lucas:
Combining Abduction with Conflict-based Diagnosis.
807-808
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Dylan Evans:
Not so new: overblown claims for ‘new’ approaches to emotion.
813-814
Electronic Edition (link) BibTeX
- Roman V. Belavkin, Christian R. Huyck:
Emergence of Rules in Cell Assemblies of fLIF Neurons.
815-816
Electronic Edition (link) BibTeX
- Émilie Samuel, Colin de la Higuera:
ERS: Evaluating Reputations of Scientific Journals.
817-818
Electronic Edition (link) BibTeX
- Keita Sato, Yoko Nishihara, Wataru Sunayama:
Personal Experience Acquisition Support from Blogs using Event-Depicting Images.
819-820
Electronic Edition (link) BibTeX
- H. Joe Steinhauer:
Object Configuration Reconstruction from Descriptions using Relative and Intrinsic Reference Frames.
821-822
Electronic Edition (link) BibTeX
- Sylvain Castagnos, Armelle Brun, Anne Boyer:
Probabilistic Reinforcement Rules for Item-Based Recommender Systems.
823-824
Electronic Edition (link) BibTeX
- José Antonio Iglesias, Agapito Ledezma, Araceli Sanchís, Gal Kaminka:
An Efficient Behavior Classifier based on Distributions of Relevant Events.
825-826
Electronic Edition (link) BibTeX
- Robert Lokaiczyk, Manuel Görtz:
ContextAggregator: A heuristic-based approach for automated feature construction and selection.
827-828
Electronic Edition (link) BibTeX
- Alexiei Dingli, Charlie Abela:
A pervasive assistant for nursing and doctoral staff.
829-830
Electronic Edition (link) BibTeX
5. Natural Language Processing
- Spyridon Plakias, Efstathios Stamatatos:
Author Identification Using a Tensor Space Representation.
833-834
Electronic Edition (link) BibTeX
- Nicholas Asher, Farah Benamara, Yvette Yannick Mathieu:
Categorizing Opinion in Discourse.
835-836
Electronic Edition (link) BibTeX
- Tim vor der Brück, Holger Stenzhorn:
A Dynamic Approach for Automatic Error Detection in Generation Grammars.
837-838
Electronic Edition (link) BibTeX
- Chao Shen, Xipeng Qiu, Xuanjing Huang, Lide Wu:
Answering Definition Question: Ranking for Top-k.
839-840
Electronic Edition (link) BibTeX
- Thierry Declerck, Hans-Ulrich Krieger, Horacio Saggion, Marcus Spies:
Ontology-Driven Human Language Technology for Semantic-Based Business Intelligence.
841-842
Electronic Edition (link) BibTeX
- David M. W. Powers:
Evaluation Evaluation.
843-844
Electronic Edition (link) BibTeX
6. Uncertainty and AI
7. Distributed and Multi-Agents Systems
- Laura Giordano, Alberto Martelli:
Verifying the Conformance of Agents with Multiparty Protocols.
855-856
Electronic Edition (link) BibTeX
- Helena Keinänen, Misa Keinänen:
Simulated Annealing for Coalition Formation.
857-858
Electronic Edition (link) BibTeX
- Emanuel Santos, João Pavão Martins:
A Default Logic Based Framework for Argumentation.
859-860
Electronic Edition (link) BibTeX
- Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschein:
An Empirical Investigation of the Adversarial Activity Model.
861-862
Electronic Edition (link) BibTeX
- Guillaume Piolle, Yves Demazeau:
Addressing Temporal Aspects of Privacy-Related Norms.
863-864
Electronic Edition (link) BibTeX
- Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abder Koukam:
Evaluation of global system state thanks to local phenomenona.
865-866
Electronic Edition (link) BibTeX
- Norman Foo, Jochen Renz:
Experience and Trust — A Systems-Theoretic Approach.
867-868
Electronic Edition (link) BibTeX
- Eugen Staab, Volker Fusenig, Thomas Engel:
Trust-Aided Acquisition Of Unverifiable Information.
869-870
Electronic Edition (link) BibTeX
- Madalina Croitoru, Cornelius Croitoru, Paul H. Lewis:
BIDFLOW: a New Graph-Based Bidding Language for Combinatorial Auctions.
871-872
Electronic Edition (link) BibTeX
- Arturo Servin, Daniel Kudenko:
Multi-Agent Reinforcement Learning for Intrusion Detection: A case study and evaluation.
873-874
Electronic Edition (link) BibTeX
- Javier Bajo, Juan M. Corchado, Sara Rodríguez:
GR-MAS: Multi-Agent System for Geriatric Residences.
875-876
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
Organizing Coherent Coalitions.
879-880
Electronic Edition (link) BibTeX
- Gia Hien Nguyen, Philippe Chatalic, Marie-Christine Rousset:
A probabilistic trust model for semantic peer-to-peer systems.
881-882
Electronic Edition (link) BibTeX
- Jan Broersen, Leendert van der Torre:
Conditional Norms and Dyadic Obligations in Time.
883-884
Electronic Edition (link) BibTeX
- Nicolás Hormazábal, Josep Lluís de la Rosa, Silvana Aciar:
Trust Aware Negotiation Dissolution.
885-886
Electronic Edition (link) BibTeX
- Ricardo M. Araujo, Luís C. Lamb:
On the Role of Structured Information Exchange in Supervised Learning.
887-888
Electronic Edition (link) BibTeX
- Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer:
Magic Agents: Using Information Relevance to Control Autonomy.
889-890
Electronic Edition (link) BibTeX
- Norman Salazar, Juan A. Rodríguez-Aguilar, Josep Lluís Arcos:
Infection-Based Norm Emergence in Multi-Agent Complex Networks.
891-892
Electronic Edition (link) BibTeX
- Dinis Felix, Luís Paulo Reis:
Opponent Modelling in Texas Hold'em Poker as the Key for Success.
893-894
Electronic Edition (link) BibTeX
8. Constraints and Search
- Aleksander Sadikov, Ivan Bratko:
LRTA.
897-898
Electronic Edition (link) BibTeX
- Mitja Lustrek, Vadim Bulitko:
Thinking Too Much: Pathology in Pathfinding.
899-900
Electronic Edition (link) BibTeX
- Redouane Ezzahir, Christian Bessiere, Imade Benelallam, Houssine Bouyakhf, Mustapha Belaïssaoui:
Dynamic Backtracking for Distributed Constraint Optimization.
901-902
Electronic Edition (link) BibTeX
- Marco Gavanelli, Marco Alberti, Evelina Lamma:
Integrating Abduction and Constraint Optimization in Constraint Handling Rules.
903-904
Electronic Edition (link) BibTeX
- Peter Kissmann, Stefan Edelkamp:
Symbolic Classification of General Multi-Player Games.
905-906
Electronic Edition (link) BibTeX
- Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais:
Redundancy in CSPs.
907-908
Electronic Edition (link) BibTeX
- Roberto Battiti, Paolo Campigotto:
Reinforcement Learning and Reactive Search: an adaptive MAX-SAT solver.
909-910
Electronic Edition (link) BibTeX
- Paulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva:
A MAX-SAT Algorithm Portfolio.
911-912
Electronic Edition (link) BibTeX
- Rina Dechter, Lars Otten, Radu Marinescu:
On the Practical Significance of Hypertree vs. TreeWidth.
913-914
Electronic Edition (link) BibTeX
9. Planning and Scheduling
10. Perception,
Sensing and Cognitive Robotics
- Matthieu Boussard, Maroua Bouzid, Abdel-Illah Mouaddib:
Vector Valued Markov Decision Process for robot platooning.
925-926
Electronic Edition (link) BibTeX
- Reinaldo A. C. Bianchi, Arnau Ramisa, Ramon López de Mántaras:
Learning to Select Object Recognition Methods for Autonomous Mobile Robots.
927-928
Electronic Edition (link) BibTeX
- Adriaan ter Mors, Xiaoyu Mao, Jonne Zutt, Cees Witteveen, Nico Roos:
Robust Reservation-Based Multi-Agent Routing.
929-930
Electronic Edition (link) BibTeX
- Khaled Belghith, Benjamin Auder, Froduald Kabanza, Philipe Bellefeuille, Leo Hartman:
Automatic Animation Generation of a Teleoperated Robot Arm.
931-932
Electronic Edition (link) BibTeX
- Martin Magnusson, David Landén, Patrick Doherty:
Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System.
933-934
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:07:50 2009
by Michael Ley (ley@uni-trier.de)
