Register | Log in | FAQ      [?] 

Tag aixi [9 articles]

Recent papers classified by the tag aixi.
  • A Theory of Universal Artificial Intelligence based on Algorithmic Complexity
    ArXiv Computer Science e-prints (April 2000)
    by M Hutter
    posted to aixi computability-logic computational-games computational-intelligence gtm hypercomputability intelligence-order-relations power power-order-relations utm by Scis0000002 on 2008-03-04 10:49:27 as ** along with 1 person scis0000001
  • Agent based cooperative theory formation in pure mathematics
    (2000)
    by S Colton, A Bundy, T Walsh
    posted to agent-theory aixi argumentation argumentation-games argumentation-theory category-of-theories collaboration computability-logic computational-science dialogical-logic distributed distributed-operating-system experts extendability formal-digital-library formal-interoparability formal-problem-solving formal-science formation game-theory goedel-machine heterogeneous hyperefficiency hypernetworks iff interoperability logical-theories markets mathematics mechanized-mathematics metascience mkm oops optimality philosophy-of-science problem-solving proof-search resource-allocation scientific-community semweb socio-economic-systems theory-development unified-concept-theory by Scis0000002 on 2007-07-01 16:37:59 as **
  • Computability Logic: a formal theory of interaction
    (10 Dec 2004)
    by Giorgi Japaridze
    posted to abstract-state-machines adaptability aixi all-logical-theories behavior chu-space classical-logic computability computability-logic computational-epistemology dynamics formal-theory iff interaction interactivity interference intuitionistic-logic linear-logic logic relativity by scis0000001 on 2006-09-19 16:36:44 as **
  • Universal data compression and portfolio selection
    (1996)
    by TM Cover
    posted to aixi algorithmic-information-theory computational-economics computational-epistemology duality investment-theory portfolio-selection by scis0000001 on 2007-03-30 14:44:10 as ** along with 1 person ciga
  • Observations on Prequential Analysis
    by Jukka K En
    posted to aixi gales prediction prequential statistics survivability by scis0000001 on 2006-12-16 15:36:33 as **
  • Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements
    (27 Dec 2004)
    by Juergen Schmidhuber
    posted to adaptability aixi all-logical-theories atp autonomic-computing bias biops chu-space computability-logic computational-epistemology computational-learning computational-mathematics computational-science domain-theory dynamics efficiency formal-development formal-system generalized-kolmogorov-complexity goedel-machine gtm iff inference inference-dynamics interactivity lattice-of-theories least-time machine-learning metaevolution metalogic-programming metalogics metascience model-selection oops optimality paraconsistency problem-solving proof-search reinforcement-learning resource-allocation robotics searching self-adaptation self-managing self-reference semweb speed-prior survivability temporal-logic universal-search universality utility by scis0000001 on 2006-09-15 14:13:48 as ** along with 1 person Scis0000002
  • Interactive Computation: The New Paradigm
    by Dina Q Goldin, Scott A Smolka, Peter Wegner
    posted to adaptability aixi behavior chu-space computability computability-logic computational-epistemology dynamics iff interactivity interference paraconsistency relativity by scis0000001 on 2006-09-19 09:26:21 as ** along with 7 people and 2 groups Mandre fmatthes pverstra rgb csolar1971 tekno scottmoody macc pileWorks
  • A Gentle Introduction to The Universal Algorithmic Agent AIXI
    No. IDSIA-01-03. (2003)
    by Marcus Hutter
    edited by B Goertzel, C Pennachin
    posted to adaptability aixi al artificial-physics complexity computability-logic computational-epistemology emergence formation iff inductive-inference intelligence-order-relations interactivity machine-learning model model-selection order ordering paraconsistency prequential taxanomy uai universality by scis0000001 on 2006-08-05 10:07:49 as ** along with 2 people and 1 group rgb mzygmunt pileWorks
  • Meaning in Motion
    (2000)
    by Jeroen Groenendijk, Martin Stokhof
    posted to aixi chu-space computability-logic context-relativity dynamics interactivity interference meaning relativity semantics by scis0000001 on 2006-08-29 14:38:59 as ** along with 1 person Scis0000002
    • Note: You may cite this page as: http://www.citeulike.org/tag/aixi

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.