19. ECAI 2010:
Lisbon, Portugal
Helder Coelho, Rudi Studer, Michael Wooldridge (Eds.):
ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings.
Frontiers in Artificial Intelligence and Applications 215 IOS Press 2010, ISBN 978-1-60750-605-8 
Session 1A. Propositional Logic
Session 1B. Description Logics & Ontologies
- Rafael Peñaloza, Baris Sertkaya:
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics.
29-34
- Stijn Heymans, Thomas Eiter, Guohui Xiao:
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics.
35-40
- Carsten Lutz, Robert Piro, Frank Wolter:
Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints.
41-46
- Zhe Wang, Kewen Wang, Rodney W. Topor, Xiaowang Zhang:
Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies.
47-52
- Franz Baader, Hongkai Liu, Anees ul Mehdi:
Verifying Properties of Infinite Sequences of Description Logic Actions.
53-58
Session 1C. Cooperation
- Thomas Voice, Ruben Stranders, Alex Rogers, Nicholas R. Jennings:
A Hybrid Continuous Max-Sum Algorithm for Decentralised Coordination.
61-66
- Patricia Gutierrez, Pedro Meseguer:
BnB-ADOPT+ with Several Soft Arc Consistency Levels.
67-72
- Sebastian Stein, Enrico Gerding, Nicholas R. Jennings:
Optimal Task Migration in Service-Oriented Systems: Algorithms and Mechanisms.
73-78
- Tiago De Lima, Lambèr M. M. Royakkers, Frank Dignum:
Modeling the problem of many hands in organisations.
79-84
- Gauvain Bourgne, Henry Soldano, Amal El Fallah-Seghrouchni:
Learning better together.
85-90
Session 1D. Diagnosis & Discovery
Session 1E. Argumentation & Dialogue
Session 1F. Learning-Based Applications (PAIS)
- Anthony Brew, Derek Greene, Padraig Cunningham:
Using Crowdsourcing and Active Learning to Track Sentiment in Online Media.
145-150
- Rongxin Li, Peter Wang, Geoff James:
Multiscale Adaptive Agent-Based Management of Storage-Enabled Photovoltaic Facilities.
151-156
- Fabio Tango, Marco Botta, Luca Minin, Roberto Montanari:
Non-intrusive Detection of Driver Distraction using Machine Learning Algorithms.
157-162
- Predrag T. Tosic, Ricardo Vilalta:
Learning and Meta-Learning for Coordination of Autonomous Unmanned Vehicles - A Preliminary Analysis.
163-168
- Stan Matwin, Joseph De Koninck, Amir Hossein Razavi, Ray Reza Amini:
Classification of Dreams Using Machine Learning.
169-174
Session 2A. Robotics & Autonomous Systems
Session 2B. Coalitions & Teams
Session 2C. Planning
Session 2D. Uncertainty - Bayesian Methods
Session 2E. Preference Modelling & Aggregation
Session 2F. Biology and Nature-Related Applications (PAIS)
Session 3A. Clustering & Classification
Session 3B. Planning
Session 3C. Reinforcement Learning
Session 3D. Negotiation & Allocation
Session 3F. Adaptive Systems (PAIS)
Session 4A. Machine Learning - Kernel Methods
Session 4B. Planning
- Peter Gregory, Derek Long, Maria Fox:
Constraint Based Planning with Composable Substate Graphs.
453-458
- Alexandre Niveau, Hélène Fargier, Cédric Pralet, Gérard Verfaillie:
Knowledge Compilation Using Interval Automata and Applications to Planning.
459-464
- Alexandre Albore, Héctor Palacios, Hector Geffner:
Compiling Uncertainty Away in Non-Deterministic Conformant Planning.
465-470
- Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci:
Analyzing Flexible Timeline-based Plans.
471-476
Session 4C. Description Logics & Ontologies
Session 4D. Natural Language Processing & Information Retrieval
- Alexandra Balahur, Ester Boldrini, Andrés Montoyo, Patricio Martínez-Barco:
Opinion Question Answering: Towards a Unified Approach.
511-516
- Ilija Subasic, Bettina Berendt:
From bursty patterns to bursty facts: The effectiveness of temporal text mining for news.
517-522
- Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden:
Extraction of Places Related to Flickr Tags.
523-528
- Richárd Farkas, Gábor Berend, István Hegedüs, András Kárpáti, Balázs Krich:
Automatic free-text-tagging of online news archives.
529-534
- Ronan Cummins, Mounia Lalmas, Colm O'Riordan:
Learning Aggregation Functions for Expert Search.
535-540
Session 4E. Logical Foundations of MAS
Session 4F. Auctions & Trading Systems
Session 5A. Trust & Recommendation
- Nardine Osman, Carles Sierra, Jordi Sabater-Mir:
Propagation of Opinions in Structural Graphs.
595-600
- Junming Huang, Xueqi Cheng, Jiafeng Guo, Huawei Shen, Kun Yang:
Social Recommendation with Interpersonal Influence.
601-606
- Makoto Nakatsuji, Yasuhiro Fujiwara, Akimichi Tanaka, Tadasu Uchiyama, Toru Ishida:
Recommendations Over Domain Specific User Graphs.
607-612
Session 5B. Belief Revision, Update & Merging
Session 5C. Belief-Desire-Intention Architectures
Session 5D. Applications
Session 5E. Processes & Stochastic Models
Session 6A. Logical Foundations of KR
- Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
695-700
- Adam Trybus:
An Axiom System for a Spatial Logic with Convexity.
701-706
- Lutz Schröder, Dirk Pattinson, Daniel Hausmann:
Optimal Tableaux for Conditional Logics with Cautious Monotonicity.
707-712
- Anne-Gwenn Bosser, Marc Cavazza, Ronan Champagnat:
Linear Logic for Non-Linear Storytelling.
713-718
- Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt:
ProbLog Technology for Inference in a Probabilistic First Order Logic.
719-724
Session 6B. Search & Heuristics
Session 6C. Natural Language Processing
- Volha Bryl, Claudio Giuliano, Luciano Serafini, Kateryna Tymoshenko:
Using Background Knowledge to Support Coreference Resolution.
759-764
- Tony Veale, Yanfen Hao:
Detecting Ironic Intent in Creative Comparisons.
765-770
- Stefan Gindl, Albert Weichselbraun, Arno Scharl:
Cross-Domain Contextualization of Sentiment Lexicons.
771-776
- Ibrahim Adeyanju, Nirmalie Wiratunga, Juan A. Recio-García, Robert Lothian:
Learning to Author Text with textual CBR.
777-782
- Asif Ekbal, Sriparna Saha:
Classifier Ensemble using Multiobjective Optimization for Named Entity Recognition.
783-788
Session 6D. Machine Learning & Data Mining
Session 6E. Clustering & Classification
Session 6F. Constraints
- Thanasis Balafoutis, Kostas Stergiou:
Adaptive Branching for Constraint Satisfaction Problems.
855-860
- George Katsirelos, Toby Walsh:
Symmetries of Symmetry Breaking Constraints.
861-866
- Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Francesc Guitart, Carles Mateu:
Solving Pseudo-Boolean Modularity Constraints.
867-872
- Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie:
Learning When to Use Lazy Learning in Constraint Solving.
873-878
Session 7A. Action, Time, and Change
Session 7B. Foundations of Logical Reasoning
Session 7C. Neural Nets
Session 7D. Origins of Language
Session 7E. Uncertainty in AI
Session 7F. Logic & Answer Set Programming
Short Papers
- Amanda Jane Coles, Andrew Coles:
Completeness-Preserving Pruning for Optimal Planning.
965-966
- Angelo Oddi, Riccardo Rasconi, Amedeo Cesta:
Project Scheduling as a Disjunctive Temporal Problem.
967-968
- Patrice Perny, Paul Weng:
On Finding Compromise Solutions in Multiobjective Markov Decision Processes.
969-970
- Abdel-Illah Mouaddib, Shlomo Zilberstein, Aurélie Beynier, Laurent Jeanpierre:
A Decision-Theoretic Approach to Cooperative Control and Adjustable Autonomy.
971-972
- Kira Mourão, Ronald P. A. Petrick, Mark Steedman:
Learning action effects in partially observable domains.
973-974
- F. M. M. O. Campos, L. Correia, J. M. F. Calado:
A Probabilistic Approach to Appearance-Based Localization and Mapping.
975-976
- Ko-Hsin Cindy Wang, Adi Botea:
Scalable Multi-Agent Pathfinding on Grid Maps with Tractability and Completeness Guarantees.
977-978
- Carsten Rachuy, Ubbo Visser:
Behavior-analysis and -prediction for agents in real-time and dynamic adversarial environments.
979-980
- Yun Peng, Shenyong Zhang:
Integrating Probability Constraints into Bayesian Nets.
981-982
- Magdalena Ivanovska, Martin Giese:
Probabilistic Logic with Conditional Independence Formulae.
983-984
- Nicola Fanizzi, Claudia d'Amato, Floriana Esposito:
Towards Learning to Rank in Description Logics.
985-986
- Huanhuan Chen, Anthony G. Cohn:
Buried Utility Pipeline Mapping based on Street Survey and Ground Penetrating Radar.
987-988
- Gabriel Prat-Masramon, Lluís A. Belanche Muñoz:
Exploiting the Accumulated Evidence for Gene Selection in Microarray Gene Expression Data.
989-990
- Kostyantyn M. Shchekotykhin, Gerhard Friedrich:
Diagnosis discrimination for ontology debugging.
991-992
- Juan Manuel Serrano, Sergio Saugar, Rosario Laurendi, Francesco Buccafurri:
A contextual reading of conditional commitments.
993-994
- Claudette Cayrol, Caroline Devred, Marie-Christine Lagasquie-Schiex:
Acceptability semantics accounting for strength of attacks in argumentation.
995-996
- Isaac Pinyol, Jordi Sabater-Mir:
An Argumentation-Based Dialog for Social Evaluations Exchange.
997-998
- Wassila Ouerdane, Nicolas Maudet, Alexis Tsoukiàs:
Dealing with the dynamics of proof-standard in argumentation-based decision aiding.
999-1000
- Oscar Sapena, Eva Onaindia, Alejandro Torreño:
On the use of Argumentation in Multi-Agent Planning.
1001-1002
- Souhila Kaci, Christophe Labreuche:
Preference-Based Argumentation Framework with Varied-Preference Intensity.
1003-1004
- Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis:
ABA: Argumentation Based Agents.
1005-1006
- Maria Laura Cobo, Diego C. Martínez, Guillermo Ricardo Simari:
On Admissibility in Timed Abstract Argumentation Frameworks.
1007-1008
- Javier Murillo, Beatriz López:
Fair Mechanisms for Recurrent Multi Unit Combinatorial Auctions.
1009-1010
- Víctor Muñoz, Dídac Busquets:
Balancing Optimality and Robustness in Resource Allocation Problems.
1011-1012
- Jordan Berg, Amy Greenwald, Victor Naroditskiy, Eric Sodomka:
A Knapsack-Based Approach to Bidding in Ad Auctions.
1013-1014
- Thomas Génin, Samir Aknine:
Coalition Formation Strategies for Self-Interested Agents in Hedonic Games.
1015-1016
- Talal Rahwan, Tomasz P. Michalak, Madalina Croitoru, Jacek Sroka, Nicholas R. Jennings:
A Network Flow Approach to Coalitional Games.
1017-1018
- Dorothea Baumeister, Jörg Rothe:
Taking the Final Step to a Full Dichotomy of the Possible Winner Problem in Pure Scoring Rules.
1019-1020
- Anja Rey, Jörg Rothe:
Complexity of Merging and Splitting for the Probabilistic Banzhaf Power Index in Weighted Voting Games.
1021-1022
- Joel Uckelman:
Alice and Bob Will Fight: The Problem of Electing a Committee in the Presence of Candidate Interdependence.
1023-1024
- Meritxell Vinyals, Juan A. Rodríguez-Aguilar, Jesús Cerquides:
Egalitarian Utilities Divide-and-Coordinate: Stop arguing about decisions, let's share rewards!.
1025-1026
- Moser Silva Fagundes, Holger Billhardt, Sascha Ossowski:
Reasoning about Norm Compliance with Rational Agents.
1027-1028
- Norman Salazar, Juan A. Rodríguez-Aguilar, Josep Lluís Arcos:
Collective Sensor Configuration in Uncharted Environments.
1029-1030
- John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith:
On the Life-Cycle of BDI Agent Goals.
1031-1032
- Michael Winikoff, Mehdi Dastani, M. Birna van Riemsdijk:
A unified interaction-aware goal framework.
1033-1034
- Patricia H. Shaw, Rafael H. Bordini:
An Alternative Approach for Reasoning about the Goal-Plan Tree Problem.
1035-1036
- Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini:
Trust in complex actions.
1037-1038
- Anouar Ben Hassena, Laurent Miclet:
Analogical learning using dissimilarity between tree-structures.
1039-1040
- Philip Stahl, Marco Ragni:
Complexity in Analogy Tasks: An Analysis and Computational Model.
1041-1042
- Alexander Felfernig, Monika Schubert, Monika Mandl, Gerhard Friedrich, Erich Teppan:
Efficient Explanations for Inconsistent Constraint Sets.
1043-1044
- Teresa García-Valverde, Alberto García-Sola, Juan A. Botía:
Improving RFID's Location Based Services by means of Hidden Markov Models.
1045-1046
- José Antonio Iglesias, Plamen P. Angelov, Agapito Ledezma, Araceli Sanchís:
Human Activity Recognition in Intelligent Home Environments: An Evolving Approach.
1047-1048
- Jean-Paul Sansonnet, François Bouchet:
Joint handling of Rational and Behavioral reactions in Assistant Conversational Agents.
1049-1050
- Angela Mahr, Yujia Cao, Mariët Theune, Veronika Dimitrova-Krause, Tim Schwartz, Christian A. Müller:
What if it Suddenly Fails? Behavioral Aspects of Advanced Driver Assistant Systems on the Example of Local Danger Alerts.
1051-1052
- Luis Macedo:
Selecting Information based on Artificial Forms of Selective Attention.
1053-1054
- Jean Oh, Felipe Meneguzzi, Katia P. Sycara:
ANTIPA: an agent architecture for intelligent information assistance.
1055-1056
- Tristan Cazenave:
Nested Monte-Carlo Expression Discovery.
1057-1058
- Carlos Linares López:
Vectorial Pattern Databases.
1059-1060
- David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Improving the Global Constraint SoftPrec.
1061-1062
- Martin Hofmann, Ute Schmid:
Data-Driven Detection of Recursive Program Schemes.
1063-1064
- Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann:
Horn Belief Change: A Contraction Core.
1065-1066
- Tony Dujardin, Jean-Christophe Routier:
A Motivation-Based Mechanism to Design Behaviors.
1067-1068
- Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?.
1069-1070
- Bernhard Heinemann:
Refining the Notion of Effort.
1071-1072
- Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
A constructive conditional logic for access control: a preliminary report.
1073-1074
- Emiliano Lorini, Hans P. van Ditmarsch, Tiago De Lima:
A Logical Model of Intention and Plan Dynamics.
1075-1076
- Mika Cohen, Alessio Lomuscio:
Non-elementary speed up for model checking synchronous perfect recall.
1077-1078
- Matthias Knorr, José Júlio Alferes:
Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules.
1079-1080
- Xavier Aimé, Frédéric Fürst, Pascale Kuntz, Francky Trichet:
Improving the efficiency of ontology engineering by introducing prototypicality.
1081-1082
- Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou:
Implementing Simple Modular ERDF ontologies.
1083-1084
- Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen B. Venable, Toby Walsh:
Local search algorithms on the Stable Marriage Problem: Experimental Studies.
1085-1086
- Frank Dylla, Jae Hee Lee:
A Combined Calculus on Orientation with Composition Based on Geometric Properties.
1087-1088
- Paulo E. Santos, Hannah M. Dee, Valquiria Fenelon:
Knowledge-based adaptive thresholding from shadows.
1089-1090
- Jochen Renz, Stefan Wölfl:
A Qualitative Representation of Route Networks.
1091-1092
- Matthias Westphal, Stefan Wölfl, Jason Jingshi Li:
Restarts and Nogood Recording in Qualitative Constraint-based Reasoning.
1093-1094
- Nicholas Wilkinson, Terry Bossomaier, Michael Harré, Allan Snyder:
Strategic planning in the game of Go using coupled non-linear oscillators.
1095-1096
- Nadejda Nikitina:
Semi-Automatic Revision of Formalized Knowledge.
1097-1098
- Mark Bartlett, Iain Bate, James Cussens:
Instruction Cache Prediction Using Bayesian Networks.
1099-1100
- R. Rajendra Prasath, Sudeshna Sarkar:
Unsupervised Feature Generation using Knowledge Repositories for Effective Text Categorization.
1101-1102
- Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg:
Discovering an Event Taxonomy from Video using Qualitative Spatio-temporal Graphs.
1103-1104
- Borut Sluban, Dragan Gamberger, Nada Lavrac:
Advances in Class Noise Detection.
1105-1106
- Michelangelo Ceci, Annalisa Appice, Donato Malerba:
Time-Slice Density Estimation for Semantic-Based Tourist Destination Suggestion.
1107-1108
- Hadrien Cambazard, Tarik Hadzic, Barry O'Sullivan:
Knowledge Compilation for Itemset Mining.
1109-1110
- Santiago Ontañón, Enric Plaza:
Towards Argumentation-based Multiagent Induction.
1111-1112
- Tarek Abudawood, Peter A. Flach:
The Advantages of Seed Examples in First-Order Multi-class Subgroup Discovery.
1113-1114
- Juan Alfonso Lara, Aurora Pérez-Pérez, Juan Pedro Valente, África López-Illescas:
Generating time series reference models based on event analysis.
1115-1116
- Corrado Loglisci, Michelangelo Ceci, Donato Malerba:
Mining Physiological Data for Discovering Temporal Patterns on Disease Stages.
1117-1118
- Petr Kosina, João Gama, Raquel Sebastião:
Drift Severity Metric.
1119-1120
- Vladimir Ouzienko, Yuhong Guo, Zoran Obradovic:
Prediction of Attributes and Links in Temporal Social Networks.
1121-1122
- Harris Papadopoulos, Haris Haralambous:
Reliable Predictive Intervals for the Critical Frequency of the F2 Ionospheric Layer.
1123-1124
- Michael Winsper, Maria Chli:
Decentralised Supply Chain Formation: A Belief Propagation-based Approach.
1125-1126
- Bedeho Mender:
Formal Analysis of Models for the Mammalian Vision System.
1127-1128
- Nuno C. Marques, Carlos Gomes:
Implementing an Intelligent Moving Average with a Neural Network.
1129-1130
- Blaise Hanczar, Mohamed Nadif:
Bagged Biclustering for Microarray Data.
1131-1132
- Livio Robaldo:
On the Maximalization of the Witness sets in Independent Set readings.
1133-1134
- Hugo Gonçalo Oliveira, Paulo Gomes:
Automatic Creation of a Conceptual Base for Portuguese using Clustering Techniques.
1135-1136
- Martin Hacker, David Elsweiler, Bernd Ludwig:
Investigating Human Speech Processing as a Model for Spoken Dialogue Systems: An Experimental Framework.
1137-1138
- Meshrif Alruily, Aladdin Ayesh, Hussein Zedan:
Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic Text.
1139-1140
- José M. Carmona-Cejudo, Manuel Baena-García, José del Campo-Ávila, Rafael Morales Bueno, Albert Bifet:
GNUsmail: Open Framework for On-line Email Classification.
1141-1142
- Alessandro Cucchiarelli, Fulvio D'Antonio:
Discovering Collaboration Opportunities in Research-Oriented Networks.
1143-1144
- Haythem O. Ismail, Nasr Kasrin:
High-Level Perception as Focused Belief Revision.
1145-1146
Last update Wed May 22 03:22:15 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
