[loginf] CFP KInAR - Knowledge Intensive Automated Reasoning

Ulrich Furbach uli at uni-koblenz.de
Wed Apr 9 11:06:34 CEST 2014

KInAR - Knowledge Intensive Automated Reasoning

Workshop at IJCAR 2014

Venue: IJCAR 2014, hosted by the Vienna Summer of Logic, Vienna, Austria
Date: 17 July 2014

Submission Deadline: 28 April 2014
Details see http://userpages.uni-koblenz.de/~bpelzer/kinar2014/

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.

Ulrich Furbach		www.uni-koblenz.de/~uli 

More information about the loginf mailing list