WEDNESDAY 2013-07-31

[8:30-12:00] Workshop: Formal MAGIC (Chaired by Ahmed M. H. Abdel-Fattah and Kai-Uwe Kühnberger)

• Invited lecture: Zhongzhi Shi. Computational Model of Memory in CAM
• Daniele Porello, Roberta Ferrario, Cinzia Giorgetta. Ontological modeling of emotion-based decisions
• Naoya Arakawa. Information Binding with Dynamic Associative Representations
  
• Kristinn Thórisson. Reductio ad Absurdum: On Oversimplification in Computer Science and its Pernicious Effect on Artificial Intelligence Research
  
• Invited lecture: Stuart C. Shapiro. Specifying Modalities in the MGLAIR Architecture
• Naveen Sundar Govindarajulu, Selmer Bringsjord, John Licato. On Deep Computational Formalization of Natural Language
• Xiaolong Wan. On Special Theory of Relativity of Function-an Interpretation to “the Failure of Equivalent Substitution Principle”
• Pei Wang. Formal Models in AGI Research

[14:00-17:30] Workshop: Probability Theory or Not? (Chaired by Matthew Ikle and Laurent Orseau)

• Invited lecture: Steven Shockaert.  Towards robust symbolic reasoning about information from the web
• Salem Benferhat. Comparing and weakening possibilistic knowledge bases
• Sergey Rodionov, Alexey Potapov, and Yurii Vinogradov. Direct Uncertainty Estimation in Reinforcement Learning
• Invited lecture: Marcus Hutter. Uncertainty & Induction in AGI
• Ben Goertzel. Probability Theory Ensues from Assumptions of Approximate Consistency: A Simple Derivation and its Implications for AGI
• Pei Wang. Issues in Applying Probability Theory to AGI

[18:00-20:00] Reception

THURSDAY 2013-08-01

[8:30-8:40] Conference Opening (Chaired by Pei Wang)

[8:40-10:10] Keynote 1: Stuart Shapiro, SUNY Buffalo. MGLAIR: Modal Grounded Layered Architecture with Integrated Reasoning

[10:30-12:00] Technical Session 1: AGI Architectures and Cognitive Systems (Chaired by Kristinn Thorisson)

• David Pynadath, Paul Rosenbloom, Stacy Marsella and Lingshan Li. Modeling Two-Player Games in the Sigma Graphical Cognitive Architecture
• Claes Strannegård, Abdul Rahim Nizamani, Anders Sjöberg and Fredrik Engström.
  Bounded Kolmogorov Complexity Based on Cognitive Models
• Claes Strannegård, Rickard von Haugwitz, Johan Wessberg and Christian Balkenius. A Cognitive Architecture based on Dual Process Theory
• Bas Steunebrink, Jan Koutnik, Kristinn Thorisson, Eric Nivel and Juergen Schmidhuber. Resource-Bounded Machines are Motivated to be Effective, Efficient, and Curious
• Tarek Richard Besold and Robert Robere. When Almost Is Not Even Close: Remarks on the Approximability of HDTP

[14:00-15:30] Technical Session 2: Learning in AGI Systems (Chaired by Marcus Hutter)

• Alexey Potapov and Sergey Rodionov. Universal Induction with Varying Sets of Combinators
• Peter Sunehag and Marcus Hutter. Learning Agents with Evolving Hypothesis Classes
• Seng-Beng Ho and Fiona Liausvia. Knowledge Representation, Learning, and Problem Solving for General Intelligence
• Ben Goertzel, Ted Sanders and Jade O’Neill. Integrating Deep Learning Based Perception with Probabilistic Logic via Frequent Pattern Mining
• Ben Goertzel, Nil Geisweiller, Cassio Pennachin and Kaoru Ng. Integrating Feature Selection Into Program Learning

[16:00-17:30] Keynote 2: Thomas Dietterich, Oregon State University. Reflections on CALO: General Intelligence for the Desktop

[19:30-21:00] Special Session: AGI in Asia (Chaired by Bo An and Ben Goertzel)

• Zhongzhi Shi (Chinese Academy of Sciences). CAM System And Applications
• Min Jiang (Xiamen University). Neural-Symbolic Methods for Learning and Transforming Embodied Knowledge in Heterogeneous Robotics
• Xihong Wu (Peking University).  Acquiring Robot Skills Autonomously: From Can’t to Can
• Anton Kolonin (Novosibirsk).  The Emerging World Wide Mind

FRIDAY 2013-08-02

[8:30-10:00] Keynote 3: Dileep George, Vicarious Systems, Building A.I the brain way : triumphs and trials

[10:30-12:00] Technical Session 3: Programming and Natural Language Systems (Chaired by Zhongzhi Shi)

• Ben Goertzel. Lojban++: An Interlingua for Communication Between Humans and AGIs
• Eric Nivel and Kristinn Thorisson. Towards a Programming Paradigm for Control Systems with High Levels of Existential Autonomy
• Vitaly Khudobakhshov. Metacomputations and program-based knowledge representation
• Pei Wang. Natural Language Processing by Reasoning and Learning
• Ahmed M. H. Abdel-Fattah, Ulf Krumnack and Kai-Uwe Kuehnberger. Utilizing Cognitive Mechanisms in the Analysis of Counterfactual Conditionals by AGI Systems

[12:00-14:00] AGI Society Business Meeting (Chaired by Ben Goertzel, open attendance)

[14:00-15:30] Technical Session 4: Theoretical and Conceptual Issues of AGI Systems (Chaired by Kai-Uwe Kühnberger)

• Tarek Richard Besold and Robert Robere. A Note on Tractability and Artificial Intelligence
• Tarek Richard Besold. Human-Level Artificial Intelligence Must Be a Science
• Stefan Schneider, Ahmed M. H. Abdel-Fattah, Benjamin Angerer and Felix Weber. Model Construction in General Intelligence
• Ben Goertzel. The Role of Specialized Intelligent Body-System Networks in Guiding General-Purpose Cognition
• Helgi Helgason, Kristinn Thórisson, Eric Nivel and Pei Wang. Predictive Heuristics for Decision-Making in Real-World Environments

[16:00-17:30] Special Session: Cognitive Robotics and AGI (Chaired by David Hanson and Il-Hong Suh)

• Invited lecture: David Hanson and Ben Goertzel.  Anthroid (Human-Like) Robots for AGI and Telepresence
• Luigia Carlucci Aiello, Emanuele Bastianelli, Luca Iocchi, Daniele Nardi, Vittorio Perera and Gabriele Randelli.Knowledgeable Talking Robots
• Michael Gratton. Cognitivist and Emergent Cognition – An Alternative Perspective
• Sang Hyoung Lee and Il Hong Suh. Skill Learning and Inference Framework

[17:30-18:00] Conference Closing (Chaired by Pei Wang)

[18:00-20:00] Banquet

SATURDAY 2013-08-03

[9:00-12:00] Tutorial: Stuart Shapiro. Building an MGLAIR Agent

[14:00-17:00] Tutorial: Marcus Hutter. One Decade of Universal Artificial Intelligence