JOINT 2012 International Association for Computing and Philosophy World Congress (IACAP 2012) and Society for the Study of Artificial Intelligence and Simulation of Behaviour Annual Convention (AISB 2012)

Plenary Keynote Speakers
Colin Allen Computational philosophy and the examined text: a tale of two encyclopedias

Eduardo Alonso: The AISB: 1964 and All That

Luciano Floridi: From AI to the Philosophy of Information: Doing Philosophy after Turing

Barry Cooper: AI - Hobby or Science? Structure, Embodied Cognition, and the Turing Legacy

Blay Whitby: In loco humanae: how we missed and continue to ignore the ethical implications of AI

Aaron Sloman: Varieties of Meta-Morphogenesis in the Bootstrapping of Biological Minds

Benjamin Kuipers: Constructing the Foundations of Commonsense Knowledge

Proceedings of Symposia
Mathematical Practice and Cognition II

Computing, Philosophy and the Question of Bio-Machine Hybrids: 5th AISB Symposium on Computing and Philosophy

Computational Philosophy

Turing Arts Symposium

Information Quality

Revisiting Turing and his Test: Comprehensiveness, Qualia, and the Real World

Linguistic and Cognitive Approaches To Dialog Agents (LaCATODA 2012)

History and Philosophy of Programming

Social Computing - Social Cognition - Social Networks and Multiagent Systems

Understanding and Modelling Collective Phenomena (UMoCoP)

Framework for Responsible Research and Innovation in AI

The Machine Question: AI, Ethics, and Moral Responsibility

Moral Cognition & Theory of Mind

Information and Computer Ethics in the Age of the Information Revolution

Natural Computing/Unconventional Computing and its Philosophical Significance

Nature-Inspired Computing and Applications: 1st Symposium (NICA)

Talks at Symposia
Rafael Núñez: The study of mathematical practice and cognition as an empirical endeavor: The case of the cognitive science of the number line

Matthew Inglis and Lara Alcock: Watching Experts and Novices Read Proofs

Andrew Aberdein: The Parallel Structure of Mathematical Reasoning

Alan Smaill: Mathematical Notation and Analogy

Alison Pease and Ursula Martin: Seventy Four Minutes of Mathematics: An analysis of the third Mini-Polymath project

Liesbeth De Mol: Taking the machine seriously. A study of 'mechanized mathematics'

Sandra Visokolskis: Discovery in Mathematics as an Experiential Practice of Privation

Manfred Kerber, Christoph Lange and Colin Rowat: Formal Representation and Proof for Cooperative Games

Brendan Larvor: What Philosophy of Mathematical Practice Can Teach Argumentation Theory about Diagrams and Pictures

Gabriella Daróczy: Dialogue with a Mathematical Assistant Cognitive Aspects of Designing Rule Based Dialogue Guidance

José Ferreirós: Convergence, not Reduction: On cognitive science and studies of mathematical practice

Theodore W. Berger: Toward a Cognitive-Hippocampal Neural Prosthesis: Implantable Biomimetic Microelectronics to Restore Lost Memory

Clowes: Hybrid memory, Cognitive Technology and Self

Erden: I remember me: neuroprosthetics, memory and identity

Jacquette: Cantor's Diagonalization and Turing's Cardinality Paradox

Gabbay: The Proof Theoretic Foundations of Computation with Application to Turing's Thesis and the Chinese Room Argument

Roesch, Nasuto, Bishop, Spencer: Zombie mouse in a Chinese room

Beim Graben, Potthast: Implementing Turing Machines in Dynamic Field Architectures

Villalobos: Machines, life and cognition: a second-order cybernetic approach

Heersmink: Mind and Artifact: A Multidimensional Matrix for Exploring Cognition-Artifact Relations

Rainey, Erden: Turing and the Real Girl

Al-Rifaie, Bishop: Weak vs. Strong Computational Creativity

Ovsich: Mathematical Models of Desire, Need and Attention

Edward N. Zalta: Towards Leibniz's Goal of a Computational Metaphysics

Paul Oppenheimer: Representation Issues in Using First-Order Reasoning Tools

Bhupinder Singh: Anand Evidence-Based Interpretations of PA

Don Berkich: Machine Intention

Patrick Grüneberg and Kenji Suzuki: A Lesson from Subjective Computing: Autonomous Self-referentiality and Social Interaction as Conditions for Subjectivity

Angelo Loula and João Queiroz: Synthetic Semiotics: On Modeling and Simulating the Emergence of Sign Processes

Emanuele Ratti: Emergentism, Computer Simulations and the Noumenal

Catherine Legg and Samuel Sarjant: Bill Gates Is Not a Parking Meter: Philosophical Quality Control in Automated Ontology-building

