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


Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


AISB Convention 2015

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 2015 Convention will be held at the Uni...


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


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


AISB YouTube Channel

The AISB has launched a YouTube channel: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

CFP: Automated Reasoning about Context and Ontology Evolution (ARCOE-10)


ARCOE-10 at ECAI-10

August 16-17, 2010
Lisbon, Portugal

The ECAI-10 Workshop on

Automated Reasoning about Context and Ontology Evolution (ARCOE-10)

held on August 16-17, 2010

at the European Conference on Artificial Intelligence (ECAI-10)

-- Description of the workshop --

Methods of automated reasoning have solved a large number of problems in
Computer Science by using formal ontologies expressed in logic. Over the
years, though, each problem or class of problems has required a different
ontology, and sometimes a different version of logic. Moreover, the
processes of conceiving, controlling and maintaining an ontology and its
versions have turned out to be inherently complex. All this has motivated
much investigation in a wide range of disparate disciplines -- from
logic-based Knowledge Representation and Reasoning to Software Engineering,
from Databases to Multimedia -- about how to relate ontologies to one

ARCOE-10 aims at bringing together researchers and practitioners from core
areas of Artificial Intelligence (Knowledge Representation and Reasoning,
Contexts, and Ontologies) to discuss these kinds of problems and relevant
results. Historically, there have been at least three different, yet
interdependent motivations behind this type of research: defining the
relationship between an ontology and its context, providing support to
ontology engineers, enhancing problem solving and communication for software

Ontology and Context.  Most application areas have recognised the need for
representing and reasoning about knowledge that is distributed over many
resources. Such knowledge depends on its context, i.e., on the syntactic
and/or semantic structure of such resources. Research on information
integration, distributed knowledge management, the semantic web, multi-agent
and distributed reasoning have pinned down different aspects of how
ontologies relate to and/or develop within their context.

Ontology Engineering.  Ontology engineers are not supposed to succeed right
from the beginning when (individually or collaboratively) developing an
ontology. Despite their expertise and any assistance from domain experts,
revision cycles are the rule. Research on the automation of the process of
engineering an ontology has improved efficiency and reduced the introduction
of unintended meanings by means of interactive ontology editors. Moreover,
ontology matching has studied the process of manual, off-line alignment of
two or more known ontologies.

Problem Solving and Communication for Agents.  Agents that communicate with
one another without having full access to their respective ontologies or
that are programmed to face new non-classifiable situations must change
their own ontology dynamically at run-time -- they cannot rely on human
intervention. Research on this problem has either concentrated on
non-monotonic reasoning and belief revision or on changes of signature,
i.e., of the grammar of the ontology's language, with a minimal disruption
to the original theory.

ARCOE-10 will provide a multi-disciplinary forum, where differences in
methodologies, representation languages and techniques are over-arched and
hopefully overcome. Accordingly, the workshop will be structured into four
tracks: three of them will focus on specific areas, the fourth one will
foster links and integration.

Track 1:  Context and Ontology
This track will select and present works about Context and Ontology, a
well-established research area that has mainly concentrated on the
relationship between contexts and ontologies for distributed information and
for the enhancement of software agents.

Track 2:  Common Sense and Non-Monotonic Reasoning for Ontologies
This track will select and present works about logic-based Knowledge
Representation and Reasoning, a classic area of AI, which since its origins
has produced remarkable results on logic-based methods for supporting
knowledge engineers and for enhancing software agents.

Track 3:  Automated Ontology Evolution
This track will select and present works about Automated Ontology Evolution,
an area which in recent years has been drawing the attention of Artificial
Intelligence and Knowledge Representation and Reasoning on the automation of
ontology evolution.

Track 4: Links and integration
This track will foster links and integration by means of invited talks and
(panel) discussions. Topics that are likely to be covered are: the
formalisation of software engineering concepts for ontology development; the
relationship between automated reasoning and information retrieval;
relationships between representation languages; relationships between
canonical domains; relationships between contexts and ontology evolution and
between Non-Monotonic Reasoning and ontology evolution.

ARCOE-10 will bring the participants to position the various approaches with
respect to one another. Hopefully, though, the workshop will also start a
process of cross-pollination and set out the constitution of a truly
interdisciplinary research-community dedicated to automated reasoning about
contexts and ontology evolution.

