Schedule

Schedule

Contributed Talks Sessions

Contributed talks are up to 18 minutes long. Each Talk Session ends with a panel discussion of 15-25 minutes.

  • Session 1: Philosophy of AI
    • Pei Wang and Patrick Hammer (pdf | slides | video)
      Assumptions of Decision-Making Models in AGI
    • Roman Yampolskiy (pdf)
      The Space of Possible Mind Designs
    • Ben Goertzel (pdf | video)
      Are there Deep Reasons Underlying the Pathologies of Today’s Deep Learning Algorithms?
  • Session 2: Evaluation
    • Kristinn R. Thórisson, Jordi Bieger, Stephan Schiffel and Deon Garrett (pdf | slides | video)
      Towards Flexible Task Environments for Comprehensive Evaluation of Artificial Intelligent Systems & Automatic Learners
    • José Hernández-Orallo (pdf | slides | video)
      Stochastic Tasks: Difficulty and Levin Search
    • Javier Insa-Cabrera and José Hernández-Orallo (pdf | slides | video)
      Instrumental Properties of Social Testbeds
    • Nader Chmait, David Dowe, David Green and Yuan-Fang Li (pdf | slides | video)
      Observation, Communication and Intelligence in Agent-Based Systems
    • Panel discussion (video)
  • Session 3: Cognitive Architectures
    • Tarek Richard Besold, Kai-Uwe Kühnberger, Artur D’Avila Garcez, Alessandro Saffiotti, Martin Fischer and Alan Bundy (pdf | slides | video)
      Anchoring Knowledge in Interaction: Towards a harmonic subsymbolic/symbolic framework and architecture of computational cognition
    • Frank Bergmann and Brian Fenton (pdf | slides | video)
      Scene Based Reasoning
    • Paul S. Rosenbloom, Jonathan Gratch and Volkan Ustun (pdf | slides | video)
      Towards Emotion in Sigma: From Appraisal to Attention
    • Panel discussion (video)
  • Session 4: Methods of Inference
    • Vita Batishcheva and Alexey Potapov (pdf | slides | video)
      Genetic Programming on Program Traces as an Inference Engine for Probabilistic Languages
    • Ben Goertzel, Nil Geisweiller, Eddie Monroe, Mike Duncan, Selamawit Yilma, Meseret Dastaw, Misgana Bayetta, Amen Belayneh, Matthew Ikle and Gino Yu (pdf | video)
      Speculative Scientific Inference via Synergetic Combination of Probabilistic Logic and Evolutionary Pattern Recognition
    • Susumu Katayama (pdf | video)
      Towards Human-Level Inductive Functional Programming
    • Nate Soares and Benja Fallenstein (pdf | slides | video)
      Two Attempts to Formalize Counterpossible Reasoning in Deterministic Settings
    • Panel discussion (video)
  • Session 5: Universal Algorithmic Intelligence
    • Benja Fallenstein, Nate Soares and Jessica Taylor (pdf | slides | video)
      Reflective Variants of Solomonoff Induction and AIXI
    • Peter Sunehag and Marcus Hutter (pdf | video)
      Using Localization and Factorization to Reduce the Complexity of Reinforcement Learning
    • Eray Özkural (pdf | video)
      Ultimate Intelligence Part I: Physical Completeness and Objectivity of Induction
      Winner of the Kurzweil Prize for Best AGI Idea
    • Panel discussion (video)
  • Session 6: Time and Resource Bounds
    • Pei Wang and Patrick Hammer (pdf | slides | video)
      Issues in Temporal and Causal Inference
    • Eric Nivel, Kristinn R. Thórisson, Bas Steunebrink and Jürgen Schmidhuber (pdf | slides | video)
      Anytime Bounded Rationality
    • Abdul Rahim Nizamani, Jonas Juel, Ulf Persson and Claes Strannegård (pdf | slides | video)
      Bounded Cognitive Resources and Arbitrary Domains
      Winner of the Cognitive Science Society Prize for Best Student Paper
    • Panel discussion (video)
  • Session 7: Motivation and Safety
    • Jordi Bieger, Kristinn R. Thórisson and Pei Wang (pdf | slides | video)
      Safe Baby AGI
    • Can Eren Sezener (pdf | slides | video)
      Inferring human values for safe AGI design
    • Joscha Bach (pdf | video)
      Modeling Motivation in MicroPsi 2
      Winner of the Kurzweil Prize for Best AGI Paper
    • Roman Yampolskiy (pdf | slides | video)
      The Space of Possible Mind Designs
    • Panel discussion (video)

Posters


Posters will be allotted 5 minutes each for oral presentation in the Poster Boaster Session, right before the Poster Session.

  1. Ute Schmid and Marco Ragni (pdf | video)
    Comparing Computer Models Solving Number Series Problems
  2. Claes Strannegård, Simone Cirillo and Johan Wessberg (pdf | video)
    Emotional Concept Development
  3. Mayank Daswani and Jan Leike (pdf | video)
    A Definition of Happiness for Reinforcement Learning Agents
  4. Marc Halbrügge, Michael Quade and Klaus-Peter Engelbrecht (pdf | video)
    How can Cognitive Modeling Benefit from Ontologies? Evidence from the HCI Domain
  5. Chiaki Sakama and Katsumi Inoue (pdf | video)
    Can Machines Learn Logics?
  6. Arthur Franz (pdf | video)
    Toward tractable universal induction through recursive program learning
  7. Alexey Potapov, Vita Batishcheva and Sergey Rodionov (pdf | video)
    Optimization Framework with Minimum Description Length Principle for Probabilistic Programming
  8. Vitaly Khudobakhshov, Andrey Pitko and Denis Zotov (pdf | video)
    Programming languages and artificial general intelligence
  9. Abram Demski (pdf | video)
    Expression Graphs: Unifying Factor Graphs and Sum-Product Neworks
  10. Roman Yampolskiy (pdf | video)
    Analysis of Types of Self-Improving Software
  11. Roman Yampolskiy (pdf | video)
    On the Limits of Recursively Self-Improving AGI
  12. Jose Hernandez-Orallo (pdf | video)
    C-tests revisited: back and forth with complexity
  13. Joerg Zimmermann, Henning Henze and Armin Cremers (pdf | video)
    Gödel Agents in a Scalable Synchronous Agent Framework
  14. Marjorie McShane and Sergei Nirenburg (pdf | video)
    Decision-Making During Language Understanding by Intelligent Agents
  15. Ruiting Lian, Changle Zhou, Ben Goertzel, Rodas Solomon, Amen Belayneh and Gino Yu (pdf | video)
    From Specialized Syntax to General Logic: The Case of Comparatives
  16. Zoltan Toser and Andras Lorincz (pdf | video)
    The Cyber-Physical System Approach towards Artificial General Intelligence: The Problem of Verification
  17. Jochen Kerdels and Gabriele Peters (pdf | video)
    A New View on Grid Cells Beyond the Cognitive Map Hypothesis
  18. Lydia Ould Ouali, Charles Rich and Nicolas Sabouret (pdf | video)
    Plan Recovery in Reactive HTNs Using Symbolic Planning