Botworld.bib

@Book{aixi,
  author =       "Marcus Hutter",
  title =        "Universal Artificial Intelligence:
                  Sequential Decisions based on Algorithmic Probability",
  _series =       "EATCS",
  publisher =    "Springer",
  address =      "Berlin",
  year =         "2005",
  isbn =         "3-540-22139-5",
  isbn-online =  "978-3-540-26877-2",
  doi =          "10.1007/b138233",
  url =          "http://www.hutter1.net/ai/uaibook.htm",
  review1 =      "AIJ: http://dx.doi.org/10.1016/j.artint.2006.10.005",
  review2 =      "ACM: http://www.reviews.com/review/review_review.cfm?review_id=131175",
  reviews =      "Amazon: http://www.amazon.com/exec/obidos/redirect?tag=homepageofm0a-20&path=ASIN/3540221395",
  keywords =     "Artificial intelligence; algorithmic probability;
                  sequential decision theory; Solomonoff induction;
                  Kolmogorov complexity; Bayes mixture distributions;
                  reinforcement learning; universal sequence prediction;
                  tight loss and error bounds; Levin search;
                  strategic games; function minimization; supervised learning.",
  abstract =     "This book presents sequential decision theory from a
                  novel algorithmic information theory perspective. While the former
                  theory is suited for active agents in known environments, the
                  latter is suited for passive prediction of unknown environments.
                  The book introduces these two well-known but very different ideas
                  and removes the limitations by unifying them to one parameter-free
                  theory of an optimal reinforcement learning agent interacting with
                  an arbitrary unknown world. Most if not all AI problems can easily
                  be formulated within this theory, which reduces the conceptual
                  problems to pure computational ones. Considered problem classes
                  include sequence prediction, strategic games, function
                  minimization, reinforcement and supervised learning. Formal
                  definitions of intelligence order relations, the horizon problem
                  and relations to other approaches to AI are discussed. One
                  intention of this book is to excite a broader AI audience about
                  abstract algorithmic information theory concepts, and conversely
                  to inform theorists about exciting applications to AI.",
  support =      "SNF grant 2000-61847",
}

@inproceedings{stei,
  added-at = {2012-12-05T00:00:00.000+0100},
  author = {Orseau, Laurent and Ring, Mark B.},
  biburl = {http://www.bibsonomy.org/bibtex/2fc9741d84b7226e948169e5ca5a2c4f5/dblp},
  booktitle = {AGI},
  editor = {Bach, Joscha and Goertzel, Ben and Iklé, Matthew},
  ee = {http://dx.doi.org/10.1007/978-3-642-35506-6_22},
  interhash = {d482fc3b3e89b8f3f27b84a742ff5b31},
  intrahash = {fc9741d84b7226e948169e5ca5a2c4f5},
  isbn = {978-3-642-35505-9},
  keywords = {dblp},
  pages = {209-218},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2012-12-05T00:00:00.000+0100},
  title = {Space-Time Embedded Intelligence.},
  url = {http://dblp.uni-trier.de/db/conf/agi/agi2012.html#OrseauR12},
  volume = 7716,
  year = 2012
}

@misc{mdp,
   author = "Wikipedia",
   title = "Markov decision process --- {W}ikipedia{,} The Free Encyclopedia",
   year = "2014",
   howpublished = "\url{http://en.wikipedia.org/w/index.php?title=Markov_decision_process&oldid=589500076}",
   note = "[Online; accessed 10-April-2014]"
}

@misc{udt-halting-oracle,
	author       =	{Slepnev, Vladimir},
	title        =	{A model of {UDT} with a halting oracle},
	howpublished =	{\url{http://lesswrong.com/lw/8wc/a_model_of_udt_with_a_halting_oracle/}},
	year         =	{2011},
	date         =	{December 18},
}

@misc{udt-without-proof-limits,
	author       =	{Slepnev, Vladimir},
	title        =	{A model of {UDT} without proof limits},
	howpublished =	{\url{http://lesswrong.com/lw/b0e/a_model_of_udt_without_proof_limits/}},
	year         =	{2012},
	date         =	{March 20},
}

@INPROCEEDINGS{desklamp,
    author = {Sudhakar Govindavajhala and Andrew W. Appel},
    title = {Using Memory Errors to Attack a Virtual Machine},
    booktitle = {In IEEE Symposium on Security and Privacy},
    year = {2003},
    pages = {154--165}
}

@Unpublished{tiling-agents,
  title = {Tiling Agents for Self-Modifying {AI}, and the {L}\"obian Obstacle},
  author = {Yudkowsky, Eliezer and Herreshoff, Marcello},
  year = {2013},
  howpublished = {Working Paper. \url{http://intelligence.org/files/TilingAgents.pdf}}
}

@Article{Altair:2013,
  title = {A Comparison of Decision Algorithms on Newcomblike Problems},
  author = {Altair, Alex},
  year = {2013},
  keywords = {Tiling Agents for Self-Modifying AI & the Lobian Obstacle},
  organization = {Machine Intelligence Research Institute},
  url = {http://intelligence.org/files/Comparison.pdf}
}

@Article{life,
  title = {Mathematical {G}ames: The fantastic combinations of {J}ohn {C}onway's new solitaire game "{L}ife"},
  author = {Gardner, Martin},
  year = {1970},
  month = {October},
  keywords = {},
  journal = {Scientific American},
  number = {223},
  pages = {120--123}
}