AISB convention 2017

  In the run up to AISB2017 convention, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid al-Rifaie ( Tu...


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


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



AISB event Bulletin Item

1st CALL FOR PAPERS: 7th Int'l Workshop on Modular Ontologies, 15 Sep 2013 Corunna, SPAIN.

held in conjunction with LPNMR 2013

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. 

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.


Paper Submission: July 5, 2013
Notification:  August 19, 2013
Camera ready: September 2, 2013
Workshop: September 15, 2013


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, prepared in PDF format and submitted no 
later than the submission deadline, through the EasyChair Submission System 

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 Find proceedings of WoMO 
2011 and 2012 at and at


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