Grainne Kirwan and Brendan Rooney: The judgement of emotion and intellectual ability in character dialogue of Blade Runner and Star Trek: The Next Generation

Cate Dowd: Turing's creativity and Science Fiction films: Abstractions and hidden layers

Klem James: Turing's Thinking Machines: Resonances with Surrealism & the Avant-Garde of the early 20th Century

Jeremy Stubbs: Turing and the early twentieth-century avant-garde: A Surrealist perspective

Scott Wilson: Mimicry and Random Elements of the Laptop Ensemble: Reflections on programming live musical improvisations

Colin Johnson: The Truring Test

Ernest Edmonds: Beyond Computable Numbers Revisited

Jenny Game Lopata: Turing and the Innovative use of Reverb in the film score of Blade Runner

Jeremy Leighton: John Information quality and personal archives in the wild

Carlo Batini: The many faces of information and their impact on information quality

Min Chen: Quality of Visualization

Phyllis Illari: IQ and Purpose

Israel Belfer: Exploring the Edges of Info-Computational Science

Suzanne Embury: Forget Dimensions. Define Your Information Quality Using Quality View Patterns

Luciano Floridi: Philosophy of Information Quality

Selmer Bringsjord: Are Current Formalizations of Trust Premature?

Daniel Devatman Hromada: From Taxonomy of Turing Test-Consistent Scenarios Towards Attribution of Legal Status to Meta-modular Artificial Autonomous Agents

Michael Zillich: My Robot is Smarter than Your Robot: On the Need for a Total Turing Test for Robots

Adam Linson, Chris Dobbyn and Robin Laney: Interactive Intelligence: Behaviour-based AI, Musical HCI and the Turing Test

Javier Insa, Jose Hernandez-Orallo, Sergio España, David Dowe and M.Victoria Hernandez-Lloreda: The anYnt Project Intelligence Test (Demo)

Jose Hernandez-Orallo, Javier Insa, David Dowe and Bill Hibbard: Turing Machines and Recursive Turing Tests

Francesco Bianchini and Domenica Bruni: What Language for Turing Test in the Age of Qualia?

Paul Schweizer: Could There be a Turing Test for Qualia?

Antonio Chella and Riccardo Manzotti: Jazz and Machine Consciousness: Towards a New Turing Test

William York and Jerry Swan: Taking Turing Seriously (But Not Literally)

Hajo Greif: Laws of Form and the Force of Function: Variations on the Turing Test

Michal B. Paradowski: Developing Embodied Multisensory Dialogue Agents

Svetoslav Dankov: Augmenting Interaction: Collecting Common Sense Through AR Objects

Radoslaw Komuda: RhetorEthics, or - on implementing an Aristotelian approach to Machine Ethics

Motoki Yatsu: A Domain Analytic Method in Modular-designed Reflexive Agent

Li Zhang: Developments in Context-sensitive Affect Detection in an Intelligent Agent

Michal Ptaszynski: YACIS: A Five-Billion-Word Corpus of Japanese Blogs Fully Annotated with Syntactic and Affective Information

Pawel Dybala: Emotion Valence Shifts in Humorous Metaphor Misunderstandings Generation

Marcin Skowron: Affect Listeners - From dyads to group interactions with affective dialog systems

Michal Mazur: Chatterbots with Occupation - Between Non Task and Task Oriented Conversational Agents

Gordon Briggs: Multi-modal Belief Updates in Multi-Robot Human-Robot Dialogue Interactions

Gerard Alberts: Developing a historical notion of software

Uri Pincas: On the Nature of the Relation between Algorithms and Programs

A. Kitov, V. Silantiev, V. Shilov Anatoly Kitov: ALGEM algorithmic language

Selmer Bringsjord and Jinrong Li: On the cognitive science of computer programming in service of two historic challenges

Wolfgang Brand: Two Approaches to One Task: A Historical Case Study of the Implementation and Deployment of two Software Packages for the Design of Light-Weight Structures in Architecture and Civil Engineering

Timothy Colburn and Gary Shute: The Role of Types for Programmers

Edgar S.: Daylight A compilation of Dutch computing styles, 1950s-1970s

Allan Olley: Is plugged programming an Oxymoron?

Pierre Mounier-Kuhn: Logic and computing in France: A late convergence

Julian Rohrhuber: Algorithmic complementarity. Some thoughts on experimental programming and the history of live coding

Nikolay v. Shilov: Parallel Programming as a Programming Paradigm

Shintaro Miyazaki: Algorhytmic listening 1949-1962. Auditory practices of early mainframe computing

Clara Smith, Leandro Mendoza and Agustin Ambrossio: Decidability via Filtration of Neighbourhood Models for Multi-Agent Systems

Giuseppe Attanasi, Astrid Hopfensitz, Emiliano Lorini and Frederic Moisan: The Effects of Social Ties on Coordination: Conceptual Foundations for an Empirical Analysis

