8:00

Registration

8:30

Opening Session (Theatre Room)

Dean of Faculty of Technology, Chair of AISB, Chair of AISB2010 Convention

9:00

Welcome

Little green men from Mars and other thought experiments in philosophy of mathematics

Alexandre Borovik

If learning Math requires a teacher, where did the first teachers come from?

Aaron Sloman

Short introduction

Memory for  Virtual Agents and Robots

Timing in episodic memory: virtual characters in action

Ondřej Burkert, Cyril Brom, Rudolf Kadlec and Jiří Lukavský

Extending Soar with dissociated symbolic memories

Nate Derbinsky and John E. Laird

Introduction to SNAMAS 2010

What is power? Articulating perspectives from sociology, multi-agents systems and network analysis

M. Mailliard

Optimizing the core computation with social networks

L. Sauro and S. Villata

Dialog systems and HCI/HRI architectures

An emotional humanoid partner

S.M. Anzalone,
F. Cinquegrani, R. Sorbello, A. Chella

Learning a grounded language model for human-robot interaction

Antonio Chella, Haris Dindo and Daniele Zambuto

Facial expressions for communicating user feedback

Savandie Abeyratna, Galina Paramei, Hissam Tawfik, Rentian Huang

Forgetful and emotional: recent progress in development of dynamic memory management system for conversational agents

Michal Ptaszynski, Pawel Dybala, Rafal Rzepka, Kenji Araki

Connecting the dots my own way: Sphex-test and flexibility in artificial cognitive agents

Juan Camilo Espejo-Serna

Causal and communal factors in a comprehensive test of intelligence

Paul Schweizer

Qualia Turing Test - Designing a test for the phenomenal mind

Alessio Plebe and Pietro Perconti

10:30

Coffee Break

11:00

Geometric proof checking with Diagrams

John Mumma

Interpreting Naproche-An algorithmical approach to the derivation-indicator view

Merlin Carl and Prof. Dr. Peter Koepke

Applying the GC Combined Reasoning Framework to Mathematical Discovery

John Charnley

Memory for  Virtual Agents and Robots (cont’d)

Short- and long-term adaptation of visual place memories for mobile robots

Feras Dayoub, Tom Duckett and Grzegorz Cielniak

I can (almost) remember what you are doing: from actions to tasks

Rudolf Kadlec and Cyril Brom

An object-based memory for supporting attentive virtual agents

Christopher Peters

Bruce Edmonds

Language creativity, humor and metaphors

Associative text categorisation rules pruning method

Hussein Mansour, Wa’el Musa Hadi, Lee MCclusky, Fadi Thabtah

Metaphorical and contextual affect detection in an intelligent agent

Li Zhang

Chain of events: multi-stage approach to humor and emotions in HCI

Pawel Dybala, Michal Ptaszynski, Rafal Rzepka, Kenji Araki

Evaluation of a humor generation system by real world application with ¥500,000 to win

Jonas Sjobergh, Kenji Araki

Considering social and emotional artificial intelligence

Marc Schroeder and Gary McKeown

Actions and observations - demonstrating aspects of understanding in a simple world

Chris White and David Bell

Towards a staged developmental intelligence test for machines

Ed Keedwell

12:30

Lunch + Keynote talk

(at Phoenix Square)

14:00

