AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
012345

Notice

AISB event Bulletin Item

CFP: Workshop on Description Logics (DL'08)

http://dl.kr.org/dl2008/


     21st International Workshop on Description Logics (DL'08)
                       SECOND CALL FOR PAPERS
			  Dresden,  Germany
                           May 13-16, 2008

                      http://dl.kr.org/dl2008/

The DL workshop is the major annual event of the description logic
research community.  The workshop is thought as a gathering forum to
meet, discuss and exchange experiences among all those, both in 
academia and industry, who are interested in description logics and
their applications.

----------------------------------------------------------------------

IMPORTANT DATES 

Paper submission deadline:   15 February 2008
Notification of acceptance:  23 March 2008
Camera ready papers due:     13 April 2008
DL'07 Workshop:              13-16 May 2008 (3 or 4 days)

----------------------------------------------------------------------

SCOPE

We invite contributions on all aspects of description logics.
Possible subjects include:

* Foundations of description logics, including expressive power,
  decidability and complexity of reasoning, novel inference problems,
  and reasoning techniques for solving these problems.

* Extensions of description logics, including, but not limited to,
  closed world reasoning, defaults, epistemic reasoning, temporal and
  spatial reasoning, procedural knowledge, and query languages.

* Integration of description logics with other formalisms, such as
  object-oriented representation languages, database query languages,
  constraint-based programming, logic programming, and rule-based
  systems.

* Use of description logics in applications or areas such as ontology
  engineering, ontology languages, databases, semi-structured data,
  document management, natural language, learning, planning, semantic
  web, and grid computing.

* Building systems based on description logics, with special emphasis
  on optimization and implementation techniques.

* Tools that exploit description Logic reasoning, such as ontology
  editors, database schema design, query optimization, and data
  integration tools.

----------------------------------------------------------------------

INVITED SPEAKERS

* Bernhard Ganter, Dresden, Germany
* Georg Gottlob, Oxford, UK
* Maarten Marx, Amsterdam, Netherlands
* Kent Spackman, Oregon, USA 

----------------------------------------------------------------------

SUBMISSION DETAILS

We invite submissions of papers in Springer LNCS style, see

   http://www.springer.com/comp/lncs/Authors.html

to arrive no later than February 15, 2008.

The length of submissions is limited to 11 pages, including title and
abstract (if any), and list of references. Submitted papers must be in
PDF format. Submission is via EasyChair, see

    http://www.easychair.org/DL08/

The workshop proceedings will be made available electronically in the
CEUR Workshop Proceedings series, see 

     http://www.CEUR-ws.org/ 

----------------------------------------------------------------------

WORKSHOP CHAIRS

* Franz Baader, Dresden, Germany (General chair)
* Carsten Lutz, Dresden, Germany (PC Chair)

----------------------------------------------------------------------

PROGRAM COMMITTEE

* Carlos Areces, Nancy, France
* Alessandro Artale, Bozen-Bolzano, Italy
* Alex Borgida, Rutgers, USA
* Sebastian Brandt, Machester, UK
* Diego Calvanese, Bozen-Bolzano, Italy
* Giuseppe de Giacomo, Rome, Italy
* Volker Haarslev, Montreal, Canada
* Ian Horrocks, Oxford, UK
* Ulrich Hustadt, Liverpool, UK
* Pascal Hitzler, Karlsruhe, Germany
* Carsten Lutz, Dresden, Germany (Chair)
* Maja Milicic, Dresden, Germany
* Boris Motik, Oxford, UK
* Ralf Moeller, Hamburg, Germany
* Bijan Parsia, Manchester, UK,
* Peter Patel-Schneider, Alcatel Lucent, USA
* Riccardo Rosati, Rome, Italy
* Uli Sattler, Manchester, UK
* Umberto Straccia, Pisa, Italy
* David Toman, Waterloo, Canada
* Frank Wolter, Liverpool, UK
* Misha Zakharyaschev, London, UK 

----------------------------------------------------------------------

RESOURCES

* Information regarding registration, travel information, hotels, etc
  will be made available on the DL2008 homepage

       http://dl.kr.org/dl2008/

* Enquiries about the DL2008 workshop can be made by mailing to
  lutz@tcs.inf.tu-dresden.de

* The official Description Logic home page is at

      http://dl.kr.org/