KInAR - Knowledge Intensive Automated Reasoning

Workshop at CADE-24 – the 24th International Conference on Automated Deduction

Venue: CADE-24, Lake Placid, New York, USA
Date: 9 June 2013, 9:00 - 12:30 (changed date)

Workshop Overview

Automated reasoning (AR) systems have been advancing in their capabilities, allowing them to operate on increasingly larger and more complex theories. At the same time extensive digital sources of knowledge are becoming available, ranging from formal ontologies over databases and dictionaries to natural language references. Online sources like Wikipedia, mathematical libraries like Mizar, IMDb and various search engines and web services have gained widespread acceptance among the general population, but the sheer quantity of data can be an obstacle for human users. To make such knowledge more accessible there is a growing interest to employ the deductive power of AR systems. Not only does this provide challenges to researchers in the field of automated deduction, but it is also a chance to bring the results into the public, and to see a large-scale practical usage of AR.

In this workshop we aim to compile different approaches to the problems inherent in dealing with large knowledge sources automatically, and to further the connections between researchers working on such projects.


09:00 - 10:30: Session 1
1. Peter Baumgartner and Joshua Bax: "Hierarchic Superposition with Weak Abstraction for Finite Domains"
2. Cezary Kaliszyk and Josef Urban: "Learning-Assisted Automated Reasoning with Flyspeck"

10:30 - 11:00: Break

11:00 - 12:30: Session 2
3. Vinay Chaudhri, Stij Heymans and Michael Wessel: "KB_Bio_101: A Challenge for TPTP First-Order Reasoners"
4. Benjamin Dotto and Björn Pelzer: "Improving Efficiency of Automated Reasoning through Knowledge Base Clustering"

Submission Topics

We are interested in submissions regarding the following topics, or any other topics pertaining to knowledge intensive automated reasoning:


Submissions may have up to 15 pages including bibliography in LNCS format. Please submit your paper as a PDF file on the EasyChair KInAR page.

Submissions will be reviewed by the program committee. If a paper is accepted, one of its authors is expected to present the work at the workshop. Accepted submissions will be printed in an informal proceedings distributed at the workshop.

Important Dates

Organizing/Program Committee:

Workshop Organizers:


Björn Pelzer
Universität Koblenz
Room B221
Universitätsstrasse 1
56070 Koblenz