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: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

CFP: International Conference on Logic Programming, ICLP'08 - extended deadline


                           *** EXTENDED DEADLINES ***

              24th International Conference on Logic Programming
                     Udine, Italy, December 9th-13th, 2008

Since  the  first  conference  held  in  Marseilles  in 1982, ICLP has been the
premier  international conference for presenting research in logic programming.
Contributions (techical papers, application papers, and posters)  are sought in
all areas of logic programming including but not restricted to:

* Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
   Knowledge Representation.
* Implementation: Compilation, Memory Management, Virtual Machines, Parallelism.
*  Environments:  Program  Analysis,  Program  Transformation,  Validation  and
   Verification, Debugging, Profiling, Integration.
* Language  Issues:  Extensions, Integration with Other Paradigms, Concurrency,
   Modularity,  Objects,  Coordination,  Mobility,  Higher Order, Types, Modes,
   Programming Techniques.
* Related Paradigms:  Abductive Logic Programming, Inductive Logic Programming,
   Constraint Logic Programming, Answer-Set Programming.
* Applications:   Databases,    Data   Integration  and   Federation,  Software
   Engineering,  Natural  Language  Processing,  Web  and Semantic Web, Agents,
   Artificial Intelligence, Bioinformatics

The three broad categories for submissions are:
   (1) Technical papers,  providing  novel research  contributions,  innovative
       perspectives  on the field,  and/or novel integrations  across different
   (2) Application  papers,  describing  innovative uses  of  logic programming
       technology in real-world application domains;
   (3) Posters, ideal for presenting and discussing current work, not yet ready
       for publication, for PhD thesis summaries and research project overviews.

A  separate  session  dedicated  to  the celebration of the 20th anniversary of
stable model semantics will also be part of the program.

Accepted  papers and posters will be allocated time for presentation during the
conference (with  posters having a considerably  shorter time).  At  least  one 
author  of each accepted  submission is expected to register and participate in 
the event.

In  addition  to papers and posters, the technical program will include invited
talks,  advanced  tutorials,  specialized  sessions,  workshops, and a Doctoral
Student  Consortium.  Details,  as  they  become  available  will be posted at:


Papers and posters must describe original, previously unpublished research, and
must  not  be simultaneously submitted for publication elsewhere. Emphasis will
be  placed  on  the  novelty  and innovative nature of the results (even if not
completely polished and refined).
All  submissions  will  be peer-reviewed by an international panel. Submissions
MUST contain substantial original, unpublished material.
All  submissions  must  be written in English. Technical papers and application
papers must not exceed 15 pages in the Springer LNCS format


The limit for posters is 5 pages in the same format.

The  primary  means  of  submission  will  be electronic, through the Easychair
submission system. The submission page is available at



Within  the  scope  of  the  general  call  for  papers  for  the upcoming 24th
International  Conference  on  Logic  Programming,  we  would  like to draw the
attention  of  researchers  and  practitioners  on  the  opportunity  to submit
manuscripts to the Application Track of the conference.

Application  papers,  are  expected  to  describing  complex  and/or real-world
applications  that  rely in an essential manner on the use of logic programming
technology.  Description  of  innovative  applications  as  well as engineering
solutions leveraging logic programming technology are solicited.

Papers  must describe original, previously unpublished results, and must not be
simultaneously submitted for publication elsewhere.

Submissions  MUST  contain  substantial  original,  unpublished  material.  All
submissions must be written in English. Application papers should be structured
to emphasize:

       * the application domain, in terms understandable by a layman
       * the specific problem addressed within the application domain,
         stressing importance and complexity
       * a clear discussion of the unique need for logic programming technology
         to address the problem
       * a clear description of the application developed and its evaluation.

The  proceedings  of the conference will be published by Springer-Verlag in the
LNCS  series.  All  accepted  papers  and  posters  will  be  included  in  the

The  ICLP'08  program will include several workshops. They are perhaps the best
place  for  the  presentation  of  preliminary  work, novel ideas, and new open
problems  to  a more focused and specialized audience. Workshops also provide a
venue  for  presenting  specialised  topics  and  opportunities  for  intensive
discussions   and   project   collaboration  in  any  areas  related  to  logic
programming, including cross-disciplinary areas.

