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

Keynote Presentation

Session 1:

Session 2:

Session 3:

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|