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...


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...


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 ...


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


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...


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

CFP: Workshop on Description Logics (DL'07)


 *20th* International Workshop on Description Logics (DL'07)
                            CALL FOR PAPERS
            Brixen-Bressanone (near Bozen-Bolzano), Italy
                            8-10 June 2007


	 NEW paper summary submission DEADLINE: 26 MARCH 2007
	     NEW paper submission DEADLINE: 28 MARCH 2007

The 2007  edition of the DL workshop  will take place from  the 8th to
the  10th  of June  2007  in  Brixen-Bressanone (near  Bozen-Bolzano),
Italy.  This is 80 Km south of Innsbruck (where the ESWC-07 conference
will  take place  immediately  before); direct  train connections  run
every hour between Innsbruck and Brixen-Bressanone.  Arrived this year
to its 20th  edition, DL is the major annual  event of the description
logics  research community.  The  workshop is  thought as  a gathering
forum to meet, discuss and  exchange experiences among all those, both
in the academy and industry,  who are interested in description logics
and in all their broad range of applications.

Participants in the workshop will enjoy the invited talks by:

     * Hector Levesque
     * Alex Borgida
     * Renee J. Miller

Students with accepted papers  may apply  to grants supporting travels
within Europe (300 EUR) or from outside Europe (500 EUR).



Summary submission deadline: 26 March 2007, 11:59pm CET
Paper submission deadline:   28 March 2007, 11:59pm CET
Notification of acceptance:  27 April 2007
Camera ready papers due:     18 May 2007
DL'07 Workshop:              8-10 June 2007



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

-- Foundations   of  description   logics,   including  distinguishing
    features of  description logics  with respect to  other formalisms,
    expressive power of description logics, decidability and complexity
    of reasoning, and 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

-- Use of description logics in  applications or areas such as natural
    language,  planning,   learning,  databases,  document  management,
    semistructured data, ontology  design, ontology languages, ontology
    engineering, 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.



We invite submissions  of technical papers as extended  abstracts of 8
pages,  and submissions  of statements  of interest  of 2  pages.  The
technical papers will be judged according to their scientific quality,
while the  statements of  interest will be  judged according  to their
scientific  relevance.   Accepted  papers  will  be  included  in  the
workshop proceedings  as extended  abstract (8 pages),  regular papers
(12  pages), or  as statements  of  interest (2  pages). The  workshop
proceedings will  be distributed  in paper form  at the  workshop, and
will be made available electronically in the CEUR Workshop Proceedings
series.  Papers should follow the formatting and submission guidelines
to be found at the workshop submissions web page, and should arrive by
the paper submission deadline stated above.



PC chairs:

Volker Haarslev (chair of the Systems and Tools area)
Domenico Lembo (chair of the Database and Information Systems area)
Boris Motik (chair of the Ontologies and Semantic Web area)
Anni-Yasmin Turhan (chair of the Foundations and Theory area)

PC members:

     * Aditya Kalyanpur
     * Alessandro Artale
     * Alex Borgida
     * Andrea Cali'
     * Bernardo Cuenca Grau
     * Bijan Parsia
     * Birte Glimm
     * Carlos Areces
     * Carsten Lutz
     * David Toman
     * Evren Sirin
     * Francesco Donini
     * Frank Wolter
     * Franz Baader
     * Grant Weddell
     * Ian Horrocks
     * Luciano Serafini
     * Luigi Palopoli
     * Maarten Marx
     * Maurizio Lenzerini
     * Michael Zakharyaschev
     * Peter F. Patel-Schneider
     * Ralf Kuesters
     * Ralf Moeller
     * Riccardo Rosati
     * Rob Shearer
     * Stefan Schlobach
     * Thomas Eiter
     * Thorsten Liebig
     * Ulrike Sattler
     * Umberto Straccia
     * Yevgeny Kazakov


Organising COMMITTEE

Alessandro Artale   
Raffella Bernardi   
Andrea Cal         
Diego Calvanese     , co-chair
Jos de Bruijn       
Enrico Franconi     , co-chair
Rosella Gennari     
Davide Martinenghi  
Werner Nutt         
Sergio Tessaris     , co-chair
David Toman         



The  workshop  will  take  place  in  the  charming  town  of  Brixen-
Bressanone,  near Bozen-Bolzano  in South  Tyrol at  the heart  of the
Dolomites  - the  pink  mountains of  the  Alps.  Like  Bozen-Bolzano,
Brixen-Bressanone has always been a crossroads of various cultures and
it  is  distinguished  by  its  mediaeval  Gothic  architecture.   The
mediaeval alleys and the wealth  of historical references are an ideal
starting point for excursions  into the countryside and for practising
a whole  variety of sports  and leisure activities.   Leaving directly
from the town  centre delegates can set off on their  bikes or on foot
for   excursions   into   the   surrounding   hills   and   mountains.
Brixen-Bressanone is on the main arterial road between Austria/Germany
and Italy and  it is easily accessible from  everywhere by train, car,
bus or plane.