| Vol-1648 urn:nbn:de:0074-1648-1 Copyright © 2016 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# KnowProS 2016
Knowledge-based Techniques for Problem Solving and Reasoning

### Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning
co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016)

### New York City, USA, July 10, 2016.

Edited by

### Roman Bartak *
Thomas Leo McCluskey **
Enrico Pontelli ***

* Charles University, Department of Theoretical Computer Science and Mathematical Logic, Praha 1, Czech Republic
** University of Huddersfield, School of Computing and Engineering, Huddersfield, West Yorkshire, HD1 3DH, UK
*** New Mexico State University, Department of Computer Science, Las Cruces, NM 88003, USA

## Table of Contents

- Preface

### Keynote Presentation

- The Modelling Beauty of Constraint Solving (invited paper)
  Veronica Dahl

### Session 1:

- Grammar Induction as Automated Transformation between Constraint Solving Models of Language
  Ife Adebara, Veronica Dahl
- Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models
  Roman Bartak, Neng-Fa Zhou, Agostino Dovier
- On Structural Properties to Improve FMEA-Based Abductive Diagnosis
  Roxane Koitz, Franz Wotawa

### Session 2:

- Using Knowledge Representation and Reasoning Tools in the Design of Robots
  Mohan Sridharan, Michael Gelfond
- Decomposing Minimal Models
  Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli
- Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing
  Brent Mombourquette, Christian Muise, Sheila A. McIlraith

### Session 3:

- Assumption-Based Planning with Sensing via Contingent Planning
  Pamela Calvo, Jorge A. Baier
- Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version)
  Alberto Camacho, Eleni Triantafillou, Christian Muise, Jorge A. Baier, Sheila A. McIlraith
- Strong-Cyclic Planning when Fairness is Not a Valid Assumption
  Alberto Camacho, Sheila A. McIlraith
- Numeric Planning via Search Space Abstraction
  Leon Illanes, Sheila A. McIlraith

2016-07-25: submitted by Enrico Pontelli, metadata incl. bibliographic data published under Creative Commons CC0
2016-07-25: published on CEUR-WS.org |valid HTML5|