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

CALL FOR PAPERS: Description Logics, July 23--26, 2013, Ulm, GERMANY


(DL 2013)

     Co-located with ORE 2013; followed by RR 2013, Reasoning Web 2013

The DL workshop is the major annual event of the description logic
research community. It is the forum at which those interested in
description logics, both from academia and industry, meet to discuss
ideas, share information and compare experiences.

The workshop will be held at the University of Ulm, Campus East, from
July 23rd to July 26th, 2013.

In this year, DL workshop will be collocated with the 2nd OWL Reasoner
Evaluation Workshop (ORE), which will take place on July 22nd in Ulm,
Germany. Furthermore, the International Conference on Web Reasoning
and Rule Systems (RR), will take place in Mannheim (1:40 min by train
from Ulm) directly subsequent to the DL workshop (July 27th - 29th),
and the 9th Reasoning Web Summer School (July 30th - Aug 2nd) also in

Abstract submission deadline:   April 05, 2013
Paper submission deadline:      April 12, 2013
Acceptance notification:          May 27, 2013
Camera ready copies:             June 09, 2013
Early registration:              June 24, 2013
Workshop:                     July 23-26, 2013

We invite contributions on all aspects of description logics,
including but not limited to:

     * Foundations of description logics:

       decidability and complexity of reasoning, expressive power,
       novel inference problems, inconsistency tolerance,
       reasoning techniques, and modularity aspects

     * Extensions of description logics:

       closed-world and nonmonotonic reasoning, defaults, epistemic
       reasoning, temporal and spatial reasoning, procedural knowledge,
       query languages

     * Integration of description logics with other formalisms:

       object-oriented representation languages, database query
       languages, constraint-based programming, logic programming, and
       rule-based systems

     * Applications and use areas of description logics:

       ontology engineering, ontology languages, databases,
       ontology-based data access, semi-structured data, document
       management, natural language, learning, planning, Semantic Web,
       and cloud computing

     * Systems and tools around description logics:

       reasoners, software tools for and using description logic
       reasoning (e.g. ontology editors, database schema design, query
       optimization, and data integration tools), implementation and
       optimization techniques, benchmarking, evaluation, modeling

* Giuseppe De Giacomo, Sapienza Universita di Roma, Italy
* Michel Dumontier, Carleton University, Ottawa, Canada
* Ian Pratt-Hartmann, University of Manchester, UK

* Submissions are limited to 11 pages, excluding references, and
   should follow the Springer LNCS style guide (http://bit.ly/oPRW8y).
* There is no page limit on the list of references.
* A clearly marked appendix with additional proofs or evaluation data
   can be appended; it will be read at the discretion of the reviewers.
* Submission page: http://www.easychair.org/conferences/?conf=dl2013
* Accepted papers will be made available electronically in the
   CEUR Workshop Proceedings series (http://www.CEUR-ws.org/).
* Accepted submissions will be selected for either oral or poster
   presentation, which will be clearly distinguished in the proceedings;
   however, the length of all accepted papers can be the same.

* Thomas Eiter, Vienna University of Technology (Program co-Chair)
* Birte Glimm, University of Ulm, Germany (Workshop co-Chair)
* Yevgeny Kazakov, University of Ulm, Germany (Workshop co-Chair)
* Markus Kroetzsch, University of Oxford, U.K. (Program co-Chair)

* Alessandro Artale, Free University of Bolzano-Bozen
* Franz Baader, TU Dresden
* Meghyn Bienvenu, CNRS & Universit Paris-Sud
* Alex Borgida, Rutgers University
* Diego Calvanese, Free University of Bozen-Bolzano
* Bernardo Cuenca Grau, University of Oxford
* Enrico Franconi, Free University of Bozen-Bolzano
* Pascal Hitzler, Wright State University
* Matthew Horridge, Stanford University
* Ian Horrocks, University of Oxford
* Pavel Klinov, University of Ulm
* Boris Konev, University of Liverpool
* Roman Kontchakov, Birkbeck College
* Jens Lehmann, University of Leipzig
* Thorsten Liebig, derivo GmbH
* Carsten Lutz, University of Bremen
* Deborah McGuinness, Rensselaer Polytechnic Institute
* Thomas Meyer, UKZN and CSIR Meraka
* Ralf Mller, Hamburg University of Technology
* Linh Anh Nguyen, University of Warsaw
* Magdalena Ortiz, Vienna University of Technology
* Bijan Parsia, University of Manchester
* Peter Patel-Schneider, Nuance Communications
* Rafael Pealoza, TU Dresden
* Guilin Qi, Southeast University
* Riccardo Rosati, Sapienza Universita' di Roma
* Sebastian Rudolph, Karlsruhe Institute of Technology
* Renate A. Schmidt, University of Manchester
* Ulrike Sattler, University of Manchester
* Thomas Schneider, University of Bremen
* Luciano Serafini, Fondazione Bruno Kessler
* Bar?? Sertkaya, SAP Research Center Dresden
* Inanc Seylan, Universty of Bremen
* Mantas Simkus, Vienna University of Technology
* Giorgos Stamou, National Technical University of Athens
* Giorgos Stoilos, National Technical University of Athens
* Umberto Straccia, Institute of Information Science and Technologies
* David Toman, University of Waterloo
* Dmitry Tsarkov, The University of Manchester
* Anni-Yasmin Turhan, TU Dresden
* Zhe Wang, University of Oxford
* Kewen Wang, Griffith University
* Grant Weddell, University of Waterloo
* Frank Wolter, University of Liverpool
* Michael Zakharyaschev, Birkbeck College

* Information about submission, registration, travel information, etc.,
   is available on the DL 2013 homepage: http://dl.kr.org/dl2013
* Enquiries about the DL 2013 workshop can be made by contacting the
   organizing committee
* The official Description Logic home page is at http://dl.kr.org/

Dr. Markus Kroetzsch
Department of Computer Science, University of Oxford
Room 306, Parks Road, OX1 3QD Oxford, United Kingdom
+44 (0)1865 283529               http://korrekt.org/