


default search action
18th 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 - 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 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, Antonio 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 - Luís F. 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 N. 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 Sanchis, 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 M. 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 M. Broersen, Leendert W. N. van der Torre

:
Conditional Norms and Dyadic Obligations in Time. 883-884 - Nicolás Hormazábal, Josep Lluís de la Rosa, Silvana Vanesa Aciar:

Trust Aware Negotiation Dissolution. 885-886 - Ricardo M. Araújo, 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 Félix, 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, Ramón 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














