Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


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

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

Notice

AISB event Bulletin Item

FINAL CALL FOR PAPERS: 7th Int'l Workshop on Modular Ontologies, September, 2013, Corunna, SPAIN

http://www.iaoa.org/womo/2013.html

WoMO-13


========================================================  
      +++ STUDENT TRAVEL GRANTS AVAILABLE +++


   +++ EXTENDED SUBMISSION DEADLINE: July 12, 2013 +++
========================================================


+++ Following requests, we have extended the submission deadline to July 12, 2013. +++


INVITED SPEAKERS:


* Till Mossakowski, University of Bremen, Germany


Till Mossakowski is extraordinary professor of computer science at the University of Bremen. 
He is a leading international figure in modular and heterogeneous specification of logical theories
and ontologies.


* George Vouros, University of Piraeus, Greece


George Vouros is a professor in the Department of Digital Systems at the University of Piraeus. 
His research work spans from knowledge representation and reasoning, focusing on the engineering, 
acquisition, evolution, alignment, and coordination of ontologies, to multi-agent systems, focusing
on agent organizations and their adaptation, agents' collaboration and coordination, and 
architectures of collaborative agents.

http://www.iaoa.org/womo/2013.html


MODULARITY, studied for years in software engineering, allows mechanisms for easy and flexible 
reuse, generalization, structuring, maintenance, design patterns, and comprehension. In formal 
and applied ontology, modularity is central to reducing the complexity of designing and 
understanding ontologies, and to facilitating ontology verification, reasoning, development, 
maintenance and integration.


Recent research on ontology modularity shows substantial progress in foundations of modularity, 
techniques of modularization and modular development, distributed reasoning and empirical 
evaluation. These results provide a solid foundation and exciting prospects for further research 
and development.


The workshop continues a series of successful events that have been an excellent venue for 
practitioners and researchers to discuss latest and current work. The most recent WoMOs were 
held at ESSLLI 2011 and FOIS/ICBO 2012. This time WoMO is organised as a workshop of LPNMR 2013: 
the 12th International Conference on Logic Programming and Non-monotonic Reasoning. LPNMR is well-established as the main conference in the field. 



The workshop will be open to all attendants of LPMNR'13 and its workshops. Workshop speakers 
will be required to register for WoMO via the LPMNR'13 website. Registration for WoMO only will 
be possible.


STUDENT TRAVEL GRANTS: With the generous support of the IAOA, we are happy to provide funding 
to students. Priority will be given to student presenters and authors of accepted papers. More 
details will be published at a later date.


TOPICS include, but are not limited to:


- What is modularity?: kinds of modules and their properties; modules vs. contexts; design 
patterns; granularity of representation; 


- Logical/foundational studies: modular ontology languages; reconciling inconsistencies across 
modules; formal structuring of modules; heterogeneity; hybrid theories; intertheory relations 
(conservativity, interpretability, strong equivalence, inseparability, etc.)


- Algorithmic approaches: distributed and incremental reasoning; modularization and module 
extraction; sharing, linking, reuse; privacy; complexity of reasoning; implemented systems; 


- Evaluation of modularizations: case studies or other analyses of ontology modularizations 
(why it is modularized in a certain way, what does it address, how can it be improved); how to 
measure the adequacy of a modularization; comparison of modularizations with respect to 
philosophical, logical, reasoning, cognitive, or social aspects;


- Applications: semantic web; life sciences; earth sciences; bio-ontologies; natural language 
processing; space and time; ambient intelligence; social intelligence; technology and engineering; 
collaborative ontology development and ontology versioning.

IMPORTANT DATES:


Paper Submission: July 12, 2013 (extended)
Notification:  August 19, 2013
Camera ready: September 2, 2013
Workshop: September 15, 2013


SUBMISSION GUIDELINES:


We welcome submissions on modularity in a broad sense. The workshop is open to papers of 
theoretical or practical nature from various disciplines. Submissions can be long papers (11 pages)
 or short papers (5 pages), formatted according to Springer LNCS style 
(see http://www.springer.com/comp/lncs/Authors.html), prepared in PDF format and submitted no 
later than the submission deadline, through the EasyChair Submission System 
(see http://www.easychair.org/conferences/?conf=womo2013).


Submitted papers will be peer-reviewed by members of the program committee. Accepted papers will 
be made available in the proceedings to be published electronically in the CEUR Workshop 
Proceedings series (see http://www.ceur-ws.org). Proceedings of WoMO 2011 and 2012 can be found 
at http://www.booksonline.iospress.nl/Content/View.aspx?piid=20369 and at 
http://ceur-ws.org/Vol-875/.


WORKSHOP CHAIRS:


Torsten Hahmann, University of Toronto, Canada
David Pearce, Universidad Politecnica de Madrid, Spain
Chiara Del Vescovo, University of Manchester, UK
Dirk Walther, TU Dresden, Germany


PROGRAM COMMITTEE:


Kenneth Baclawski, Northeastern University, Boston, MA, USA 
Eva Blomqvist, Linkping University, Sweden
Alex Borgida, Rutgers University, USA
Stefano Borgo, Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy
Gerhard Brewka, University of Leipzig, Germany
Mike Dean, Raytheon BBN Technologies, Ann Arbor, MI, USA
Thomas Eiter, Technical University of Vienna, Austria
Pawel Garbacz, Catholic University of Lublin, Poland
Dagmar Gromann, Vienna University of Economics and Business, Austria
Michael Gruninger, University of Toronto, Canada
Robert Hoehndorf, University of Cambridge, UK
Dieter Hutter, DFKI GmbH, Bremen, Germany
Tomi Janhunen, Aalto University, Helsinki, Finland
Pavel Klinov, University of Ulm, Germany
Christoph Lange, University of Birmingham, UK
Thomas Meyer, CSIR Meraka Institute, Pretoria, South Africa
Leo Obrst, MITRE, McLean, VA, USA
Marco Schorlemmer, IIIA-CSIC, Barcelona, Spain
Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy
Dmitry Tsarkov, The University of Manchester, UK