The  Doctoral  Consortium  (DC)  on  Logic  Programming  is  the  4th  Doctoral
consortium  to  provide  doctoral  students with the opportunity to present and
discuss  their  research directions, and to obtain feedback from both peers and
word-renown  experts  in the field. The DC will also offer invited speakers and
panel discussions. Accepted participants will receive partial financial support
to  attend  the  event and the main conference. The best paper and presentation
from  the DC will be given the opportunity to present in special session of the
main ICLP conference.

The year 2008 marks the 20th anniversary of the publication that introduced the
stable  model semantics for logic programs with negation. The paper titled "The
stable  semantics for logic programs" by Michael Gelfond and Vladimir Lifschitz
was  presented  at  ICLP-1988.  It  was  a  momentous event that gave rise to a
vibrant  subfield of logic programming known now as the answer-set programming.
Its  distinguishing  aspects  are  close connections to the fields of knowledge
representation,   satisfiability   and  constraint  satisfaction,  ever  faster
computational tools, and a growing list of successful applications.

To  celebrate  the  stable-model  semantics, there will be a special session at
ICLP  2008  dedicated to answer-set programming. The session will feature talks
by  Michael  Gelfond  and  Vladimir  Lifschitz.  as  well  as  by  other  major
contributions   to   the   field,   presenting  personal  perspectives  on  the
stable-model  semantics,  its  impact  and  its  future.  There will be a panel
discussion,  and  regular  accepted  ICLP  papers  falling  into the answer-set
programming area will complete the program.

The conference will be held in the city of Udine, the capital of the historical
region  of  Friuli, Italy. Located between the Adriatic sea and the Alps, close
to  Venice,  Austria  and Slovenia, Udine is a city of Roman origins, funded by
Emperor  Otto  in  983.  Rich of historical sites, Udine is also famous for its
commercial  and  shopping  opportunities  and its outstanding wine and culinary

The conference is sponsored by the Association for Logic Programming (ALP). The
ALP  has  funds  to  assist  financially disadvantaged participants. The ALP is
planning  to sponsor two awards for ICLP 2008: for the best technical paper and
for the best student paper.

---------------                 Papers          Posters
Abstract submission deadline    June 6th        n/a
Submission deadline             June 13th       August 15th
Notification of authors         August 1st      September 1st
Camera-ready copy due           September 15th  September 15th
20 Years of Stable Models       TBA
Doctoral Consortium             TBA
Workshop Proposals              June 2nd
Early-bird Registration         TBA
Conference                      December 9-13, 2008

General Chair:
   Agostino Dovier (University of Udine)

Program Co-Chairs:
   Maria Garcia de la Banda (Monash University)
   Enrico Pontelli (New Mexico State University)

Workshop Chair:
   Tran Cao Son (New Mexico State University)

Doctoral Student Consortium:
   David Warren (SUNY Stony Brook)
   Tom Schrijvers (K.U.Leuven)

Publicity Co-Chairs:
   Marcello Balduccini  (Kodak Research Labs)
   Alessandro Dal Palu' (University of Parma)

Programming Competition Chair:
   Bart Demoen (K.U.Leuven)

20 Years of Stable Models:
   Mirek Truszczynski (University of Kentucky)
   Andrea Formisano (University of Perugia)

Program Committee:
   Salvador Abreu           Sergio Antoy
   Pedro Barahona           Chitta Baral
   Gerhard Brewka           Manuel Carro
   Michael Codish           Alessandro Dal Palu'
   Bart Demoen              Agostino Dovier
   John Gallagher           Michael Gelfond
   Carmen Gervet            Gopal Gupta
   Manuel Hermenegildo      Andy King
   Michael Maher            Juan Moreno Navarro
   Alberto Pettorossi       Brigitte Pientka
   Gianfranco Rossi         Fariba Sadri
   Vitor Santos Costa       Tran Cao Son
   Paolo Torroni            Frank Valencia
   Mark Wallace

Web Master:
   Raffaele Cipriano

Local Arrangements Committee:
   Alberto Casagrande
   Elisabetta De Maria
   Luca Di Gaspero
   Carla Piazza

For further information: