Logic List Mailing Archive

Foundations of Artificial Intelligence (FAInt-07), Osnabrueck (Germany), Sep 10, 2007

[ The following text is in the "X-UNKNOWN" character set. ]
    [ Your display is set for the "iso-8859-1" character set.  ]
    [ Some characters may be displayed incorrectly. ]


                          THIRD CALL FOR PAPERS

         Foundations of Artificial Intelligence 2007 (FAInt-07)

     Workshop at KI 2007, Osnabrck, September 10th, 2007

           http://logic.aifb.uni-karlsruhe.de/wiki/FAInt-07


==Important Dates==

Submission deadline: June 8th, 2007
Notification of acceptance: July 13th, 2007
Camera-ready versions due: July 27th, 2007

==Keynote speaker==

Wolfgang Maass, TU Graz: The difficult search for intelligence in  
neural circuits

==Organisers==
     * Pascal Hitzler, AIFB, Universitt Karlsruhe
     * Thomas Roth-Berghofer, DFKI Kaiserslautern
     * Sebastian Rudolph, AIFB, Universitt Karlsruhe

Contact: Sebastian Rudolph, sru@aifb.uni-karlsruhe.de

==Submissions==

Submitted papers, which have to be in English, must not exceed 15  
pages in Springer LNCS style and must be submitted in pdf format.  
Submission is via email to sru@aifb.uni-karlsruhe.de. At least one  
author per accepted paper must register for the workshop and present  
the contribution.

Papers will be published in the workshop proceedings, which will  
appear online as CEUR Workshop Proceedings (bearing an ISSN number).  
Authors of best papers will be invited to submit extended versions to  
a special issue of a major journal.

==Programme Committee==

     * Jrgen Dix, TU Clausthal, Germany
     * Thomas Eiter, TU Vienna, Austria
     * Ulrich Furbach, University of Koblenz, Germany
     * Dov Gabbay, King's College London, UK
     * Bernhard Ganter, TU Dresden, Germany
     * Ruth Hagengruber, Universitt Paderborn, Germany
     * Hans Kamp, University of Stuttgart, Germany
     * Kai-Uwe Khnberger, University of Osnabrck, Germany
     * Markus Krtzsch, University of Karlsruhe (TH), Germany
     * David Leake, Indiana University Bloomington, USA
     * Benedikt Lwe, Universiteit van Amsterdam, The Netherlands
     * Claudio Masolo, LOA CNR Trento, Italy
     * Rainer Osswald, Fernuniversitt Hagen, Germany
     * Anthony K. Seda, University College Cork, Ireland
     * Matthias Wendt, University of Leipzig, Germany
     * Guo-Qiang Zhang, CWRU Cleveland, USA

==Scope==

Within the course of the last 50 years, Artificial Intelligence has  
developed into a major field of research with a multitude of facets  
and application areas. While, in general, Artificial Intelligence  
research is driven by applica-tion needs, it is nevertheless a fact  
that foundational questions and theoretical insights have always been  
one of the driving forces behind its development. This includes the  
quest for realising intelligent behaviour in artificial systems as  
envisioned in the early days of AI research. But it also comprises  
biological inspirations e.g. for robot design, artificial neural  
networks, or emergent intelligence, as well as logical underpinnings  
of automated deduc-tion and knowledge representation.

Indeed, formal and foundational aspects of artificial intelligence  
are being studied in many sub areas in order to serve application  
needs. It lies in the nature of such fundamental research that a  
critical mass of different formal perspectives can generate a cross- 
fertilization of ideas and applications. We therefore intend to bring  
together researchers working on foundational aspects of Artificial  
Intelligence across different communities, in order to stimulate an  
exchange of ideas and methods between them.

The workshop is intended for researchers which contribute to the
mathematical,
logical,
statistical,
psychological,
linguistic,
cognitive,
philosophical,
biological,
and other foundations of artificial intelligence research.