Mark Bishop on CITY ...
"During the last decade robots have begun to permeate everyday life (robotic lawn mowers; floor cleaners, autonomous cars etc); equally, closely related technologies are beginning to permeate the military– already US naval sh...
Read More...
ICO Alan Turing Lect...
 To celebrate the 100 year anniversary of the birth of the world renowned mathematician, code breaker, logician and computer scientist, the first ICO Alan Turing Lecture was held at the Museum of Science and Industry in Manchest...
Read More...
AISB Workshop: Senso...
Poster: http://aisb.org.uk/media/files/stw2012.pdf (media/files/stw2012.pdf) A day of discussion on the Sensorimotor account of Perception, Consciousness  and Robotics, its development and contemporary state. The first in a seri...
Read More...
Ms Pac-Man vs Ghosts...
This year's Ms Pac-man vs Ghosts Competition is now open for submissions. The competition allows you to develop AI controllers for the classical arcade game Ms Pac-Man. However, this year the competition takes a unique look at the...
Read More...
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...
Read More...
New AISB Website
Happy New Year! Welcome to the new AISB website. Over the coming weeks and months we will be making additional changes to the website, introducing some new content and so on. Please check back regularly to see what's new! During...
Read More...
AISB Website Beta
The AISB's new website is now gone beta. Some of the new features member's can look forward to enjoying will be better integration with the AISB LinkedIn group, frequent news updates, a new member's section and up-to-date AI med...
Read More...
AISB 2011 Convention
The AISB'11 Convention (http://www.aisb.org.uk/convention/aisb11/) was held from 4-7 April at York, organised by Dimitar Kazakov and George Tsoulas.
Read More...
Lighthill Debates
The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video Â
Read More...
Alan Turing Year
2012 marks the centenary of Alan Turing's birth. Alan Turing Year (http://www.turingcentenary.eu/), seeks to bring together news of all the events and organisations which will be marking the occasion.
Read More...
Notice
AISB event Bulletin Item
CALL FOR PAPERS: Workshop on Description Logics, 13-16 July 2011, SPAIN
24th International Workshop on Description Logics (DL 2011), Barcelona, Spain
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.
==IMPORTANT DATES==
Paper submission deadline: May 1, 2011
Notification of acceptance: June 5, 2011 Camera ready papers due: June 19, 2011
Workshop: July 13-16, 2011
==WORKSHOP SCOPE==
We invite contributions on all aspects of description logics,such
as:
* 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 and nonmonotonic 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; and
* tools that exploit description logic reasoning, such as ontology
editors, database schema design, query optimization, and data
integration tools.
==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 May 1, 2011.
The length of submissions is limited to 11 pages, including title and abstract (can be omitted if necessary), and list of references.
Papers must be submitted in PDF format via EasyChair; see
http://www.easychair.org/conferences/?conf=dl2011
The workshop proceedings will be made available electronically in the CEUR Workshop Proceedings series; see http://www.CEUR-ws.org/
Accepted submissions will be selected for either oral or poster presentation; however, no distinction will be made in the workshop
proceedings: all accepted papers can be 11 pages long.
==INVITED SPEAKERS==
Marcelo Arenas, Pontificia Universidad Católica de Chile:
"Exchanging more than Complete Data"
Gert Smolka, Saarland University:
"Incremental decision procedures for modal logic with nominals
and eventualities"
Heiner Stuckenschmidt, Universität Mannheim:
"A Little Logic Goes a Long Way - Logical Reasoning in Web Data
Integration and Ontology Learning"
==WORKSHOP CHAIRS==
Conference Chair: Riccardo Rosati
Sapienza Università di Roma, Italy
Program co-Chair: Sebastian Rudolph
Karlsruhe Institute of Technology, Germany Program co-Chair: Michael Zakharyaschev
Birkbeck College, London, UK
Local Organization Chair: Peter Mika
Yahoo! Research Barcelona, Spain
==PROGRAM COMMITTEE==
Carlos Areces
Alessandro Artale
Meghyn Bienvenu
Alex Borgida
Andrea Cali
Diego Calvanese
Bernardo Cuenca Grau
Giuseppe De Giacomo
Achille Fokoue
Enrico Franconi
Birte Glimm
Rajeev Gore
Stijn Heymans
Pascal Hitzler
Ian Horrocks
Ullrich Hustadt
Yevgeny Kazakov
Boris Konev
Roman Kontchakov
Markus Krötzsch
Thomas Lukasiewicz
Carsten Lutz
Thomas Meyer
Maja Milicic
Boris Motik
Ralf Möller
Magdalena Ortiz
Jeff Z. Pan
Bijan Parsia
Peter Patel-Schneider
Ulrike Sattler
Stefan Schlobach
Luciano Serafini
Evren Sirin
Viorica Sofronie-Stokkermans
Giorgos Stamou
Umberto Straccia
David Toman
Anni-Yasmin Turhan
Grant Weddell
Frank Wolter
==FURTHER INFORMATION==
Information about registration, travel information, accommodation, and so on will be made available on the DL 2011 homepage:
http://dl.kr.org/dl2011/
Enquiries about the DL 2011 workshop can be made by contacting the organizing committee: dl2011@easychair.org
The official Description Logic home page is at http://dl.kr.org/ |



