KInAR Home Page
Unfortunately the workshop has been canceled!
Overview
KInAR is the IJCAR workshop on Knowledge Intensive Automated Reasoning, dealing with the application of automated reasoning on large knowledge bases and with complex theories.
Detailed information on KInAR 2014 can be found on the KInAR 2014 website.
Call for Papers
Important Dates
| submission deadline: | 28 April 2014 |
| reviewing deadline: | 10 May 2014 |
| notification to authors: | 12 May 2014 |
| camera-ready versions: | 26 May 2014 |
| KInAR workshop: | 17 July 2014 |