default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th ECAI 2008: Patras, Greece
- Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikolaos M. Avouris:
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
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é, Éric 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, Julián 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 Anthony 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 W. N. 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 James Dowell, Peter McBurney, Michael J. 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 Garçia, 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