CALL FOR PAPERS & PARTICIPATION
 
ICJAI'09 Workshop on Abductive and Inductive Knowledge Development (AIAI’09)
 
July 12th, 2009, Pasadena, California, USA
 
http://www.cs.bris.ac.uk/~oray/AIAI09/
 
(extended) submission deadline: April 06, 2009
participation deadline: April 17, 2009
------------------------------------------------------------------------------
 
This Workshop will explore new ways of using logic-based methods to support
the evolution of knowledge in real-world problems.  In particular, it will
focus on the integration and application of abductive and inductive inference
to tasks where theories must evolve incrementally, in response to continued
feedback from the user or domain being modelled.  Drawing on analogies with
methodology of science, we aim to explore and build upon recent work in the
mechanisation of theory revision, hypothesis evaluation, and the design of
experiments.  In this way, we will provide an inter-disciplinary forum
for researchers seeking to formalise and automate such knowledge development
cycles in various disciplines (scientific, applied, cognitive or philosophical).
 
The Workshop will be a one day event held on July 12th, 2009 as part of the
21st International Joint Conference on Artificial Intelligence (IJCAI'09)
in Pasadena, California.  The Programme includes a several short paper talks,
a panel discussion, and some invited keynote speeches.  We actively solicit
the submission of short position papers, as well as more mature work, and we
welcome the participation of all researchers, even if not submitting a paper.
Further details (including submission and participation instructions) are
available on the workshop web page at
 
http://www.cs.bris.ac.uk/~oray/AIAI09/