registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

Scis0000002s computability-logic [19 articles]

Neue Publikationen in Scis0000002s Bibliothek eingetragen unter dem Bezeichner: computability-logic. You can also see everyone's computability-logic.
  • Computational Dialectics
    (1994)
    by T Gordon
  • Games and logics for a noninterleaving bisimulation
    Nordic J. of Computing, Vol. 2, No. 2. (1995), pp. 221-249.
    by Mogens Nielsen, Christian Clausen
    posted to bisimulation computability-logic games by Scis0000002 on 2008-05-22 23:17:29 as **
  • Why Occam's Razor
    (28 Jan 2004)
    by Russell K Standish
  • A Theory of Universal Artificial Intelligence based on Algorithmic Complexity
    ArXiv Computer Science e-prints (April 2000)
    by M Hutter
  • Probability and Finance: It's Only a Game!
    (15 June 2001)
    by Glenn Shafer, Vladimir Vovk
  • Quantization of Games: Towards Quantum Artificial Intelligence
    ArXiv Quantum Physics e-prints (December 2004)
  • Computable Economics: Methodology and Philosophy (Routledge Advances in Experimental & Computable Economics)
    (2007)
  • Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements
    (27 Dec 2004)
    by Juergen Schmidhuber
  • Finding out = achieving decidability
    (1989)
    by M Rayner, S Janson
    posted to computability-logic decidability question-answering by Scis0000002 on 2007-08-14 18:20:53 as **
  • Logical for Social Software
    by Marc Pauly
  • Modeling Large Scale and Complex Infrastructure Systems as Computable Games
    Network Science, Nonlinear Science and Infrastructure Systems (2007), pp. 53-75.
    by Terry Friesz, Reetabrata Mookherjee, Srinivas Peeta
  • Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming
    by Carlos I Chesñevar, Guillermo R Simari, Lluis Godo
  • Agent based cooperative theory formation in pure mathematics
    (2000)
    by S Colton, A Bundy, T Walsh
  • Games as formal tools versus games as explanations in logic and science
    Foundations of Science, Vol. 8, No. 4. (1 December 2003), pp. 317-364.
    by Ahti-Veikko Pietarinen
  • Modal Logic As Dialogical Logic
    Synthese, Vol. 127, No. 1 - 2. (April 2001), pp. 57-93.
    by Patrick Blackburn
  • Logically Possible Machines
    pp. 259-280.
  • Theories of Legal Argumentation and Concepts of Law. An Approximation
    Ratio Juris, Vol. 15, No. 4. (2002), pp. 377-402.
    by Massimo La Torre
  • A tool in modelling disagreement in law: preferring the most specific argument
    (1991), pp. 165-174.
    by Henry Prakken
  • Forming telecommunications software specifications from a service-driven model using enhanced software tools
    Journal of Systems Integration, Vol. 2, No. 4. (24 October 1992), pp. 389-404.
    by E Cameron, C Norman, Lillian Ruston, Hassan Srinidhi
  • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/Scis0000002/tag/computability-logic

    RIS BibTeX