Accepted Papers

Long papers

• Reducing Bias Effects in DOP Parameter Estimation
  Evita Linardaki
  
  
• From belief change to preference change
  Jérôme Lang, Leon van der Torre
  
  
• Advanced Preprocessing for Answer Set Solving
  Martin Gebser, Benjamin Kaufmann, Andre Neumann, Torsten Schaub
  
  
• Multilingual Evidence Improves Clustering-based Taxonomy Extraction
  Hans Hjelm, Paul Buitelaar
  
  
• Generating diagnoses from conflict sets with continuous elements
  Emmanuel Benazera, Louise Trave©-Massuyes
  
  
• Interaction-Oriented Agent Simulations : From Theory to Implementation
  Yoann Kubera, Philippe Mathieu, Sébastien Picault
  
  
• Optimal Coalition Structure Generation In Partition Function Games
  Tomasz Michalak, Andrew Dowell, Peter McBurney, Michael Wooldridge
  
  
• Slide: A Useful Special Case of the Cardpath Constraint
  Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
  
  
• Coalition Structures in Weighted Voting Games
  Edith Elkind, Georgios Chalkiadakis, Nicholas R. Jennings
  
  
• Automatic Page Turning for Musicians via Real-Time Machine Listening
  Andreas Arzt, Gerhard Widmer
  
  
• Agents Preferences in Decentralized Task Allocation
  Mark Hoogendoorn, Maria Gini
  
  
• A generic framework for comparing semantic similarities on a subsumption hierarchy
  Emmanuel Blanchard, Mounira Harzallah, Pascale Kuntz
  
  
• Game Theoretical Insights in Strategic Patrolling: Model and Algorithm in Normal-Form
  Nicola Gatti
  
  
• A Compositional Mathematical Model of Machines Transporting Rigid Objects
  Peter Struss, Axel Kather , Dominik Schneider , Tobias Voigt
  
  
• A Practical Temporal Constraint Management System for Real-Time Applications
  Luke Hunsberger
  
  
• Prototype-based Domain Description
  Fabrizio Angiulli
  
  
• Model-based diagnosis of discrete event systems with an incomplete system model
  Xiangfu Zhao, Dantong Ouyang
  
  
• Towards Efficient Belief Update for Planning-Based Web Service Composition
  Joerg Hoffmann
  
  
• Frontier Search for Bicriterion Shortest Path Problems
  Lorenzo Mandow, José Luis Pérez de la Cruz
  
  
• Monitoring the Execution of a Multi-Agent Plan: Dealing with Partial Observability
  Roberto Micalizio, Pietro Torasso
  
  
• A hybrid approach to multi-agent decision-making
  Paulo Trigo, Helder Coelho
  
  
• A General Model for Epistemic State Revision using Plausibility Measures
  Jianbing Ma, Weiru Liu
  
  
• Heuristics for Dynamically Adapting Propagation
  Kostas Stergiou
  
  
• Coalition Formation Strategies for Self-Interested Agents
  Thomas Génin, Samir Aknine
  
  
• Of Mechanism Design and Multiagent Planning
  Roman van der Krogt, Mathijs de Weerdt, Yingqian Zhang
  
  
• Structure Learning of Markov Logic Networks through Iterated Local Search
  Marenglen Biba, Stefano Ferilli, Floriana Esposito
  
  
• Near Admissible Algorithms for Multiobjective Search
  Olivier Spanjaard, Patrice Perny
  
  
• Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes
  Christoph Haase, Carsten Lutz
  
  
• Compressing Pattern Databases with Learning
  Mehdi Samadi, Maryam Siabani, Robert Holte, Ariel Felner
  
  
• Online Rule Learning via Weighted Model Counting
  Frederic Koriche
  
  
• Reasoning about Dynamic Depth Profiles
  Mikhail Soutchanski, Paulo Santos
  
  
• Comparing Abductive Theories
  Katsumi Inoue, Chiaki Sakama
  
  
