|
|
You are here:
|
|
Frontiers in Artificial Intelligence and Applications
Volume 178, 2008
ECAI 2008
- 18th European Conference on Artificial Intelligence
Edited by Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris
ISBN 978-1-58603-891-5
$283.00 / € 195,00
|
|
|
|
|
Semantic Activity Recognition
|
|
3 - 7 |
| Monique Thonnat
|
|
|
|
Bayesian Methods for Artificial Intelligence and Machine Learning
|
|
8 |
| Zoubin Ghahramani
|
|
|
|
The Impact of Constraint Programming
|
|
9 |
| Pascal Van Hentenryck
|
|
|
|
Web Science
|
|
10 |
| George Metakides
|
|
|
|
1. Knowledge Representation and Reasoning
|
|
|
|
|
|
|
|
Advanced Preprocessing for Answer Set Solving
|
|
15 - 19 |
| Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
|
|
|
|
A generic framework for comparing semantic similarities on a subsumption hierarchy
|
|
20 - 24 |
| Emmanuel Blanchard, Mounira Harzallah, Pascale Kuntz
|
|
|
|
Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes
|
|
25 - 29 |
| Christoph Haase, Carsten Lutz
|
|
|
|
Reasoning about Dynamic Depth Profiles
|
|
30 - 34 |
| Mikhail Soutchanski, Paulo Santos
|
|
|
|
Comparing Abductive Theories
|
|
35 - 39 |
| Katsumi Inoue, Chiaki Sakama
|
|
|
|
Privacy-Preserving Query Answering in Logic-based Information Systems
|
|
40 - 44 |
| Bernardo Cuenca Grau, Ian Horrocks
|
|
|
|
Optimizing Causal Link Based Web Service Composition
|
|
45 - 49 |
| Freddy Lécué, Alexandre Delteil, Alain Léger
|
|
|
|
Extending the Knowledge Compilation Map: Closure Principles
|
|
50 - 54 |
| Hélène Fargier, Pierre Marquis
|
|
|
|
Semantic Modularity and Module Extraction in Description Logics
|
|
55 - 59 |
| Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
|
|
|
|
New Results for Horn Cores and Envelopes of Horn Disjunctions
|
|
60 - 64 |
| Thomas Eiter, Kazuhisa Makino
|
|
|
|
Belief revision with reinforcement learning for interactive object recognition
|
|
65 - 69 |
| Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters
|
|
|
|
A Formal Approach for RDF/S Ontology Evolution
|
|
70 - 74 |
| George Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides
|
|
|
|
Modular Equivalence in General
|
|
75 - 79 |
| Tomi Janhunen
|
|
|
|
Description Logic Rules
|
|
80 - 84 |
| Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
|
|
|
|
Conflicts between Relevance-Sensitive and Iterated Belief Revision
|
|
85 - 88 |
| Pavlos Peppas, Anastasios Michael Fotinopoulos, Stella Seremetaki
|
|
|
|
Conservativity in Structured Ontologies
|
|
89 - 93 |
| Oliver Kutz, Till Mossakowski
|
|
|
|
Removed Sets Fusion: Performing Off The Shelf
|
|
94 - 98 |
| Julien Hué, Eric Würbel, Odile Papini
|
|
|
|
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
|
|
99 - 103 |
| Matthias Knorr, José Júlio Alferes, Pascal Hitzler
|
|
|
|
Prototype-based Domain Description
|
|
107 - 111 |
| Fabrizio Angiulli
|
|
|
|
Online Rule Learning via Weighted Model Counting
|
|
112 - 116 |
| Frédéric Koriche
|
|
|
|
Focused Ensemble Selection: A Diversity-Based Method for Greedy Ensemble Selection
|
|
117 - 121 |
| Ioannis Partalas, Grigorios Tsoumakas, Ioannis Vlahavas
|
|
|
|
MTForest: Ensemble Decision Trees based on Multi-Task Learning
|
|
122 - 126 |
| Qing Wang, Liang Zhang, Mingmin Chi, Jiankui Guo
|
|
|
|
Many-Valued Concept Lattices for Conceptual Clustering and Information Retrieval
|
|
127 - 131 |
| Nizar Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika Smail-Tabbone
|
|
|
|
Online optimization for variable selection in data streams
|
|
132 - 136 |
| Christoforos Anagnostopoulos, Dimitris Tasoulis, David J. Hand, Niall M. Adams
|
|
|
|
Sub Node Extraction with Tree Based Wrappers
|
|
137 - 141 |
| Stefan Raeymaekers, Maurice Bruynooghe
|
|
|
|
Automatic Recurrent ANN development for signal classification: detection of seizures in EEGs
|
|
142 - 146 |
| Daniel Rivero, Julian Dorado, Juan Rabuñal, Alejandro Pazos
|
|
|
|
A Method for Classifying Vertices of Labeled Graphs Applied to Knowledge Discovery from Molecules
|
|
147 - 151 |
| Frédéric Pennerath, Géraldine Polaillon, Amedeo Napoli
|
|
|
|
Nonnegative Decompositions with Resampling for Improving Gene Expression Data Biclustering Stability
|
|
152 - 156 |
| Liviu Badea, Doina Ţilivea
|
|
|
|
Exploiting locality of interactions using a policy-gradient approach in multiagent learning
|
|
157 - 161 |
| Francisco S. Melo
|
|
|
|
A Fast Method for Property Prediction in Graph-Structured Data from Positive and Unlabelled Examples
|
|
162 - 166 |
| Susanne Hoche, Peter Flach, David Hardcastle
|
|
|
|
VCD Bounds for some GP Genotypes
|
|
167 - 171 |
| José Luis Montaña
|
|
|
|
Robust Division in Clustering of Streaming Time Series
|
|
172 - 176 |
| Pedro Pereira Rodrigues, João Gama
|
|
|
|
3. Model-Based Diagnosis and Reasoning
|
|
|
|
|
|
|
|
Generating Diagnoses from Conflict Sets with Continuous Attributes
|
|
179 - 183 |
| Emmanuel Benazera, Louise Travé-Massuyés
|
|
|
|
A Compositional Mathematical Model of Machines Transporting Rigid Objects
|
|
184 - 188 |
| Peter Struss, Axel Kather, Dominik Schneider, Tobias Voigt
|
|
|
|
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model
|
|
189 - 193 |
| Xiangfu Zhao, Dantong Ouyang
|
|
|
|
Chronicles for On-line Diagnosis of Distributed Systems
|
|
194 - 198 |
| Xavier Le Guillou, Marie-Odile Cordier, Sophie Robin, Laurence Rozé
|
|
|
|
Test Generation for Model-Based Diagnosis
|
|
199 - 203 |
| Gregory Provan
|
|
|
|
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems
|
|
204 - 208 |
| Gianfranco Lamperti, Marina Zanella
|
|
|
|
Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems
|
|
209 - 213 |
| Priscilla Kan John, Alban Grastien
|
|
|
|
Hierarchical explanation of inference in Bayesian networks that represent a population of independent agents
|
|
214 - 218 |
| Peter Šutovský, Gregory F. Cooper
|
|
|
|
Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis
|
|
219 - 223 |
| Mehdi Bayoudh, Louise Travé-Massuyès, Xavier Olive
|
|
|
|
A probabilistic analysis of diagnosability in discrete event systems
|
|
224 - 228 |
| Farid Nouioua, Philippe Dague
|
|
|
|
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
|
|
229 - 233 |
| Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong
|
|
|
|
Fighting Knowledge Acquisition Bottleneck with Argument Based Machine Learning
|
|
234 - 238 |
| Martin Možina, Matej Guid, Jana Krivec, Aleksander Sadikov, Ivan Bratko
|
|
|
|
4. Cognitive Modeling and Interaction
|
|
|
|
|
|
|
|
Automatic Page Turning for Musicians via Real-Time Machine Listening
|
|
241 - 245 |
| Andreas Arzt, Gerhard Widmer, Simon Dixon
|
|
|
|
CDL: an Integrated Framework for Context Specification and Recognition
|
|
246 - 250 |
| Fulvio Mastrogiovanni, Antonello Scalmato, Antonio Sgorbissa, Renato Zaccaria
|
|
|
|
Web Page Prediction Based on Conditional Random Fields
|
|
251 - 255 |
| Yong Zhen Guo, Kotagiri Ramamohanarao, Laurence A. F. Park
|
|
|
|
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects
|
|
256 - 260 |
| Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer
|
|
|
|
Modeling Collaborative Similarity with the Signed Resistance Distance Kernel
|
|
261 - 265 |
| Jérôme Kunegis, Stephan Schmidt, Şahin Albayrak, Christian Bauckhage, Martin Mehlitz
|
|
|
|
Modeling the Dynamics of Mood and Depression
|
|
266 - 270 |
| Fiemke Both, Mark Hoogendoorn, Michel Klein, Jan Treur
|
|
|
|
Groovy Neural Networks
|
|
271 - 275 |
| Axel Tidemann, Yiannis Demiris
|
|
|
|
An Efficient Student Model Based on Student Performance and Metadata
|
|
276 - 280 |
| Arndt Faulhaber, Erica Melis
|
|
|
|
5. Natural Language Processing
|
|
|
|
|
|
|
|
Reducing Bias Effects in DOP Parameter Estimation
|
|
283 - 287 |
| Evita Linardaki
|
|
|
|
Multilingual Evidence Improves Clustering-based Taxonomy Extraction
|
|
288 - 292 |
| Hans Hjelm, Paul Buitelaar
|
|
|
|
Unsupervised Grammar Induction Using a Parent Based Constituent Context Model
|
|
293 - 297 |
| Seyed Abolghasem Mirroshandel, Gholamreza Ghassem-Sani
|
|
|
|
Word Sense Induction Using Graphs of Collocations
|
|
298 - 302 |
| Ioannis P. Klapaftis, Suresh Manandhar
|
|
|
|
Learning context-free grammars to extract relations from text
|
|
303 - 307 |
| Georgios Petasis, Vangelis Karkaletsis, Georgios Paliouras, Constantine D. Spyropoulos
|
|
|
|
Talking Points in Metaphor: A Concise Usage-based Representation for Figurative Processing
|
|
308 - 312 |
| Tony Veale, Yanfen Hao
|
|
|
|
Semantic Decomposition for Question Answering
|
|
313 - 317 |
| Sven Hartrumpf
|
|
|
|
Finding Key Bloggers, One Post At A Time
|
|
318 - 322 |
| Wouter Weerkamp, Krisztian Balog, Maarten de Rijke
|
|
|
|
Why is this Wrong? – Diagnosing Erroneous Speech Recognizer Output with a Two Phase Parser
|
|
323 - 327 |
| Bernd Ludwig, Martin Hacker
|
|
|
|
Task Driven Coreference Resolution for Relation Extraction
|
|
328 - 332 |
| Feiyu Xu, Hans Uszkoreit, Hong Li
|
|
|
|
WWW sits the SAT: Measuring Relational Similarity on the Web
|
|
333 - 337 |
| Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka
|
|
|
|
Improved Statistical Machine Translation Using Monolingual Paraphrases
|
|
338 - 342 |
| Preslav Nakov
|
|
|
|
Orthographic similarity search for dictionary lookup of Japanese words
|
|
343 - 347 |
| Lars Yencken, Timothy Baldwin
|
|
|
|
From Belief Change to Preference Change
|
|
351 - 355 |
| Jérôme Lang, Leendert van der Torre
|
|
|
|
A General Model for Epistemic State Revision using Plausibility Measures
|
|
356 - 360 |
| Jianbing Ma, Weiru Liu
|
|
|
|
Structure Learning of Markov Logic Networks through Iterated Local Search
|
|
361 - 365 |
| Marenglen Biba, Stefano Ferilli, Floriana Esposito
|
|
|
|
Single-peaked consistency and its complexity
|
|
366 - 370 |
| Bruno Escoffier, Jérôme Lang, Meltem Öztürk
|
|
|
|
Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs
|
|
371 - 375 |
| Anbu Yue, Weiru Liu
|
|
|
|
Mastering the Processing of Preferences by Using Symbolic Priorities in Possibilistic Logic
|
|
376 - 380 |
| Souhila Kaci, Henri Prade
|
|
|
|
7. Distributed and Multi-Agents Systems
|
|
|
|
|
|
|
|
Interaction-Oriented Agent Simulations: From Theory to Implementation
|
|
383 - 387 |
| Yoann Kubera, Philippe Mathieu, Sébastien Picault
|
|
|
|
Optimal Coalition Structure Generation In Partition Function Games
|
|
388 - 392 |
| Tomasz Michalak, Andrew Dowell, Peter McBurney, Michael Wooldridge
|
|
|
|
Coalition Structures in Weighted Voting Games
|
|
393 - 397 |
| Edith Elkind, Georgios Chalkiadakis, Nicholas R. Jennings
|
|
|
|
Agents Preferences in Decentralized Task Allocation
|
|
398 - 402 |
| Mark Hoogendoorn, Maria L. Gini
|
|
|
|
Game Theoretical Insights in Strategic Patrolling: Model and Algorithm in Normal-Form
|
|
403 - 407 |
| Nicola Gatti
|
|
|
|
Monitoring the Execution of a Multi-Agent Plan: Dealing with Partial Observability
|
|
408 - 412 |
| Roberto Micalizio, Pietro Torasso
|
|
|
|
A hybrid approach to multi-agent decision-making
|
|
413 - 417 |
| Paulo Trigo, Helder Coelho
|
|
|
|
Coalition Formation Strategies for Self-Interested Agents
|
|
418 - 422 |
| Thomas Génin, Samir Aknine
|
|
|
|
Of Mechanism Design Multiagent Planning
|
|
423 - 427 |
| Roman van der Krogt, Mathijs de Weerdt, Yingqian Zhang
|
|
|
|
IAMwildCAT: The Winning Strategy for the TAC Market Design Competition
|
|
428 - 432 |
| Perukrishnen Vytelingum, Ioannis A. Vetsikas, Bing Shi, Nicholas R. Jennings
|
|
|
|
Multi-Agent Reinforcement Learning Algorithm with Variable Optimistic-Pessimistic Criterion
|
|
433 - 437 |
| Natalia Akchurina
|
|
|
|
As Safe As It Gets: Near-Optimal Learning in Multi-Stage Games with Imperfect Monitoring
|
|
438 - 442 |
| Danny Kuminov, Moshe Tennenholtz
|
|
|
|
A Heuristic Based Seller Agent for Simultaneous English Auctions
|
|
443 - 447 |
| Patricia Anthony, Edwin Law
|
|
|
|
A Truthful Two-Stage Mechanism for Eliciting Probabilistic Estimates with Unknown Costs
|
|
448 - 452 |
| Athanasios Papakonstantinou, Alex Rogers, Enrico H. Gerding, Nicholas R. Jennings
|
|
|
|
Goal Generation and Adoption from Partially Trusted Beliefs
|
|
453 - 457 |
| Célia da Costa Pereira, Andrea G. B. Tettamanzi
|
|
|
|
Adaptive play in Texas Hold'em Poker
|
|
458 - 462 |
| Raphaël Maîtrepierre, Jérémie Mary, Rémi Munos
|
|
|
|
Theoretical and Computational Properties of Preference-based Argumentation
|
|
463 - 467 |
| Yannis Dimopoulos, Pavlos Moraitis, Leila Amgoud
|
|
|
|
Norm Defeasibility in an Institutional Normative Framework
|
|
468 - 472 |
| Henrique Lopes Cardoso, Eugénio Oliveira
|
|
|
|
8. Constraints and Search
|
|
|
|
|
|
|
|
SLIDE: A Useful Special Case of the CARDPATH Constraint
|
|
475 - 479 |
| Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
|
|
|
|
Frontier Search for Bicriterion Shortest Path Problems
|
|
480 - 484 |
| L. Mandow, J.L. Pérez de la Cruz
|
|
|
|
Heuristics for Dynamically Adapting Propagation
|
|
485 - 489 |
| Kostas Stergiou
|
|
|
|
Near Admissible Algorithms for Multiobjective Search
|
|
490 - 494 |
| Patrice Perny, Olivier Spanjaard
|
|
|
|
Compressing Pattern Databases with Learning
|
|
495 - 499 |
| Mehdi Samadi, Maryam Siabani, Ariel Felner, Robert Holte
|
|
|
|
A Decomposition Technique for Max-CSP
|
|
500 - 504 |
| Hachémi Bennaceur, Christophe Lecoutre, Olivier Roussel
|
|
|
|
Fast Set Bounds Propagation using BDDs
|
|
505 - 509 |
| Graeme Gange, Vitaly Lagoon, Peter J. Stuckey
|
|
|
|
A new Approach for Solving Satisfiability Problems with Qualitative Preferences
|
|
510 - 514 |
| Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea
|
|
|
|
Combining binary constraint networks in qualitative reasoning
|
|
515 - 519 |
| Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, Sanjiang Li
|
|
|
|
Solving Necklace Constraint Problems
|
|
520 - 524 |
| Pierre Flener, Justin Pearson
|
|
|
|
Vivifying Propositional Clausal Formulae
|
|
525 - 529 |
| Cédric Piette, Youssef Hamadi, Lakhdar Saïs
|
|
|
|
Hybrid tractable CSPs which generalize tree structure
|
|
530 - 534 |
| Martin C. Cooper, Peter G. Jeavons, András Z. Salamon
|
|
|
|
Justification-Based Non-Clausal Local Search for SAT
|
|
535 - 539 |
| Matti Järvisalo, Tommi Junttila, Ilkka Niemelä
|
|
|
|
Multi-valued Pattern Databases
|
|
540 - 544 |
| Carlos Linares López
|
|
|
|
Using abstraction in Two-Player Games
|
|
545 - 549 |
| Mehdi Samadi, Jonathan Schaeffer, Fatemeh Torabi Asr, Majid Samar, Zohreh Azimifar
|
|
|
|
9. Planning and Scheduling
|
|
|
|
|
|
|
|
A Practical Temporal Constraint Management System for Real-Time Applications
|
|
553 - 557 |
| Luke Hunsberger
|
|
|
|
Towards Efficient Belief Update for Planning-Based Web Service Composition
|
|
558 - 562 |
| Jörg Hoffmann
|
|
|
|
Genetic Optimization of the Multi-Location Transshipment Problem with Limited Storage Capacity
|
|
563 - 567 |
| Nabil Belgasmi, Lamjed Ben Saïd, Khaled Ghédira
|
|
|
|
Regression for Classical and Nondeterministic Planning
|
|
568 - 572 |
| Jussi Rintanen
|
|
|
|
Combining Domain-Independent Planning and HTN Planning: The Duet Planner
|
|
573 - 577 |
| Alfonso Gerevini, Ugur Kuter, Dana Nau, Alessandro Saetti, Nathaniel Waisbrot
|
|
|
|
Learning in Planning with Temporally Extended Goals and Uncontrollable Events
|
|
578 - 582 |
| André A. Ciré, Adi Botea
|
|
|
|
A Simulation-based Approach for Solving Generalized Semi-Markov Decision Processes
|
|
583 - 587 |
| Emmanuel Rachelson, Gauthier Quesnel, Frédérick Garcia, Patrick Fabiani
|
|
|
|
Heuristics for Planning with Action Costs Revisited
|
|
588 - 592 |
| Emil Keyder, Héctor Geffner
|
|
|
|
Diagnosis of Simple Temporal Networks
|
|
593 - 597 |
| Nico Roos, Cees Witteveen
|
|
|
|
10. Perception, Sensing and Cognitive Robotics
|
|
|
|
|
|
|
|
An Attentive Machine Interface Using Geo-Contextual Awareness for Mobile Vision Tasks
|
|
601 - 605 |
| Katrin Amlacher, Lucas Paletta
|
|
|
|
Learning Functional Object-Categories from a Relational Spatio-Temporal Representation
|
|
606 - 610 |
| Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg
|
|
|
|
Sequential spatial reasoning in images based on pre-attention mechanisms and fuzzy attribute graphs
|
|
611 - 615 |
| Geoffroy Fouquier, Jamal Atif, Isabelle Bloch
|
|
|
|
Automatic Configuration of Multi-Robot Systems: Planning for Multiple Steps
|
|
616 - 620 |
| Robert Lundh, Lars Karlsson, Alessandro Saffiotti
|
|
|
|
Structure segmentation and recognition in images guided by structural constraint propagation
|
|
621 - 625 |
| Olivier Nempont, Jamal Atif, Elsa Angelini, Isabelle Bloch
|
|
|
|
Theoretical Study of Ant-based Algorithms for Multi-Agent Patrolling
|
|
626 - 630 |
| Arnaud Glad, Olivier Simonin, Olivier Buffet, François Charpillet
|
|
|
|
Incremental Component-Based Construction and Verification of a Robotic System
|
|
631 - 635 |
| Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis
|
|
|
|
Salience-driven Contextual Priming of Speech Recognition for Human-Robot Interaction
|
|
636 - 640 |
| Pierre Lison, Geert-Jan Kruijff
|
|
|
|
III. Prestigious Applications of Intelligent Systems (PAIS)
|
|
|
|
|
|
|
|
A new CBR approach to the oil spill problem
|
|
643 - 647 |
| Juan Manuel Corchado, Aitor Mata, Juan Francisco De Paz, David Del Pozo
|
|
|
|
QuestSemantics - Intelligent Search and Retrieval of Business Knowledge
|
|
648 - 652 |
| Ian Blacoe, Ignazio Palmisano, Valentina Tamma, Luigi Iannone
|
|
|
|
Intelligent adaptive monitoring for cardiac surveillance
|
|
653 - 657 |
| Lucie Callens, Guy Carrault, Marie-Odile Cordier, Elisa Fromont, François Portet, René Quiniou
|
|
|
|
A decision support system for breast cancer detection in screening programs
|
|
658 - 662 |
| Marina Velikova, Peter J.F. Lucas, Nivea Ferreira, Maurice Samulski, Nico Karssemeijer
|
|
|
|
The Design, Deployment and Evaluation of the AnimalWatch Intelligent Tutoring System
|
|
663 - 667 |
| Paul R. Cohen, Carole R. Beal, Niall M. Adams
|
|
|
|
AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices
|
|
668 - 672 |
| Adolfo Bulfoni, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena
|
|
|
|
Two Stage Knowledge Discovery for Spatio-temporal Radio-emission Data
|
|
673 - 677 |
| Matthias Haringer, Lothar Hotz, Vera Kamp
|
|
|
|
Using Natural Language Generation Technology to Improve Information Flows in Intensive Care Units
|
|
678 - 682 |
| Jim Hunter, Albert Gatt, François Portet, Ehud Reiter, Somayajulu Sripada
|
|
|
|
Application and Evaluation of a Medical Knowledge System in Sonography (SONOCONSULT)
|
|
| | | | | |