-- Topics --

Track 1: Context and Ontology
Submissions are welcome on the role of context and ontology in areas that
include but are not limited to the following ones:

- Information Integration
- The role of context and ontology in Distributed Reasoning and Knowledge
- The role of context and ontology in Semantic Web
- Multi-Agent Systems
- Data Grid and Grid Computing
- Pervasive Computing and Ambient Intelligence
- Peer-to-peer Information Systems
- Comparison of uses of contexts and ontologies

Track 2: Common Sense and Non-Monotonic Reasoning
Submissions are welcome on the role of common sense and non-monotonic
reasoning for ontologies in areas that include but are not limited to the
following ones:

- Ontology Debugging, Update and Merging
- Inconsistency Handling, Belief Revision and Theory Change for DL
- Uncertainty Handling, Defeasible Reasoning and Argumentation in ontologies

- Heuristic and Approximate Reasoning
- Planning and Reasoning about Action and Change on the Semantic Web
- Rules and Ontologies
- Temporal and Spatial Reasoning

Track 3: Automated Ontology Evolution
Submissions are welcome on the role of automated ontology evolution in areas
that include but are not limited to the following ones:

- Ontology fault diagnosis and repair
- Problem Solving
- Agent Communication
- Persistent Agents in Changing Environment
- Multimedia on the Web
- IT and Automated Reasoning

-- Attendance --

Authors will be selected on significance of their submission and will be
preferred to simple attendees. Attendees will be selected on a
first-come-first-served basis. Please check for
registration procedure and fees.

-- Submission Requirements and Dates --

ARCOE-10 will accept submissions of long abstracts, for both long
presentations and poster presentations. The distinction during the
selection-phase will be based on the significance and the quality of
submissions as well as oriented towards fostering cross-pollination and
discussions during the event. All selected abstracts will be included in the
Working Notes. Authors are kindly requested to provide keywords upon
submission. The format for submissions is the same as that of ECAI-10.
Please check for the style files. Submissions
should be no longer than 2 pages and in PDF format. The possibility is being
considered of publishing extended versions of the best works from the
workshop in a special issue of a peer-reviewed journal.

Abstract submission:      May 7, 2010
Notification:                      June 7, 2010
Camera ready:                June 21, 2010
Early registration:           T.B.A.
Late registration:            T.B.A.
Workshop:                       August 16-17, 2010

-- Submit to --

Please submit to

-- Workshop Co-Chairs --

Alan Bundy
School of Informatics, University of Edinburgh, Informatics Forum, 10
Crichton Street, Edinburgh EH8 9AB, UK.
Tel: +44-131-650-2716, Fax No.: +44-131-650-6899

Jos Lehmann (primary contact)
School of Informatics, University of Edinburgh, Informatics Forum, 10
Crichton Street, Edinburgh EH8 9AB, UK.
Tel: +44-131-650-2725, Fax No.: +44-131-650-6899

Guilin Qi
School of Computer Science and Engineering, Southeast University, 211189,
Jiangning District, Nanjing, China.
Fax: +86-25-52090880

Ivan Jos Varzinczak
Meraka Institute, Meiring Naude Road, CSIR, 0001 Pretoria, South Africa.
Tel: +27-12-841-25-94

-- Program Committee --

- Grigoris Antoniou (FORTH, Greece)
- Franz Baader (TU Dresden, Germany)
- Richard Booth (University of Luxembourg and Mahasarakham University,
- Paolo Bouquet (University of Trento, Italy)
- Jerome Euzenat (INRIA Grenoble Rhone-Alpes, France)
- Giorgos Flouris (FORTH, Greece)
- Chiara Ghidini (FBK Fondazione Bruno Kessler, Italy)
- Deborah McGuinness (Rensselaer Polytechnic Institute, USA)
- Thomas Meyer (Meraka Institute, South Africa)
- Maurice Pagnucco (The University of New South Wales, Australia)
- Valeria de Paiva (Cuil Inc., USA)
- Jeff Pan (University of Aberdeen, UK)
- Dimitris Plexousakis FORTH, Greece)
- Luciano Serafini (FBK Fondazione Bruno Kessler, Italy)
- Renata Wassermann (Universidade de Sao Paulo, Brazil)