Benja Fallenstein

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