• Unsupervised Grammar Induction Using a Parent Based Constituent Context Model
  Seyed Abolghassem Mirroshandel, Gholamreza Ghassem-Sani
  
  
• Chronicles for On-line Diagnosis of Distributed Systems
  Xavier Le Guillou, Marie-Odile Cordier, Sophie Robin, Laurence Roze
  
  
• Focused Ensemble Selection: A Diversity-Based Method for Greedy Ensemble Selection
  Ioannis Partalas, Grigorios Tsoumakas, Ioannis Vlahavas
  
  
• Test Generation for Model-Based Diagnosis
  Gregory Provan
  
  
• An Attentive Machine Interface for Geo-Contextual Awareness in Mobile Vision Tasks
  Katrin Amlacher, Lucas Paletta
  
  
• IAMwildCAT: The Winning Strategy for the TAC Market Design Competition
  Perukrishnen Vytelingum, Ioannis Vetsikas, Bing Shi, Nicholas R. Jennings
  
  
• Multi-Agent Reinforcement Learning Algorithm with Variable Optimistic-Pessimistic Criterion
  Natalia Akchurina
  
  
• As Safe As It Gets: Near-Optimal Learning in Multi-Stage Games with Imperfect Monitoring
  Danny Kuminov, Moshe Tennenholtz
  
  
• $\mathcal{CDL}$: an Integrated Framework for Context Specification and Recognition
  Fulvio Mastrogiovanni, Antonello Scalmato, Antonio Sgorbissa, Renato Zaccaria
  
  
• Privacy-Preserving Query Answering in Logic-based Information Systems
  Bernardo Cuenca Grau, Ian Horrocks
  
  
• Learning Functional Object Categories from a Relational Spatio-Temporal Representation
  Muralikrishna Sridhar, Anthony Cohn, Hogg David C
  
  
• A Decomposition Technique for Solving Max-CSP
  Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel
  
  
• Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems
  Marina Zanella, Gianfranco Lamperti
  
  
• Evolutionary Optimization of the Multi-Location Transshipment Problem with Limited Storage Capacity
  Nabil BELGASMI, Lamjed BEN SAID, Khaled GHEDIRA
  
  
• Regression for Classical and Nondeterministic Planning
  Jussi Rintanen
  
  
• Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems
  Priscilla Kan John, Alban Grastien
  
  
• Fast Set Bounds Propagation using BDDs
  Graeme Gange, Peter Stuckey, Vitaly Lagoon
  
  
• MTForest: A New Way to Ensemble Decision Trees based on Multi-Task Learning
  Qing Wang, Liang Zhang, Mingmin Chi, Jiankui Guo
  
  
• Combining domain-independent planning and HTN planning: the Duet planner
  Alfonso Gerevini, Ugur Kuter, Dana Nau, Alessandro Saetti, Nathaniel Waisbrot
  
  
• A Heuristic Based Seller Agent For Simultaneous English Auctions
  Patricia Anthony, Edwin Law
  
  
• Learning in Planning with Temporally Extended Goals and Uncontrollable Events
  Andre Cire, Adi Botea
  
  
• Optimizing Causal Link Based Web Service Composition
  Freddy Lecue
  
  
• Extending the Knowledge Compilation Map: Closure Principles
  Hélène Fargier, Pierre Marquis
  
  
• Sequential spatial reasoning in images based on pre-attention mechanisms and fuzzy attribute graphs
  Geoffroy Fouquier, Jamal Atif, Isabelle BLOCH
  
  
• Semantic Modularity and Module Extraction in Description Logics
  Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
  
  
• New Results for Horn Cores and Envelopes of Horn Disjunctions
  Thomas Eiter, Kazuhisa Makino
  
  
• A Truthful Two-Stage Mechanism for Eliciting Probabilistic Estimates with Unknown Costs
  Athanasios Papakonstantinou, Alex Rogers, Enrico H. Gerding, Nicholas R. Jennings
  
  
• Web Page Prediction Based on Conditional Random Fields
  Yong Zhen Guo, Kotagiri Ramamohanarao, Laurence Park
  
  
