Logic List Mailing Archive

Foundations of Artificial Intelligence 2007 (FAInt-07), Osnabr?(Germany), 10 Sep 2007 [Deadline extended]

***DEADLINE EXTENDED BY ONE WEEK, NOW: June 15th, 2007***


                          LAST 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 15th, 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.