STAIRS 2012: Proceedings of the Sixth Starting AI Researchers Symposium 241

\*This book will be available as an Open Access ebook\* The field of Artificial Intelligence is one in which novel ideas and new and original perspectives are of more than usual importance. The Starting AI Researchers Symposium (STAIRS) is an international meeting which supports AI researchers from all countries at the beginning of their career, PhD students and those who have held a PhD for less than one year. It offers doctoral students and young post-doctoral AI fellows a unique and valuable opportunity to gain experience in presenting their work in a supportive scientific environment, where they can obtain constructive feedback on the technical content of their work, as well as advice on how to present it, and where they can also establish contacts with the broader European AI research community. This book presents revised versions of peer-reviewed papers presented at the Sixth STAIRS, which took place in Montpellier, France, in conjunction with the 20th European Conference on Artificial Intelligence (ECAI) and the Seventh Conference on Prestigious Applications of Intelligent Systems (PAIS) in August 2012. The topics covered in the book range over a broad spectrum of subjects in the field of AI: machine learning and data mining, constraint satisfaction problems and belief propagation, logic and reasoning, dialogue and multiagent systems, and games and planning. Offering a fascinating opportunity to glimpse the current work of the AI researchers of the future, this book will be of interest to anyone whose work involves the use of artificial intelligence and intelligent systems. Title Page 1 Preface 5 Contents 7 Towards a Semantic Classifier Committee Based on Rocchio 11 Enhancing Coalition Formation in Multi-Agent Systems when Agents Plan Their Activities 21 Control in Judgment Aggregation 33 Counterfactual Dependency and Actual Causation in CP-Logic and Structural Models: A Comparison 45 Identifying Geographic Events and Processes in Spatio-Temporal Data 57 Planning and Scheduling in Hybrid Domains 69 Deliberative Acceptability of Arguments 81 Modeling Temporal Aspects of Contract Net Protocol Using Timed Colored Petri Nets 93 Reward Function Learning for Dialogue Management 105 Interleaving Planning and Plan Execution with Incomplete Knowledge in the Event Calculus 117 Adopting a Risk-Aware Utility Model for Repeated Games of Chance 123 Adaptive Negotiation for Resource Intensive Tasks in Grids 135 Investigating Strategic Considerations in Persuasion Dialogue Games 147 A Submodular-Based Decomposition Strategy for Valued CSPs 159 Hierarchical Action Selection for Reinforcement Learning in Infinite Mario 172 NORMC: A Norm Compliance Temporal Logic Model Checker 178 Local Stability of Belief Propagation Algorithm with Multiple Fixed Points 190 Tools for Finding Inconsistencies in Real-World Logic-Based Systems 202 Complexity and Approximability of Egalitarian and Nash Product Social Welfare Optimization in Multiagent Resource Allocation 214 Set-Labeled Diagrams for CSP Compilation 226 Multi-Attribute Auction Mechanism for Supporting Resource Allocation in Business Process Enactment 238 A Two-Phase Bidirectional Heuristic Search Algorithm 250 A Logic for Specifying Agent Actions and Observations with Probability 262 Probabilistic Path-Disruption Games 274 Towards Decentralised AGV Control with Negotiations 280 OCL Plus: Processes and Events in Object-Centred Planning 292 Neural Network-Based Framework for Data Stream Mining 304 Exploring Metric Sensitivity of Planners for Generation of Pareto Frontiers 316 Toward an Activity Theory Based Model of Spatio-Temporal Interactions - Integrating Situational Inference and Dynamic (Sensor) Control 328 Multiclass Cascades for Ensemble-Based Boosting Algorithms 340 The Landmark-Based Meta Best-First Search Algorithm for Classical Planning 346 A Multi-Hypothesis Monitoring Architecture: Application to Ambulatory Physiology 358 Subject Index 371 Author Index 373