• Many-valued concept lattices for conceptual clustering and information retrieval
  Nizar Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika Smail_Tabbone
  
  
• Goal Generation and Adoption from Partially Trusted Beliefs
  Célia da Costa Pereira, Andrea Tettamanzi
  
  
• Solving Satisfiability Problems with Qualitative Preferences: a new approach
  Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea
  
  
• Online optimisation for variable selection in data streams
  Christoforos Anagnostopoulos, Dimitris Tasoulis, David J. Hand, Niall M. Adams
  
  
• Word Sense Induction Using Graphs & Collocations
  Klapaftis Ioannis, Suresh Manandhar
  
  
• Adaptive play in Texas Hold'em Poker
  Raphaël Maîtrepierre, Jérémie Mary, Rémi Munos
  
  
• A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects
  Bas Steunebrink, Mehdi Dastani, John-Jules Meyer
  
  
• Single-Peaked consistency and its complexity
  Escoffier Bruno, Jérôme Lang, Meltem Ozturk
  
  
• Learning context-free grammars to extract relations from text
  Georgios Petasis, Vangelis Karkaletsis, Georgios Paliouras, Constantine D. Spyropoulos
  
  
• Combining binary constraint networks in qualitative reasoning
  Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, Sanjiang Li
  
  
• Modeling Collaborative Similarity with the Signed Resistance Distance Kernel
  Jérôme Kunegis, Stephan Schmidt, Christian Bauckhage, Martin Mehlitz, Sahin Albayrak
  
  
• Talking Points in Metaphor: A Concise Usage-based representation for Figurative Processing
  Tony Veale, Yanfen Hao
  
  
• Solving Necklace Constraint Problems
  Pierre Flener, Justin Pearson
  
  
• Hierarchical explanation of inference for Bayesian networks with population of independent agents.
  Peter Sutovsky, Gregory Cooper
  
  
• Belief revision with reinforcement learning for interactive object recognition
  Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters
  
  
• Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs
  Anbu Yue, Weiru Liu
  
  
• A Formal Approach for RDF/S Ontology Evolution
  George Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides
  
  
• Semantic Decomposition for Question Answering
  Sven Hartrumpf
  
  
• Vivifying propositional clausal formulae
  Cédric Piette, Youssef Hamadi, Lakhdar Saïs
  
  
• Hybrid tractable CSPs which generalize tree structure
  Martin Cooper, Peter Jeavons, Andras Salamon
  
  
• Justification-Based Non-Clausal Local Search for SAT
  Matti Järvisalo, Tommi Junttila, Ilkka Niemela
  
  
• Sub Node Extraction with Tree Based Wrappers
  Stefan Raeymaekers, Maurice Bruynooghe
  
  
• Formalizing Dynamics of Mood and Depression
  Fiemke Both, Mark Hoogendoorn, Michel Klein, Jan Treur
  
  
• Modular Equivalence in General
  Tomi Janhunen
  
  
• Automatic Configuration of Multi-Robot Systems: Planning for Multiple Steps
  Robert Lundh, Lars Karlsson, Alessandro Saffiotti
  
  
• A Simulation-based Approach for Solving Temporal Markov Problems
  Emmanuel Rachelson, Patrick Fabiani, Frédérick Garcia, Gauthier Quesnel
  
  
• Mastering the Processing of Preferences by Using Symbolic Priorities in Possibilistic Logic
  Souhila Kaci, Henri PRADE
  
  
• Finding Key Bloggers, One Post at a Time
  Wouter Weerkamp, Krisztian Balog, Maarten de Rijke
  
  
• Automatic Recurrent ANN development for signal classification: detection of seizures in EEGs
  Daniel Rivero, Julian Dorado, Juan Rabuñal, Alejandro Pazos
  
  
• Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis
  Mehdi Bayoudh, Louise Trave-Massuyes, Xavier Olive
  
  