Dynamism in mathematical thought (where there shouldn't be any): A study of gesture in the production of mathematical proof

Tyler Marghetis, Rafael Núñez

The body in Renaissance arithmetic: from mnemonics to embodied cognition

Albrecht Heeffer

Origins of spatial-numerical bias

Martin Fischer

Interpretation is an action: understanding diagrams by manipulating them

Valeria Giardino

Memory for  Virtual Agents and Robots (cont’d)

Human-like memory systems for interactive robots: desiderata and two case studies utilizing grounded situation models and online social networking

Nikolaos Mavridis and Michael Petychakis

Memory models and algorithms

Comparing forgetting algorithms for artificial episodic memory systems

Andrew Nuxoll, Dan Tecuci, Wan Ching Ho and Ningxuan Wang

Exploring the space of computational memory models

Nate Derbinsky and Nicholas A. Gorski

A process based on the fuzzy set theory for evaluation of link prediction methods

E. Alves da Silva and M. Carvalho de Andrade

Social aspects of video recording

A. Basso, M. Milanesio and A. Panisson

Agent-based economic modeling with finite state machines

I. Gnilomedov and S. Nikolenko

Ethical reasoning, emotions and question generation

Political question generation method using minutes of municipal councils

Yasutomo Kimura, Hideyuki Shibuki, Keiichi Takamaru, Tetsuro Kobayashi, Tatsunori Mori

Machine learning and affect analysis against cyber-bullying

Michal Ptaszynski, Pawel Dybala, Tatsuaki Matsuba, Fumito Masui, Rafal Rzepka, Kenji Araki

An idea of a web-crowd based moral reasoning agent

Radoslaw Komuda, Michal Ptaszynski , Rafal Rzepka, Kenji Araki

Summary and Discussion Panel

How to detect an android

Antoni Diller

Workshop groups activity – Toward new test proposals

15:30

Coffee Break

16:00

Where axioms come from

Dirk Schlimm

Mathematical argumentation and the Toulmin model

Brendan Larvor

Memory models and algorithms (cont’d)

Forgetting and generalisation in memory modelling for robot companions: a data mining approach

Patricia A. Vargas, Ruth Aylett, Mei Yii Lim, Wan Ching Ho, Sibylle Enz and Alex A. Freitas

Open discussion

The hidden path from delegation to obligations: a logical analysis

E. Lorini

Power laws and levels of abstraction in understanding legal systems

U. Pagallo

Temporal reasoning and normative MAS

C. Smith, A. Rotolo and G. Sartor

Applying concept acquisition to dialogue generation

Brandon Rohrer

Workshop groups activity – Toward new test proposals (cont’d)

17:30

Sessions end

Workshop Dinner (TBA)

8:30

Registration

9:00

Types of Generality in and around Mathematics and Logics

Ivor Grattan-Guinness

Skills and Mathematical Knowledge

Benedikt Loewe, Thomas Müller

Full papers

Welcome

Daniela Romano and David Moffat

A hierarchical task network planner for pathfinding in real-time strategy games

Munir Naveed, Diane Kitchin and Andrew Crampton

A flexible bio-affective gaming interface

Jorge Arroyo-Palacios and Daniela M. Romano

Introduction to NorMAS 2010

Contract argumentation in virtual organizations

Criado, Heras, Argente, and Julian

Norm emergence in regulatory compliance

Burgemeestre, Hulstijn and Tan

From ants to robots: a decentralised task allocation model for a swarm of robots

Sifat Momen & Amnada J.C. Sharkey

Application of CACS approach for distributed logistic systems

Sami Al-Maqtari, Habib Abdulrab & Eduard Babkin

Swarm intelligence to distribute simulations in computational ecosystems

Antoine Dutot, Damien Olivier & Guilhelm Savin

Don't improve the Turing Test, abandon it

Drew McDermott

From the buzzing in Turing’s head to machine intelligence contests

Huma Shah and Kevin Warwick

The original test: it's harder than you might think

Darren Abramson

10:30

Coffee Break

11:00

Analogical Reasoning, Resource Allocation and Task-Engagement in Individuals Differing in Mathematical Abilities

Elke van der Meer, Boris Bornemann, Jan Ries, Judith Horn, Manja Foth, Isabell Wartenburger

Singing numbers... in cognitive space

Martin Fischer et al.

The effects of literacy on symbolic and non-symbolic numerical magnitude processing in literate and illiterate Arabic speakers

Samar Zebian & Daniel Ansari

This is an opportunity for anyone who would like to speak informally. This may be about a PhD proposal, report on work in progress, thoughts on the workshop, etc. We will arrange this on the fly at the workshop. If you would like to speak, please arrange it with Alison, Markus or Alan prior to the session.

AI performance

Improving games' AI performance using grouped hierarchical level of detail

David Osborne and Patrick Dickinson

Group emotion modelling and the use of middleware for virtual crowds in video-games

Olivier Szymanezyk and Grzegorz Cielniak

Digital Footprints – recording bot movement and behaviour to improve AI opponents in FPS games

Thomas Welsh, Alastair Hebson and David C. Moffat

Non-taking2 up as a normative behavior

Saillard

An analysis of norm emergence in Axelrod’s Model

Mahmoud, Griffiths, Keppens and Luck

Modelling the social fabric for normative NPCs in MMOGs

Johansson and Verhagen

Tutorial Session, in Theatre Room

Exactly solved models for collective behaviour and complex systems — Part 1

Gérard H.E. Duchamp

Panel Session

Computer system that likes chess   

Pawel Dybala, Rafal Rzepka and Kenji Araki

Man, machine, and interpretation. Donald Davidson on Turing’s test

Stefan Riegelnik

Some misconceptions regarding the Turing Test 

Hugh Loebner

12:30

Lunch + Keynote talk

(at Phoenix Square)

14:00

Peer review and knowledge by testimony in mathematics

Benedikt Loewe, Christian Geist, Bart Van Kerkhove

Rationale of the mathematical joke

Andrew Aberdein

Player modeling

AEINS: The role of interactive narrative in fostering character education

Rania Hodhod, Daniel Kudenko and Paul Cairns

Using a cognitive architecture for opponent target prediction

Simon Butler and Yiannis Demiris

Towards automatic player behaviour characterisation using multiclass-linear discriminant analysis

Robin Baumgarten

The uniqueness of normative behaviour

Corinna Elsenbroich

Tutorial Session, in Theatre Room

Exactly solved models for collective behaviour and complex systems — Part 1

Gérard H.E. Duchamp

Have a chat with sensitive artificial listeners

Marc Schröder, Sathish Pammi, Roddy Cowie, Gary McKeown, Hatice Gunes, Maja Pantic, Michel Valstar, Dirk Heylen, Mark ter Maat, Florian Eyben, Björn Schuller, Martin Wöllmer, Elisabetta Bevacqua, Catherine Pelachaud and Etienne de Sevin

A proposed replacement for the Turing Test

Doug Samuelson

Report back from group activities on Monday

15:30

Coffee Break

16:00

Panel session

Demo and Posters Session

(see * below for presenters)

AI for game design

Procedural content generation and level design for computer games

Simon Cooper, Abdennour El Rhalibi, Madjid Merabti and Jon Wetherall

Evolving pixel shaders for the prototype video game Subversion

Andrew Howlett, Simon Colton and Cameron Browne

Discussion session – the future of NorMAS

Tutorial Session, in Theatre Room

Aldebaran Robotics

Panel discussion

17:30

Sessions end

8:30

Registration

9:00

General introduction and welcome

Jackie Chappell (Chair)

The design-based approach to the study of mind

Aaron Sloman

AI-inspired biology: does AI have something to contribute to biology?

Jackie Chappell and Susannah Thorpe

Opening and welcome

Multi-modal Human-Robot Interaction

Expressive gestures displayed by a humanoid robot during a storytelling application

Catherine Pelachaud, Rodolphe Gelin, Jean-Claude Martin and Quoc Anh Le

Mirror my emotions! Combining facial expression analysis and synthesis on a robot

Stefan Sosnowski,  Christoph Mayer, Kolja Kühnlenz and Bernd Radig

Reducing speech collisions by using an artificial subtle expression in a decelerated spoken dialogue – Should communication robots respond quickly?

Kotaro Funakoshi, Kazuki Kobayashi, Mikio Nakano, Takanori Komatsu and Seiji Yamada

Evaluation of robot body movements supporting communication

Helge Hüttenrauch, Cristian Bogdan, Anders Green, Kerstin Severinson Eklundh, Dominik Ertl, Jürgen Falb, Hermann Kaindl, Michael Göller

Discussion

Alan Bundy

Opening address

EIS Methodology 1

A structure evolved learning method for Mamdani fuzzy systems

Di Wang, Xiao-Jun Zeng and John Keane

Dynamic analysis of the participatory learning algorithm

Elton Lima, Rosangela Ballini, Fernando Gomide

The need for benchmarks and meta-models in evolving systems

Katharina Tschumitschew and Frank Klawonn

10:30

Coffee Break

11:00

Why can't we build robots that are as clever as crows?

Murray Shanahan

The logic of robotics inspired biology

Martin Hülse and Mark Lee

2-minute poster announcements

Design Perspectives

On making robots invisible-in-use

Leila Takayama

Discussion

Expressive robots and expressive interaction with robots: a design perspective

Patrizia Marti

Discussion

Automatizing the evaluation of model matching systems

Kelly Garces, Wolfgang Kling and Frederic Jouault

Recommendations for better quality ontology matching evaluations

Aliaksandr Autayeu, Vincenzo Maltese and Pierre Andrews

The role of taxonomy properties in information content metrics

Raul Ernesto Menendez-Mora and Ryutaro Ichise

EIS Methodology 2

Cascaded multi-resolution spline-based fuzzy neural network

Vitaliy Kolodyazhniy and Yevgeniy Bodyanskiy

Clustering as a tool for self-generation of intelligent systems: a survey

Rashmi Dutta Baruah and Plamen Angelov

Reactive-adaptive methodology to encode evolving intelligent agents in serious games

Mario Gongora and David Irvine

Lifelong learning by evolution in robotics: bridging the gap from theory to reality

Borja Santos-Diez, Fran-cisco Bellas, Andres Faina and Richard Duro

12:30

Lunch + Keynote talk

(at Phoenix Square)

14:00

The role of vision and attention in language processing

Antje Meyer

Constructing emotions: epistemological groundings and robotics' applications for a synthetic approach to emotions

Luisa Damiano and Lola Cañamero

Discussion session

Design and Analysis of Human-Robot Interaction

Social, functional, and problem-related tasks in HRI - a comparative analysis of body orientation and gaze

Manja Lohse

Validating characterizations of sociality in HRI: the case of interaction patterns 

Peter H. Kahn, Jr., Brian T. Gill, Aimee L. Reichert, Takayuki Kanda, Hiroshi Ishiguro and Jolina H. Ruckert

Development of human-robot interaction models by means of a cognitive walkthrough approach

Astrid Weiss, Florian Foerster, Daniela Wurhofer and Manfred Tscheligi

Exploratory analysis of operator: robot ratio in search and rescue

missions

Alberto Valero, Chiara Saracini, Paloma de la Puente, Diego Rodriguez- Losada, Fernando Matia

Discussion

Poster Talks

An evidence based approach to collaborative ontology development

Emma Tonkin, Heather D. Pfeiffer and Andrew Hewson

Evaluation of error taxonomy for OWL2

Naseer Ahmed Sajid and Muhammad Abdul Qadir

A framework for mapping refinement specification

Faycal Hamdi, Chantal Reynaud and Brigitte Safar

Poster Session

EIS Applications

New developments in statistical signal processing of quaternion random variables with applications in wind forecasting

Clive Cheong Took and Danilo P. Mandic

Application of ANN-GA hybrid to run a conveyor control system

Paul Morley and Jeff Johnson

An evolving framework for clustering computer users

Jose Iglesias, Agapito Le-dezma and Araceli Sanchis

15:30

Coffee Break

16:00

Biological and cultural foundations of human language: insights from computer simulations

Nick Chater

AI, attachment theory and simulating secure base behaviour: Dr. Bowlby meet the Reverend Bayes

Dean Petters and Everett Waters

Discussion

RoboSkin - Artificial Skin for Humanoid Robots

Touch-Triggered Protective Reflexes for Safer Robots 

Torbjørn S. Dahl and Andrew Palmer

Policy Adaptation through Tactile Correction

Brenna D. Argall, Eric L. Sauser and Aude G. Billard

Towards Intrinsically Learned Skin Models in Robots

Simon McGregor and Daniel Polani

Towards a Skin-Like Embedded Tactile Sensor for Robotic Hands

Andrea Biggio, Perla Maiolino and Giorgio Cannata

Discussion

Representation and reasoning for ontology evolution

Michael Chan, Alan Bundy and Jos Lehmann

Studying concept shift in political ontologies

Shenghui Wang, Stefan Schlobach, Janet Takens and Wouter van Atteveldt

EIS Methodology 3

An online predictor model as adaptive linear model and evolving Takagi-Sugeno model

Ahmad Kalhor, Babak N. Araabi and Caro Lucas

Incremental classification of images by human assisted fuzzy similarity analysis

Gancho Vachkov

Clustering to train an evolving radial basis function

Jose de Jesus Rubio, Jaime Pacheco and Raul Rivera

17:30

Session end

Session end

Session end

Closing and round up

18:00

Workshop drinks (venue TBA)

19:00

Convention Dinner

At Belmont Hotel • De Montfort Street • Leicester • LE1 7GR

8:30

Registration

9:00

Social cognition: views from developmental and comparative psychology, and robotics on the role of emotion in joint attention

Kim A. Bard

Advancing knowledge of cognitive development sequences in infancy

Frank Guerin

Discussion session

Cognition for robots in HRI

Towards HRI on the move with mixed initiative

Cristian Bogdan, Dominik Ertl, Michael Göller, Anders Green and Kerstin Severinson Eklundh

A smart action selection architecture taking into account  both goal-orientedness and proactivity

Woo Young Kwon and Il Hong Suh

An autonomous proxemic system for a mobile companion robot

Mohammadreza Asghari Oskoei, Michael L. Walters and Kerstin Dautenhahn

Robot learning of lexical semantics from sensorimotor interaction and the unrestricted speech of human tutors

Joe Saunders, Chrystopher L. Nehaniv and Caroline Lyon

Discussion

Adaptive user interface assistance in smart environments

Maximilian Kern, Frank Trollmann, Marco Blumendorf and Sahin Albayrak

An approach for bipolar ontology alignment argumentation in multi-agent systems

Paulo Maio and Nuno Silva

10:30

Coffee Break

11:00

Modeling visual affordances: the selective attention for action model (SAAM)

Christoph Böhme and Dietmar Heinke

Route learning through classification

Bart Baddeley, Paul Graham, Andrew Philippides and Philip Husbands

Demonstration

(Possibly involving Nick Hawes, Susannah Thorpe and Michael Zillich)

Attitudes and Relationships with Robots

Ibn Sina steps out: exploring Arabic attitudes toward humanoid robots 

Laurel D. Riek, Nikolaos Mavridis, Shammah Antali, Noura Darmaki, Zeeshan Ahmed, Maitha Al-Neyadi and Amina Alketheri

Discussion

Is a Companion a distinctive kind of relationship with a machine?

Yorick Wilks

Discussion

Jos Lehmann, Vincenzo Maltese, and Fiona McNeill

12:30

Lunch + Keynote talk

(at Phoenix Square)

14:00

Forward and inverse models in motor control and cognitive control

Richard P. Cooper

The adaptive nature of reward: a computational framework for understanding intrinsic motivation

Richard L. Lewis, Satinder Singh and Andrew Barto

Robots for the young and old

A robot as persuasive social actor: a field trial on child-robot interaction 

Astrid Weiss, Thomas Scherndl, Roland Buchner and Manfred Tscheligi

How infants perceive the toy robot Pleo. An exploratory case study on infant-robot-interaction

Karola Pitsch and Benjamin Koch

Ethical issues in robot care for the elderly: Dystopia or optimism?

Amanda Sharkey and Noel Sharkey

Discussion

Exploring ontology merging with examples

Liwei Deng

Integrating technical terms into Thesaurus using extracted related words

Yoshimi Suzuki and Fumiyo Fukumoto

15:00 Close of workshop

15:30

Coffee Break

16:00

Causal networks in neural systems: from brain-based devices to consciousness

Anil Seth

Concluding discussion session

Introduced by Margaret Boden

How social do robots really need to be?

Panel members include Laurel Riek, Amanda Sharkey, Astrid Weiss, Karola Pitsch, Leila Takayama, Yorick Wilks. Chaired by Kerstin Dautenhahn

Final discussion and conclusion

17:30

Sessions end