Jump to: navigation, search

CEUR workshop proceedings now online: http://ceur-ws.org/Vol-277

Foundations of Artificial Intelligence

Workshop at KI 2007, Osnabrück, September 10th, 2007

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
and other foundations of artificial intelligence research.


The workshop will take place in the afternoon of the 10th of September.

  • 14:00-15:20: Wolfgang Maass: The difficult search for intelligence in neural circuits. Invited keynote
  • 15:20-15:40: Kai-Uwe Kühnberger, Tonio Wandmacher, Angela Schwering, Ekaterina Ovchinnikova, Ulf Krumnack, Helmar Gust, Peter Geibel: Modeling Human-Level Intelligence by Integrated Cognition in a Hybrid Architecture
  • 15:40-16:00: Sebastian Rudolph: Relational Exploration – Reconciling Plato and Aristotle

coffee break

  • 16:30-16:50: Matthias Knorr, Pascal Hitzler: A Comparison of Disjunctive Well-founded Semantics
  • 16:50-17:10: Ander Altuna: Imagining Contexts
  • 17:10-17:30: Pascal Hitzler, Andreas Eberhart: Description Logic Programs: Normal Forms


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.

The papers are published in the workshop proceedings, which have appeared online as CEUR Workshop Proceedings (bearing an ISSN number):


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


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

Programme Committee

  • Jürgen 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, Universität Paderborn, Germany
  • Hans Kamp, University of Stuttgart, Germany
  • Kai-Uwe Kühnberger, University of Osnabrück, Germany
  • Markus Krötzsch, University of Karlsruhe (TH), Germany
  • David Leake, Indiana University Bloomington, USA
  • Benedikt Löwe, Universiteit van Amsterdam, The Netherlands
  • Claudio Masolo, LOA CNR Trento, Italy
  • Rainer Osswald, Fernuniversität Hagen, Germany
  • Anthony K. Seda, University College Cork, Ireland
  • Matthias Wendt, University of Leipzig, Germany
  • Guo-Qiang Zhang, CWRU Cleveland, USA
Personal tools