Registrati | Log in | FAQ      [?] 

Tag formal-theories [23 articles]

Articoli recentemente classificati sotto il tag formal-theories.
  • The Mathematics and Mechanics of Relating Formal Theories
    by Robert L Constable
    posted to formal-evelopment formal-methods formal-theories logical-theories theories by Scis0000002 on 2007-08-07 22:33:12 as **
  • Fiber Bundle Gauge Theories and "Field's Dilemma"
    (19 May 2000)
    by Yair Guttmann, Holger Lyre
    posted to bundels fields forces formal-theories gauge-theories interactions mathematical-structures philosophy-of-physics physical-models physical-structures physical-substrates physical-theories realizability standard-model substrates by Scis0000002 on 2008-05-07 23:32:08 as **
  • ILP: Just Do It
    (2000), pp. 3-18.
    by David Page
    posted to equation-discovery formalizing formal-theories ilp lattice-of-clauses micro-theories by Scis0000002 on 2007-07-10 08:43:07 as **
  • The justification of logical theories based on data compression
    (1995), pp. 87-121.
    by A Srinivasan, S Muggleton, M Bain
    posted to algorithmic-information-theory cip cognitive-architectures compression formal-theories ilp induction logical-theories maude meta-level-architectures theory-selection by Scis0000002 on 2007-07-05 14:20:13 as **
  • Theory of Nothing
    (15 May 2006)
    by Russell Standish
    posted to ensemble-theories formal-theories model-theory neurophilosophy scientific-theories toes by Scis0000002 on 2008-07-14 10:02:58 as **
  • Is “the theory of everything” merely the ultimate ensemble theory?
    (1 Dec 1998)
    by Max Tegmark
    posted to accessibility all-categorical-structures all-mathematical-structures all-possible-worlds complexity computability computability-theory constructivization control controlability decision-procedure exploitation exploiting exploration exploring extendability extraction formal-interoperability formalization-hypothesis formal-problem-solving formal-science formal-theories goedel-machine hierarchy-of-machines higher-dimensional-category-theory hypercomputability hypercomputing hyperefficiency intelligence-order-relations interconnectivity interoperability mathematical-structures metaevolution metalogical-frameworks metalogics metamathematical-frameworks metamathematics metaphilosophy metascience metaselection philosophy-of-science physical-structures power presentation quantum-computability regularities representation resource-allocation selection specification survivability topos-theory transformation by Scis0000002 on 2007-07-15 18:08:19 as ** along with 1 person scis0000001
  • Strings from Logic
    (9 Nov 2000)
    by Christof Schmidhuber
    posted to formal-string-theory formal-theories logical-theories string-theories string-theory topos-theory by Scis0000002 on 2008-01-17 14:17:15 as **
  • Carnap and Quine on the distinction between external and internal questions
    Philosophical Studies, Vol. 33, No. 3. (1 April 1978), pp. 301-312.
    by Bruce N Waller
    posted to algorithmic-information-theory categories category-theory coding complexity-classes computational-complexity-theory formal-theories languages linguistic-frameworks logical-frameworks mathematical-structures metalogical-frameworks metaphilosophical-frameworks question-asking representations toes toposes topos-theory unified-concept-theory unifying by Scis0000002 on 2008-06-27 13:13:44 as ** along with 1 person jrw
  • The Mathematical Universe
    (5 Apr 2007)
    by Max Tegmark
    posted to algorithmic-information-theory ensemble-theories formal-interoperability formal-language-theory formal-physics formal-science formal-theories mathematical-logic mathematical-structures metalogical-frameworks metamathematical-frameworks philosophy-of-science physical-models physical-theories theories toes topos-theory unified-theories universes by Scis0000002 on 2008-06-28 11:25:56 as ** along with 10 people and 2 groups A_Olympia jrw RMT proportional JayDugger papillon80 gpi paes webbjn qwermish Philosophy_of_Information Blog_and_Wiki_Research
  • Normative systems and their revision: an algebraic approach
    Artif. Intell. Law, Vol. 11, No. 2-3. (2003), pp. 81-104.
    by Lars Lindahl, Jan Odelstad
    posted to survivability specification regulative-systems normative-systems metalogical-frameworks legal-frameworks lattice-of-norms lattice-of-legal-frameworks lattice-of-frameworks justice-infrastructures justice-frameworks hyperplanes hierarchy-of-normative-systems hierarchy-of-legal-frameworks heterogeneous-theories fractality formal-theories formal-methods formal-legal-sciences formal-justice-sciences evolution emergence control-systems computational-legal-sciences computational-justice-sciences combination coalgebraic-methods category-of-theories category-of-specifications category-of-normative-systems algebraicity algebraic-methods algebraic by Scis0000002 on 2007-06-21 17:51:31 as **
  • Theory Revision in Equation Discovery
    Lecture Notes in Computer Science, Vol. 2226 (2001)
    by Ljupco Todorovski, Saso Dzeroski
    posted to discovering equations formalizing formal-theories modeling by Scis0000002 on 2008-01-30 13:38:40 as ** along with 1 person scis0000001
  • Why Occam's Razor
    (28 Jan 2004)
    by Russell K Standish
    posted to algorithmic-information-theory cantor-space computability computability-logic computational-cosmology descriptive-complexity diophantine-equations domain-theory formal-system formal-systems formal-theories no-boundary-conditions polynomial-equations polynomials recursively-enumerable-formal-systems recursively-enumerable-sets recursively-enumerable-theorems toe toes topos-theory unifying by Scis0000002 on 2008-04-08 19:11:09 as **
  • Inductive Logic Programming for Discovering Financial Regularities
    by Boris Kovalerchuk
    posted to finance formalizing formal-theories ilp time-series by Scis0000002 on 2007-12-16 17:45:48 as **
  • The mathematical foundations of dimensional analysis and the question of fundamental units
    International Journal of Theoretical Physics, Vol. 17, No. 12. (1 December 1978), pp. 957-974.
    by Peter Szekeres
    posted to detecting dimensional-analysis epistemology equation-discovery feature-selection formal-theories gauge-groups gauge-invariance gauges gauge-theories gauge-theory gauge-transformations gauging group-of-gauge-transformations group-theory invariances lattice-of-equivalence-classes lattice-of-features lattice-of-gauge-transformations lattice-of-invariants lattice-of-transformations measurability measurables measure-theory measuring observables percepting philosophy-of-science physical-theories signal-processing symmetries units universality-classes by Scis0000002 on 2008-04-30 10:03:27 as **
  • Logically Possible Machines
    pp. 259-280.
    by E Steinhart
    posted to all-possible-worlds category-of-contexts category-of-specifications category-of-theories computability-logic computability-theory computational-mechanics effective-topos executable-theories finitary-stochastic-hierarchy formal-science formal-theories hierarchy-of-machines lattice-of-machines lattice-of-situations logical-theories metalogics modeling philosophy-of-science quantum-computability superstatistics theory-development toes by Scis0000002 on 2007-06-30 15:32:17 as **
  • Intertheory relations from unified theories
    Journal for General Philosophy of Science, Vol. 22, No. 2. (1991), pp. 263-282.
    by Gebhard Geiger
    posted to unified-theories toes theoroidal scientific-theories philosophy-of-science intertheory formal-theories category-of-theories by Scis0000002 on 2008-09-03 12:45:33 as **
  • The modular structure of physical theories
    Synthese
    by Olivier Darrigol
    posted to formal-theories metalogical-frameworks modularity philosophy-of-physics physical-models physical-theories theories by Scis0000002 on 2008-05-07 14:45:52 as ** along with 1 person and 1 group qwermish Philosophy of physics
  • Perspective Switching Using Theories and Interpretations
    by William M Farmer
    posted to category-of-modules category-of-ontologies category-of-theories contextuality distributedness formal-digital-libraries formal-theories hets interoperability modularity network-of-modules network-of-ontologies network-of-theories problem-solving semweb support theory-interpretations unified-concept-theory w-alignments by Scis0000002 on 2007-08-23 15:10:36 as ** along with 1 person scis0000001
  • Review: [Unifying Scientific Theories: Physical Concepts and Mathematical Structures]
    The Philosophical Quarterly, Vol. 51, No. 204. (2001), pp. 405-408.
    by Mark Steiner
    posted to category-of-theories formal-theories mathematical-structures physical-structures scientific-theories unifying by Scis0000002 on 2008-05-08 00:24:51 as **
  • Current Trends in Axiomatic Quantum Field Theory
    Vol. 558 (2000), 43.
    by D Buchholz
    edited by P Breitenlohner, D Maison
    posted to axiomatic formal-theories qft by Scis0000002 on 2008-01-23 23:39:40 as **
  • Logical quantizations of first-order structures
    International Journal of Theoretical Physics, Vol. 35, No. 3. (1 March 1996), pp. 495-517.
    by Hirokazu Nishimura
    posted to categorical-theories equational-theories fol formal-theories limit-theories logical-theories mathematical-structures quantization toposes topos-theory by Scis0000002 on 2007-08-02 14:17:27 as **
  • Semantics and Conceptual Change
    The Philosophical Review, Vol. 88, No. 3. (1979), pp. 327-365.
    by Jerrold J Katz
    posted to all-scientific-theories category-of-theories ensemble-theories formal-theories logical-theories metalogical-frameworks metalogics metamathematical-frameworks metascience metascientific-frameworks philosophy-of-science scientific-models scientific-theories theories by Scis0000002 on 2008-07-14 09:49:08 as **
  • Scaling Up Inductive Logic Programming: An Evolutionary Wrapper Approach
    Applied Intelligence, Vol. 15, No. 3. (1 November 2001), pp. 181-197.
    by Philip G Reiser, Patricia J Riddle
    posted to category-of-theories formal-theories gp ilp philosophy-of-science population-of-theories by Scis0000002 on 2008-03-15 19:29:43 as **
    • Puoi citare questa pagina come: http://www.citeulike.org/tag/formal-theories

    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.