Patrice Caire and Antonis Bikakis: Conviviality by Design

Marek Sergot: Action, Agency and Causation

Rodger Kibble: Conformist imitation, normative agents and Brandom's commitment model

Mehdi Mekni: Crowd simulation using informed virtual geographic environments (IVGE)

David Pergament, Armen Aghasaryan and Jean-Gabriel Ganascia: Reputation Diffusion Simulation for Avoiding Privacy Violation

Bei Wen and Edwin Horlings: Understanding the formation and evolution of collaborative networks using a multi-actor climate program as example

Judith Simon: Epistemic Responsibility in Entangled Socio-Technical Systems

Kieron O'Hara: Trust in Social Machines: The Challenges

Paul de Laat: Navigating between Chaos and Bureaucracy: How open-content communities are backgrounding trust

Bernhard Rieder: The politics of formalization: what social computing can learn from the prehistory of PageRank

Migle Laukyte: Artificial and Autonomous. A Person?

Bernhard Will and Gerhard Chr. Bukow: Socialness in man-machine-interaction and the structure of thought

Diego Compagna: Virtual Sociality or Social Virtuality in Digital Games? Encountering a Paradigm Shift of Action and Actor Models

Sabine Thuermel: A Multi-Dimensional Agency Concept for Social Computing Systems

Yuk Hui and Harry Halpin: Collective Individuation: A New Theoretical Foundation for Social Networks

Andrew Power and Grainne Kirwan: Trust, Ethics and Legal Aspects of Social Computing

Ekaterina Netchitailova: Facebook's user: product of the network or 'craft consumer'?

Greti- Iulia Ivana: Resorts behind the Construction of the Expositional Self on Facebook

Elisandra Aparecida Alves Da Silva and Marco Túlio Andrade: Qualitative Methods of Link Prediction in Co-authorship Networks

Michał B. Paradowski, Chih-Chun Chen, Agnieszka Cierpich and Łukasz Jonak: From linguistic innovation in blogs to language learning in adults: What do interaction networks tell us?

Peter Simons: The Ontology of Collectives

Janna Hastings, Colin Batchelor, Stefan Schulz and Ludger Jansen: Collective Bio-molecular Processes: The hidden ontology of systems biology

Max Dupenois and Antony Galton: Maintenance of Dot Pattern Footprints via Efficient Identification of Change

Gilles Kassel, Mohamed Turki, Inès Saad and Faiez Gargouri: From Collective Actions to Actions of Organizations: An ontological analysis

Michał Paradowski and Łukasz Jonak: Understanding the Social Cascading of Geekspeak and the Upshots for Social Cognitive Systems

Brandon Bennett and Matthew Trafankowski: A Comparative Investigation of Herding Algorithms

Bernd Stahl: Introduction to responsible research and innovation in AI

Denis Roche: Ethical Implications for Quality of Life in Robot Assisted Care of the Elderly

Neil McBride: A Robot Ethics: The EPSRC Principles and the Ethical Gap

Danny Weston, Catherine Flick and Sam Waters: Good reasons for making bad bots

Joel Parthemore and Blay Whitby: Moral Agency, Moral Responsibility, and Artifacts

John Basl: Machines as Moral Patients We Shouldn't Care About (Yet)

Benjamin Matheson: Manipulation, Moral Responsibility and Machines

Susan and Michael Anderson: The Relationship Between Intelligent, Autonomously Functioning Machines and Ethics

Alejandro Rosas: The Holy Will of Ethical Machines

Keith Miller, Marty Wolf and Frances Grodzinsky: Behind the Mask: Machine Morality

Erica Neely: Machines and the Moral Community

Mark Coeckelbergh: Who Cares about Robots?

David J. Gunkel: A Vindication of the Rights of Machines

Steve Torrance: The Centrality of Machine Consciousness to Machine Ethics

Rodger Kibble: Can an Unmanned Drone be a Moral Agent?

Marc Champagne and Ryan Tonkens: Bridging the Responsibility Gap in Automated Warfare

Joanna Bryson: Patiency Is Not a Virtue

Johnny Søraker: Is There Continuity Between Man and Machine?

Wendell Wallach & Colin Allen Hard Problems: Framing the Chinese Room in which a Robot takes a Moral Turing Test

J.A. Quilici-Gonzalez, M.C. Broens, G. Kobayshi & M.E.Q. Gonzalez: Moral Action and Mechanical Models of Intelligence: What can We Learn from the Turing Test?

Matthias Scheutz: What's Wrong with the Moral Turing Test

Marcello Guarini: Moral Cases, Moral Reasons, and Simulations

Antoni Gomila: Moral Emotions for Autonomous Agents

