Call for Papers:
KInAR - Knowledge Intensive Automated Reasoning
Workshop at CADE-24, 10 June 2013, Lake Placid, New York, USA
http://userpages.uni-koblenz.de/~bpelzer/kinar2013/ Submission deadline: 8 April 2013 (see Important Dates)
===================================================================
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.
Submission Topics:
We are interested in submissions regarding the following topics,
or any other topics pertaining to knowledge intensive automated
reasoning:
- theoretical foundations: calculi optimized for knowledge
intensive reasoning,
- knowledge corpora and their management,
- projects and methods aimed at extracting AR-friendly
(semi-)formal knowledge from large informal corpora,
- system descriptions of actual applications pertaining to the
workshop topic,
- how to benchmark such systems,
- robustness: reasoning despite flaws in digital knowledge,
- combining knowledge from different sources.
Submission:
Submissions may have up to 15 pages including bibliography in LNCS
format. Please submit your paper as a PDF file via EasyChair:
https://www.easychair.org/conferences/?conf=kinar2013
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:
- submission deadline: 8 April 2013
- author notification: 2 May 2013
- camera-ready version: 9 May 2013
- KInAR workshop: 10 June 2013
Organizing/Program Committee:
- Vinay K Chaudhri, SRI International
- Ulrich Furbach, Universität Koblenz-Landau
- Michael Kohlhase, Jacobs University Bremen
- Björn Pelzer, Universität Koblenz-Landau
- Geoff Sutcliffe, University of Miami
- Josef Urban, Radboud Universiteit Nijmegen
- Patrick Wischnewski, Logic4Business GmbH
Workshop Organizers:
- Ulrich Furbach, Universität Koblenz-Landau
- Björn Pelzer, Universität Koblenz-Landau