Benja Fallenstein

Publication Activity (10 Years)

Years Active: 2002-2015
Publications (10 Years): 7

Top Topics

Automated Reasoning

Resource Bounded

Top Venues

AAAI Workshop: AI and Ethics

Publications

Benja Fallenstein, Nate Soares, Jessica Taylor
Reflective Variants of Solomonoff Induction and AIXI. AGI (2015)
Nate Soares, Benja Fallenstein
Toward Idealized Decision Theory. CoRR (2015)
Nate Soares, Benja Fallenstein, Stuart Armstrong, Eliezer Yudkowsky
Corrigibility. AAAI Workshop: AI and Ethics (2015)
Benja Fallenstein, Jessica Taylor, Paul F. Christiano
Reflective Oracles: A Foundation for Classical Game Theory. CoRR (2015)
Nate Soares, Benja Fallenstein
Two Attempts to Formalize Counterpossible Reasoning in Deterministic Settings. AGI (2015)
Benja Fallenstein, Jessica Taylor, Paul F. Christiano
Reflective Oracles: A Foundation for Game Theory in Artificial Intelligence. LORI (2015)
Benja Fallenstein, Ramana Kumar
Proof-Producing Reflection for HOL - With an Application to Model Polymorphism. ITP (2015)
Mihály Bárász, Paul F. Christiano, Benja Fallenstein, Marcello Herreshoff, Patrick LaVictoire, Eliezer Yudkowsky
Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic. CoRR (2014)
Benja Fallenstein, Nate Soares
Problems of Self-reference in Self-improving Space-Time Embedded Intelligence. AGI (2014)
Benja Fallenstein, Tuomas J. Lukka, Hermanni Hyytiälä, Toni Alatalo
Storm: using P2P to make the desktop part of the web. Hypertext (2003)
Tuomas J. Lukka, Benja Fallenstein
Freenet-like GUIDs for implementing xanalogical hypertext. Hypertext (2002)