Yorick Wilks: Cognitive Issues of Sentiment in Machine and Human Ethics

Gordon Briggs: Machine Ethics, the Frame Problem, and Theory of Mind

Catriona Kennedy: Towards a Theory of Mind for Ethical Software Agents

Sergei Nirenburg & Marjorie McShane: Agents Modeling Agents: Incorporating Ethics-Related Reasoning

Paul Bello & Selmer Bringsjord: Machine Ethics, Folk Intuitions, & the Cognitive Architecture of Moral Judgments

Paul Bello & Selmer Bringsjord: Machine Ethics, Mindreading & Attributions of Responsibility: First Computational Steps

Naveen Sundar Govindarajulu: Syntax and Consciousness

Anthony Beavers, Matthias Scheutz, and Paul Bello: Can machines be moral without inner lives?

F. Gordzinsky , K. Miller , M. Wolf: The Problem with Comparing Machine Morality to Human Morality is NOT the Machines

Luciano Floridi: How to design tolerant agents

Jean-Gabriel Ganascia: What's Wrong With Robots' Combats and Virtual Child Sex

Carl D. Mildenberger: Evil in virtual worlds

Matteo Turilli: Ethical Challenges in Cloud Computing

Philip Serracino Inglott: Is it OK to be an Anonymous?

Ryan Tonkens: Two Dogmas of Automated Warfare

Anthony Beavers: What Would MorMach Require: An Argument for a No-Fault Ethics

Shannon Vallor: Information Technology, Digital Imaging and The Ethics of Evidence

João Antonio de Moraes, Paulo Henrique Araújo Oliveira Pereira: Ethical implications of "The Informational Turn in Philosophy": The problem of Informational Privacy

Stefan Strauß: Privacy and The Emerging Role of Transparency on The Example of Electronic Identity

Mariarosaria Taddeo: Ethics of Information Warfare

W.A. Phillips: The coordination of probabilistic inference in neural systems

Gordana Dodig Crnkovic: Alan Turing's Legacy: Info-Computational Philosophy of Nature

Keith Douglas: Learning to Hypercompute? An Analysis of Siegelmann Networks

Gordana Dodig Crnkovic: Alan Turing's Legacy: Info-Computational Philosophy of Nature

Florent Franchette: Oracles Turing machines faced with the verification problem

Barry Cooper: What makes a computation unconventional?

Marcin J. Schroeder: Dualism of Selective and Structural Information in Modelling Dynamics of Information

Christophe Menant: Turing Test, Chinese Room Argument, Symbol Grounding Problem. Meanings in Artificial Agents

Craig Lindley: Neurobiological Computation and Synthetic Intelligence

Philip Goyal: Natural Computation - A Perspective from the Foundations of Quantum Theory

Hector Zenil: Nature-like Computation and a Measure of Programmability

Alberto Hernandez-Espinosa and Francisco Hernandez-Quiroz: Does the Principle of Computational Equivalence overcome the objections against Computationalism?

Gianfranco Basti: Intelligence and reference. Formal ontology of the natural computation

Peter beim Graben and Roland Potthast: Implementing Turing Machines in Dynamic Field Architectures

Andree c. Ehresmann: MENS, an info-computational model for (neuro-)cognitive systems up to creativity

Raffaela Giovagnoli: Representation: Analytic Pragmatism and AI

Sybe Izaak Rispens: The Chinese Room and the Bête Machine. An epistemology of two thought experiments

Veronica E. Arriola-Rios and Zoe P. Demery: Salient Features and Key Frames: an interdisciplinary perspective on object representation

Harold Boley Grailog: Mapping Generalized Graphs to Computational Logic

Larry Bull, Julian Holley, Ben De Lacy Costello and Andrew Adamatzky: Toward Turing's A-type unorganised machines in an unconventional substrate: a dynamic representation in compartmentalised excitable chemical media

Francisco Hernández-Quiroz and Pablo Padilla: Some constraints on the physical realizability of a mathematical construction

Gordana Dodig Crnkovic and Mark Burgin: Axiomatic Tools versus Constructive approach to Unconventional Algorithms

Mark Burgin and Gordana Dodig Crnkovic: From the Closed Universe to an Open World

Viktor Manahov Herd: Behaviour Experimental Testing in Laboratory Artificial Stock Market Settings. Behavioural Foundations of Stylised Facts of Financial Returns

Joseph Townsend, Antony Galton and Ed Keedwell: A Scalable Genome Representation for Neural-Symbolic Networks

Richard Barraclough, Mark Bishop, Sebastian Danicic, Richard Mitchell and Slawomir Nasuto SpendInsight: Some remarks on deploying an intelligent spend-analysis system

Nicholas Jackson and Colin G. Johnson: Evolution of Unknotting Strategies for Knots and Braids