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