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

CFP: IJCAR08 Workshop --- Combining Systems for Efficient and Scalable Reasoning


Call for papers

The workshop

    Combining Systems for Efficient and Scalable Reasoning 
    	      	      (CoSyScaRe 08) 

will be held as part of the 4th Int. Joint Conference on Automated
Reasoning (IJCAR'08) in Sydney, Australia.

Workshop website:     http://www.dfki.de/cosyscare/
Workshop dates:       10/11 August 2008
Submission deadline:  31 May 2008


Large-scale reasoning can be a daunting task, so in the past this     
problem has been broken down into smaller parts to be attacked
independently. This has allowed us to build powerful theorem
provers, model generators, constraint and SAT solvers, computer
algebra systems etc. In recent years, there has been a surge of
interest in the question of how to combine reasoning systems so
that the whole is more than the sum of the parts (see e.g. Alan
Bundy's keynote talk "Cooperating Reasoning Processes: More than
just the Sum of their Parts", IJCAR 2007).

This workshop aims to bring together researchers interested in
all aspects of the combination of such systems.

On the one hand we are interested in system architectures and
implementations that maintain overall proof progress, support the
selection of suitable provers, keep the databases of individual
provers in a consistent state and allow for an incremental or
evolutionary development of complex proofs.

On the other hand, we are interested in the practical integration
of existing reasoning methods that lead to systems that are more
powerful than the sum of their parts or that are applicable to
problems outside the scope of traditional automated reasoning
approaches, like conjecture refutation, theorem discovery,
problem reformulation, etc.  

We therefore encourage the submission of papers describing the
successful application of integrated heterogeneous reasoning
systems to various intelligent tasks as well as the tools and
formalisms for heterogeneous evolutionary proof support.


Papers should address issues related to combining and integrating
reasoning systems, including but not limited to the following

    o Models and approaches to combine reasoning systems and their limitations 
    o Types of communication and interaction between reasoning systems 
    o Models and methodologies for collaborative reasoning
    o Heterogeneous logics and their proof support

 *Database and the Evolution of Proofs*
    o Common repository for reasoning systems
    o Exchange of (strategic) knowledge between reasoning systems
    o Document management and evolutionary proof development
    o Change management and reuse of (heterogeneous) proof work

 *Interaction between Systems*
    o Heuristics and criteria to distribute proof work to individual systems 
    o Translation of problems between systems for better proof support
    o Lemma speculation to adapt problems to the scope of efficient
      reasoning systems
    o Ontologies and classification of reasoning processes

 *Applications of Combined Reasoning Systems*
    o Standard problems such as theorem proving, model
      generation, machine learning, etc.
    o Pre-processing of AI problems
    o Flexible solving of ill-formed problems
    o Intelligent tasks which cannot be automated by stand-alone systems

 *Novel Approaches to Combining Reasoning Systems*
    o Multi-agent systems approaches
    o Approaches based on cognitive science models of human reasoning 
    o Approaches based on philosophical case studies
    o Parallel processing of reasoning problems
    o Combinations involving inductive, deductive and abductive reasoning methods


 Simon Colton (Imperial College London)
 Dieter Hutter (DFKI Bremen)
 Christoph Lueth (DFKI Bremen)
 Alison Pease (University of Edinburgh)
 Volker Sorge (University of Birmingham)


Submissions are divided into three categories:
- Research papers (up to 15 pages) describing original and novel research
- Papers describing Work in progress  (up to 6 pages)
- Position papers (up to 3 pages) describing the background and actual 
  research of the author(s).

Submission is via EasyChair (thanks to Andrei Voronkov).


The final versions of the accepted papers will be published in
the workshop proceedings and distributed at the workshop. These
informal proceedings will also be made accessible on the web.

We plan either a Journal special issue or a book compilation
based on extended versions of selected contributions to the

*Important dates*

   * Submission deadline        :  May 31, 2008
   * Notification of acceptance :  June 20, 2008
   * Final versions due         :  July 6, 2008
   * Workshop                   :  August 10-11, 2008

For further information see http://www.dfki.de/cosyscare/
or contact us by e-mail to cosyscare@dfki.de