• A Method for Classifying Vertices of Labeled Graphs applied to Knowledge Discovery in Molecules
  Frédéric Pennerath, Géraldine Polaillon, Amedeo Napoli
  
  
• Description Logic Rules
  Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
  
  
• Structure segmentation and recognition in images guided by structural constraint propagation
  Olivier Nempont, Jamal ATIF, Elsa Angelini, Isabelle Bloch
  
  
• Impossibility Results for Iterated Belief Revision
  Pavlos Peppas, Anastasios Michael Fotinopoulos, Stella Seremetaki
  
  
• Theoretical and Computational Properties of Preference-based Argumentation
  Yannis Dimopoulos, Pavlos Moraitis, Leila Amgoud
  
  
• Ontologies as Structured Logical Theories
  Oliver Kutz, Till Mossakowski
  
  
• Nonnegative Decompositions with Resampling for Improving Gene Expression Data Biclustering Stability
  Liviu Badea, Doina Tilivea
  
  
• Heuristics for Planning with Actions Costs Revisited
  Emil Keyder, Hector Geffner
  
  
• A Probabilistic Analysis of Diagnosability in Discrete Event Systems
  Farid Nouioua, Philippe Dague
  
  
• Removed Set Fusion: Performing off the shelf
  Julien Hue, Odile Papini, Eric Wurbel
  
  
• Multi-valued Pattern Databases
  Carlos Linares Lopez
  
  
• Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
  Pedro Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong
  
  
• Norm Defeasibility in an Institutional Normative Framework
  Henrique Lopes Cardoso, Eugenio Oliveira
  
  
• A Coherent Well-founded model for Hybrid MKNF knowledge bases
  Matthias Knorr, Jose Julio Alferes, Pascal Hitzler
  
  
• Why is this Wrong? — Diagnosing Erroneous Speech Recognizer Output with a Two Phase Parser
  Bernd Ludwig, Martin Hacker
  
  
• Theoritical study of ant-based algorithms for multi-agent patrolling
  Arnaud Glad, Olivier Simonin, Olivier Buffet, Francois Charpillet
  
  
• Fighting Knowledge Acquisition Bottleneck with Argument Based Machine Learning
  Martin Mozina, Matej Guid, Jana Krivec, Aleksander Sadikov, Ivan Bratko
  
  
• Groovy Neural Networks
  Axel Tidemann, Yiannis Demiris
  
  
• Task Driven Coreference Resolution for Relation Extraction
  Feiyu Xu, Hans Uszkoreit, Hong Li
  
  
• Exploiting locality of interactions using a policy-gradient approach in multiagent learning
  Francisco Melo
  
  
• A Fast Method for Property Prediction in Graph-Structured Data from Positive and Unlabelled Examples
  Susanne Hoche, Peter Flach
  
  
• VCD bounds for some GP genotypes
  José Luis Montaña
  
  
• Diagnosis of Simple Temporal Networks
  Nico Roos, Cees Witteveen
  
  
• Robust Division in Clustering of Streaming Time Series
  Pedro Rodrigues, Joao Gama
  
  
• WWW sits the SAT: Measuring Relational Similarity from the Web
  Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka
  
  
• Using Abstraction in Two-Player Games
  Mehdi Samadi, Jonathan Schaeffer, Fatemeh Torabi Asr, Majid Samar, Zohreh Azimifar
  
  
• Incremental Component-Based Construction and Verification of a Robotic System
  Ananda Basu, Saddek Bensalem, Matthieu Gallien, Felix Ingrand, Charles Lesire, Thanh-Hung Nguyen, Joseph Sifakis
  
  
• Improved Statistical Machine Translation Using Monolingual Paraphrases
  Preslav Nakov
  
  
• Salience-driven Contextual Priming of Speech Recognition for Human-Robot Interaction
  Pierre Lison, Geert-Jan Kruijff
  
  
• Orthographic similarity search for dictionary lookup of Japanese words
  Lars Yencken, Timothy Baldwin
  
  
• An Efficient Student Model Based on Student Performance and Metadata
  Arndt Faulhaber, Erica Melis