20. ECAI 2012: Montpellier, France
Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter J. F. Lucas (Eds.): ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012. IOS Press 2012 Frontiers in Artificial Intelligence and Applications ISBN 978-1-61499-097-0
Keynote Talks
- Wolfram Burgard: Probabilistic Techniques for Mobile Robot Navigation. 3
- Adnan Darwiche: Generalized Decision Diagrams: The game is not over yet! 4
- Tom M. Mitchell: Never Ending Learning. 5
- Michael Wooldridge: Bad equilibria (and what to do about them). 6-11
Frontiers of Artificial Intelligence
- Gert de Cooman, Jasper De Bock, Arthur Van Camp: Recent advances in imprecise-probabilistic graphical models. 27-32
- Kristian Kersting: Lifted Probabilistic Inference. 33-38
- Pierre-Yves Oudeyer: Developmental Mechanisms for Autonomous Life-Long Learning in Robots. 39
- Jan Peters, Katharina Mülling, Jens Kober, Duy Nguyen-Tuong, Oliver Krömer: Robot Skill Learning. 40-45
ECAI Long Papers
- Jean-Marc Alliot, Nicolas Durand, David Gianazza, Jean-Baptiste Gotteland: Finding and Proving the Optimum: Cooperative Stochastic and Deterministic Search. 55-60
- Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov: DL-Lite with Attributes and Datatypes. 61-66
- Andreas Arzt, Gerhard Widmer, Sebastian Böck, Reinhard Sonnleitner, Harald Frostel: Towards a Complete Classical Music Companion. 67-72
- Markus Aschinger, Conrad Drescher, Heribert Vollmer: LoCo - A Logic for Configuration Problems. 73-78
- Hosein Azarbonyad, Azadeh Shakery, Heshaam Faili: Using Learning to Rank Approach for Parallel Corpora Based Cross Language Information Retrieval. 79-84
- Christer Bäckström, Anders Jonsson, Peter Jonsson: Macros, Reactive Plans and Compact Representations. 85-90
- Liviu Badea: Multirelational Consensus Clustering with Nonnegative Decompositions. 97-102
- Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali: Verification of Description Logic Knowledge and Action Bases. 103-108
- Hendrik Baier, Mark H. M. Winands: Nested Monte-Carlo Tree Search for Online Planning in Large MDPs. 109-114
- Gabriele Barbieri, François Pachet, Pierre Roy, Mirko Degli Esposti: Markov Constraints for Generating Lyrics with Style. 115-120
- Karel Bartos, Martin Rehák: Trust-based Solution for Robust Self-configuration of Distributed Intrusion Detection Systems. 121-126
- Ringo Baumann: What Does it Take to Enforce an Argument? Minimal Change in abstract Argumentation. 127-132
- Dorothea Baumeister, Magnus Roos, Jörg Rothe, Lena Schend, Lirong Xia: The Possible Winner Problem with Uncertain Weights. 133-138
- Daniel Beck, Gerhard Lakemeyer: Representing Value Functions with Recurrent Binary Decision Diagrams. 139-144
- Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Régin: An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization. 145-150
- Salem Benferhat, Célia da Costa Pereira, Andrea Tettamanzi: Hybrid Possibilistic Conditioning for Revision under Weighted Inputs. 151-156
- Christoph Benzmüller, Jens Otten, Thomas Raths: Implementing and Evaluating Provers for First-order Modal Logics. 163-168
- Reinaldo A. C. Bianchi, Carlos H. C. Ribeiro, Anna Helena Reali Costa: Heuristically Accelerated Reinforcement Learning: Theoretical and Experimental Results. 169-174
- Yngvi Björnsson: Learning Rules of Simplified Boardgames by Observing. 175-180
- Mathieu Bonneau, Nathalie Peyrard, Régis Sabbadin: A Reinforcement-Learning Algorithm for Sampling Design in Markov Random Fields. 181-186
- Grégory Bonnet: A Protocol Based on a Game-Theoretic Dilemma to Prevent Malicious Coalitions in Reputation Systems. 187-192
- Branislav Bosanský, Christopher Kiekintveld, Viliam Lisý, Michal Pechoucek: Iterative Algorithm for Solving Two-player Zero-sum Extensive-form Games with Imperfect Information. 193-198
- Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco: Interval Temporal Logics over Finite Linear Orders: the Complete Picture. 199-204
- Anaïs Cadilhac, Nicholas Asher, Farah Benamara, Vladimir Popescu, Mohamadou Seck: Preference Extraction From Negotiation Dialogues. 211-216
- Siqi Chen, Gerhard Weiss: An Efficient and Adaptive Approach to Negotiation in Complex Environments. 228-233
- Malumbo Chipofya: Combining DRA and CYC into a Network Friendly Calculus. 234-239
- Lukás Chrpa, Thomas Leo McCluskey: On Exploiting Structures of Classical Planning Problems: Generalizing Entanglements. 240-245
- Javier Coego, Lawrence Mandow, José-Luis Pérez-de-la-Cruz: Ideal Point Guided Iterative Deepening. 246-251
- Amanda Jane Coles: Opportunistic Branched Plans to Maximise Utility in the Presence of Resource Uncertainty. 252-257
- Emmanuel Coquery, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi: A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence. 258-263
- Denis Cornaz, Lucie Galand, Olivier Spanjaard: Bounded Single-Peaked Width and Proportional Representation. 270-275
- William Fernando Correa, Henri Prade, Gilles Richard: When intelligence is just a matter of copying. 276-281
- Luca Costabello, Serena Villata, Fabien Gandon: Context-Aware Access Control for RDF Graph Stores. 282-287
- Miguel Couceiro, Didier Dubois, Henri Prade, Tamás Waldhauser: Decision-making with Sugeno integrals: DMU vs. MCDM. 288-293
- Krzysztof Dembczynski, Willem Waegeman, Eyke Hüllermeier: An Analysis of Chaining in Multi-Label Classification. 294-299
- Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar: A Study of Local Minimum Avoidance Heuristics for SAT. 300-305
- Stefan Edelkamp, Peter Kissmann, Álvaro Torralba: Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction. 306-311
- Patrick Eyerich: Preferring Properly: Increasing Coverage while Maintaining Quality in Anytime Temporal Planning. 312-317
- Piotr Faliszewski, Edith Hemaspaandra, Henning Schnoor: Weighted Manipulation for Four-Candidate Llull Is Easy. 318-323
- Xiuyi Fan, Francesca Toni: Agent Strategies for ABA-based Information-seeking and Inquiry Dialogues. 324-329
- Maier Fenster, Inon Zuckerman, Sarit Kraus: Guiding User Choice During Discussion by Silence, Examples and Justifications. 330-335
- Olivier Ferret: Combining Bootstrapping and Feature Selection for Improving a Distributional Thesaurus. 336-341
- Yang Gao, Francesca Toni, Robert Craven: Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway. 342-347
- Alfonso Gerevini, Alessandro Saetti, Ivan Serina: Case-based Planning for Problems with Real-valued Fluents: Kernel Functions for Effective Plan Retrieval. 348-353
- Mehmet Gönen: A Bayesian Multiple Kernel Learning Framework for Single and Multiple Output Regression. 354-359
- Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: Process Discovery via Precedence Constraints. 366-371
- Gianluigi Greco, Enrico Malizia, Francesco Scarcello, Luigi Palopoli: Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the Boundary. 372-377
- Alon Grubshtein, Roie Zivan, Amnon Meisels: Partial Cooperation in Multi-agent Local Search. 378-383
- António Gusmão, Tapani Raiko: Towards Generalizing the Success of Monte-Carlo Tree Search beyond the Game of Go. 384-389
- Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz: Complexity of Branching Temporal Description Logics. 390-395
- Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe: Online Voter Control in Sequential Elections. 396-401
- Andreas Hertle, Christian Dornhege, Thomas Keller, Bernhard Nebel: Planning with Semantic Attachments: An Object-Oriented View. 402-407
- Greg Hines, Talal Rahwan, Nicholas R. Jennings: An Anytime Algorithm for Finding the ?-Core in Nontransferable Utility Coalitional Games. 414-419
- Birgit Hofer, Franz Wotawa: Spectrum Enhanced Dynamic Slicing for better Fault Localization. 420-425
- Jinbo Huang: SAT vs. Search for Qualitative Temporal Reasoning. 426-431
- Wojciech Jamroga: Concepts, Agents, and Coalitions in Alternating Time. 438-443
- Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, Ian Horrocks: Large-scale Interactive Ontology Matching: Algorithms and Implementation. 444-449
- Souhila Kaci: Characterization of Positive and Negative Information in Comparative Preference Representation. 450-455
- David Kinny: A New Approach to the Snake-In-The-Box Problem. 462-467
- Matthias Knorr, Pascal Hitzler, Frederick Maier: Reconciling OWL and Non-monotonic Rules for the Semantic Web. 474-479
- Lars Kotthoff: Hybrid Regression-Classification Models for Algorithm Selection. 480-485
- Christophe Labreuche, Nicolas Maudet, Wassila Ouerdane: Justifying Dominating Options when Preferential Information is Incomplete. 486-491
- Jérôme Lang, Bruno Zanuttini: Knowledge-Based Programs as Plans - The Complexity of Plan Verification. 504-509
- Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap: A Path-Optimal GAC Algorithm for Table Constraints. 510-515
- Maurizio Lenzerini, Domenico Fabio Savo: Updating inconsistent Description Logic knowledge bases. 516-521
- Nan Li, Abraham Schreiber, William W. Cohen, Kenneth R. Koedinger: Creating Features from a Learned Grammar in a Simulated Student. 534-539
- Viliam Lisý, Radek Píbil, Jan Stiborek, Branislav Bosanský, Michal Pechoucek: Game-theoretic Approach to Adversarial Plan Recognition. 546-551
- Weiming Liu, Sanjiang Li: Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction. 552-557
- Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari: Inconsistency Handling in Datalog+/- Ontologies. 558-563
- Charles Lumet, Sylvain Bouveret, Michel Lemaître: Fair Division of Indivisible Goods under Risk. 564-569
- Chuan Luo, Kaile Su, Shaowei Cai: Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. 570-575
- Samhar Mahmoud, Nathan Griffiths, Jeroen Keppens, Michael Luck: Efficient Norm Emergence through Experiential Dynamic Punishment. 576-581
- Wolfgang Mayer, Gerhard Friedrich, Markus Stumptner: On computing correct processes and repairs sing partial behavioral models. 582-587
- Vera Mersheeva, Gerhard Friedrich: Routing for Continuous Monitoring by Multiple Micro AVs in Disaster Scenarios. 588-593
- Tanvi S. Motwani, Raymond J. Mooney: Improving Video Activity Recognition using Object Recognition and Text Mining. 600-605
- Felix Müller, Christian Späth, Thomas Geier, Susanne Biundo: Exploiting Expert Knowledge in Factored POMDPs. 606-611
- Nadeschda Nikitina, Sebastian Rudolph: ExpExpExplosion: Uniform Interpolation in General EL Terminologies. 618-623
- Raz Nissim, Udi Apsel, Ronen I. Brafman: Tunneling and Decomposition-Based State Reduction for Optimal Planning. 624-629
- Lhouari Nourine, Jean-Marc Petit: Extending Set-based Dualization: Application to Pattern Mining. 630-635
- Antonio Penta, Gianluca Quercini, Chantal Reynaud, Nigel Shadbolt: Discovering Cross-language Links in Wikipedia through Semantic Relatedness. 642-647
- Ingo Pill, Thomas Quaritsch: Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. 648-653
- Gianvito Pio, Michelangelo Ceci, Corrado Loglisci, Domenica D'Elia, Donato Malerba: Hierarchical and Overlapping Co-Clustering of mRNA: miRNA Interactions. 654-659
- James Pita, Richard John, Rajiv T. Maheswaran, Milind Tambe, Sarit Kraus: A Robust Approach to Addressing Human Adversaries in Security Games. 660-665
- Marco Ragni, Stefanie Neubert: Solving Raven's IQ-tests: An AI and Cognitive Modeling Approach. 666-671
- Jussi Rintanen: Complexity of Conditional Planning under Partial Observability and Infinite Executions. 678-683
- Jussi Rintanen: Engineering Efficient Planners with SAT. 684-689
- Igor Rochlin, David Sarne, Moshe Laifenfeld: Coordinated Exploration with a Shared Goal in Costly Environments. 690-695
- Ji Ruan, Michael Thielscher: Strategic and Epistemic Reasoning for the Game Description Language GDL-II. 696-701
- Salvatore Ruggieri: Deciding Membership in a Class of Polyhedra. 702-707
- Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas, Lee McCluskey: Large-scale Parallel Stratified Defeasible Reasoning. 738-743
- Florent Teichteil-Königsbuch: Path-Constrained Markov Decision Processes: bridging the gap between probabilistic model-checking and decision-theoretic planning. 744-749
- Matthias Thimm: A Probabilistic Semantics for abstract Argumentation. 750-755
- Alice Toniolo, Timothy J. Norman, Katia P. Sycara: An Empirical Study of Argumentation Schemes for Deliberative Dialogue. 756-761
- Alejandro Torreño, Eva Onaindia, Oscar Sapena: An approach to multi-agent planning with incomplete information. 762-767
- Long Tran-Thanh, Sebastian Stein, Alex Rogers, Nicholas R. Jennings: Efficient Crowdsourcing of Unknown Experts using Multi-Armed Bandits. 768-773
- Tony T. Tran, J. Christopher Beck: Logic-based Benders Decomposition for Alternative Resource Scheduling with Sequence Dependent Setups. 774-779
- Kateryna Tymoshenko, Swapna Somasundaran, Vinodkumar Prabhakaran, Vinay Shet: Relation Mining in the Biomedical Domain using Entity-level Semantics. 780-785
- Richard Anthony Valenzano, Hootan Nakhost, Martin Müller, Jonathan Schaeffer, Nathan R. Sturtevant: ArvandHerd: Parallel Planning with a Portfolio. 786-791
- Pascal Van Hentenryck, Nabeel Gillani, Carleton Coffrin: Joint Assessment and Restoration of Power Systems. 792-797
- Remi van Trijp: Self-Assessing Agents for Explaining Language Change: A Case Study in German. 798-803
- Theodoros Varvadoukas, Ioannis Giotis, Stasinos Konstantopoulos: Detecting Human Patterns in Laser Range Data. 804-809
- Srdjan Vesic: Maxi-Consistent Operators in Argumentation. 810-815
- Ioannis A. Vetsikas, Sebastian Stein, Nicholas R. Jennings: Multi-unit Auctions with a Stochastic Number of Asymmetric Bidders. 816-821
- Tim vor der Brück, Yu-Fang Helena Wang: Synonymy Extraction From Semantic Networks Using String and Graph Kernel Methods. 822-827
- Paul Weng: Ordinal Decision Models for Markov Decision Processes. 828-833
- Colin R. Williams, Valentin Robu, Enrico H. Gerding, Nicholas R. Jennings: Negotiating Concurrently with Unknown Opponents in omplex, Real-Time Domains. 834-839
- Brandon Wilson, Inon Zuckerman, Austin Parker, Dana S. Nau: Improving Local Decisions in Adversarial Search. 840-845
- Michel Wilson, Cees Witteveen, Bob Huisman: Enhancing predictability of schedules by task grouping. 846-851
- Nic Wilson: Importance-based Semantics of Polynomial Comparative Peference Inference. 852-857
- Feng Wu, Nicholas R. Jennings, Xiaoping Chen: Sample-Based Policy Iteration for Constrained DEC-POMDPs. 858-863
- Guohui Xiao, Yue Ma: Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets. 864-869
- Han Xiao, Huang Xiao, Claudia Eckert: Adversarial Label Flips Attack on Support Vector Machines. 870-875
- Xiao Zhang, Baojun Qiu, Prasenjit Mitra, Sen Xu, Alexander Klippel, Alan M. MacEachren: Disambiguating Road Names in Text Route Descriptions using Exact-All-Hop Shortest Path Algorithm. 876-881
ECAI Short Papers
- Yusra Alkhazraji, Martin Wehrle, Robert Mattmüller, Malte Helmert: A Stubborn Set Algorithm for Optimal Planning. 891-892
- Razvan C. Bunescu: An Adaptive Clustering Model that Integrates Expert Rules and N-gram Statistics for Coreference Resolution. 897-898
- Debasish Das, Evan Kodra, Zoran Obradovic, Auroop R. Ganguly: Mining Extremes: Severe Rainfall and Climate Change. 899-900
- Valeria Fionda, Giuseppe Pirrò: CAKES: Cross-lingual Wikipedia Knowledge Enrichment and Summarization. 901-902
- Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe: Controlling Candidate-Sequential Elections. 905-906
- Jinbo Huang: Implementation of Critical Path Heuristics for SAT. 907-908
- Olivier Lhomme: Practical Reformulations With Table Constraints. 911-912
- Hugo Gonçalo Oliveira, Paulo Gomes: Ontologising Semantic Relations into a Relationless Thesaurus. 915-916
- Thierry Petit: Intermediary Local Consistencies. 919-920
- Daniele Porello: The Consistency of Majority Rule. 921-922
- Pavel Surynek: An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors. 927-928
- Björn Zenker: Approximation of Steiner Minimum Trees in Euclidean Planar Graphs Using Euclidian Steiner Minimum Trees. 931-932
- Zhangquan Zhou, Guilin Qi, Chang Liu, Pascal Hitzler, Raghava Mutharaju: Reasoning with Fuzzy-EL+ Ontologies Using MapReduce. 933-934
PAIS Papers
- Alexander Artikis, Robin Marterer, Jens Pottebaum, Georgios Paliouras: Event Processing for Intelligent Resource Management. 943-948
- Eddy C. Borera, Brett L. Moore, Larry D. Pyeatt: Partially Observable Markov Decision Process for Closed-Loop Anesthesia Control. 949-954
- Caroline Ponzoni Carvalho Chanel, Florent Teichteil-Königsbuch, Charles Lesire: POMDP-based online target detection and recognition for autonomous UAVs. 955-960
- Álvaro Fialho, Youssef Hamadi, Marc Schoenauer: A Multi-objective Approach to Balance Buildings Construction Cost and Energy Efficiency. 961-966
- Katia Lida Kermanidis, Panagiotis Pandis, Costas Boletsis, Dimitra Chasanidou: LSA for Mining Hidden Information in Action Game Semantics. 967-968
- Ramachandra Kota, Georgios Chalkiadakis, Valentin Robu, Alex Rogers, Nicholas R. Jennings: Cooperatives for Demand Side Management. 969-974
- Athanasios Panagopoulos, Georgios Chalkiadakis, Eftichios Koutroulis: Predicting the Power Output of Distributed Renewable Energy Resources within a Broad Geographical Region. 981-986
- Olivier Pietquin, Fabio Tango: A Reinforcement Learning Approach to Optimize the longitudinal Behavior of a Partial Autonomous Driving Assistance System. 987-992
System Demo Track
- Pablo Almajano, Tomas Trescak, Inmaculada Rodríguez, Maite López-Sánchez: An Infrastructure for Human Inclusion in MAS. 999-1000
- Liz Bacon, Amedeo Cesta, Luca Coraci, Gabriella Cortellessa, Riccardo De Benedictis, Sara Grilli, Jure Polutnik, Keith Strickland: Training Crisis Managers with PANDORA. 1001-1002
- Roman Barták, Milan Jaska, Ladislav Novak, Vladimír Rovenský, Tomás Skalický, Martin Cully, Con Sheahan, Thanh-Tung Dang: FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners. 1003-1004
- Luca Console, Giulia Biamino, Francesca Carmagnola, Federica Cena, Elisa Chiabrando, Roberto Furnari, Cristina Gena, Pierluigi Grillo, Silvia Likavec, Ilaria Lombardi, Michele Mioli, Claudia Picardi, Daniele Theseider Dupré, Fabiana Vernero, Rossana Simeoni, Fabrizio Antonelli, Vincenzo Cuciti, Matteo Demichelis, Fabrizio Franceschi, Marina Geymonat, Alessandro Marcengo, Dario Mana, Mario Mirabelli, Monica Perrero, Amon Rapp, Franco Fassio, Piercarlo Grimaldi, Fabio Torta: WantEat: interacting with social networks of smart objects for sharing cultural heritage and supporting sustainability. 1005-1006
- Cristina Cristalli, Giacomo Angione, Luca Lattanzi, Birgit Graf, Florian Weisshardt, Georg Arbeiter: Mo.Di.Bot - Mobile Diagnostic Robot. 1007-1008
- José del Sagrado, Isabel María del Águila, Francisco Javier Orellana: Metaheuristic Aided Software Features Assembly. 1009-1010
- Jörg-Uwe Kietz, Floarea Serban, Abraham Bernstein, Simon Fischer: Designing KDD-Workflows via HTN-Planning. 1011-1012
- Mitja Lustrek, Bostjan Kaluza, Bozidara Cvetkovic, Erik Dovgan, Hristijan Gjoreski, Violeta Mirchevska, Matjaz Gams: Confidence: Ubiquitous Care System to Support Independent Living. 1013-1014
- Stéphane Magnenat, Alexey Gribovskiy, Francesco Mondada: Autonomous construction with a mobile robot in a resource-limited environment: a demonstration of the integration of perception, planning and action. 1015-1016
- Martin Scholz, Guenther Goerz: WissKI: A Virtual Research Environment for Cultural Heritage. 1017-1018
- David Sislák, Premysl Volf, Dusan Pavlícek, Michal Pechoucek: AGENTFLY: Multi-Agent Simulation of Air-Traffic Management. 1019-1020
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team