Register | Log in | FAQ      [?] 

Tag theory-development [27 articles]

Recent papers classified by the tag theory-development.
RIS BibTeX RTF/PDF
  • A Reflective Framework for Formal Interoperability
    by Sri
    posted to category-of-theories cognitive-architectures interoperability logical-theories meta-level-architectures metalogics theory theory-development by Scis0000002 on 2007-07-05 13:46:39 as **
  • Logically Possible Machines
    pp. 259-280.
    by E Steinhart
    posted to metalogics logical-theories logical-machines lattice-of-situations lattice-of-machines hyperefficiency hierarchy-of-toposes hierarchy-of-machines hierarchy-of-formal-languages hierarchy-of-decision-problems hierarchy-of-complexity-classes hierarchy-of-abstract-machines formal-theories formal-science formal-logical-theories finitary-stochastic-hierarchy executable-theories effective-topos computational-mechanics computability-theory computability-logic category-of-theories category-of-specifications category-of-contexts all-possible-worlds toes theory-development superstatistics quantum-computability philosophy-of-science omega-innovating omega-hierarchies modeling by Scis0000002 on 2007-06-30 15:32:17 as **
  • Testing Justice Theories with Blockmodels
    Social Forces, Vol. 65, No. 4. (1987), pp. 1143-1149.
    by Barry Markovsky, Thomas W Ford
    posted to theory-development testing scientification scientific-methodologies scientific-method philosophy-of-science philosophy-of-law methodologies meta-justice-sciences justice-theories justice-models executable-justice-theories by Scis0000002 on 2008-11-09 10:10:22 as **
  • 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 **
  • Little Theories
    (1992), pp. 567-581.
    by William M Farmer, Joshua D Guttman, Javier F Thayer
    posted to little-theories logical-theories micro-theories small-theories theory-development by Scis0000002 on 2007-07-05 14:08:07 as ** along with 2 people and 2 groups A_Olympia scis0000001 Philosophy_of_Information Blog_and_Wiki_Research
  • Constructive approach to logics of physical systems: Application to EPR case
    International Journal of Theoretical Physics, Vol. V29, No. 10. (1 October 1990), pp. 1041-1058.
    by Jarosåaw Pykacz, Emilio Santos
    posted to theory-development by scis0000001 on 2006-11-10 09:31:54 as **
  • Theory Refinement Through Knowledge-Based Feature Set Selection
    by Brendan D Burns, Andrea P Danyluk
    posted to feature-selection refinement theory-development by scis0000001 on 2006-09-21 09:57:49 as **
  • A Topos Foundation for Theories of Physics: IV. Categories of Systems
    ArXiv Quantum Physics e-prints (March 2007)
    by A Doering, CJ Isham
    posted to category-theory formal physics theory-development topos-theory by scis0000001 on 2007-04-11 10:37:58 as ** along with 4 people prydzews jrw proportional gpi
  • A Theory-Based Representation for Object-Oriented Domain Models
    IEEE Trans. Softw. Eng., Vol. 26, No. 6. (June 2000), pp. 500-517.
    by Scott D Deloach, Thomas C Hartrum
    posted to category-of-signatures category-of-specifications category-theory colimit combination formal-development ood specificattion theory-development theory-morphism unified-concept-theory by scis0000001 on 2007-05-02 23:23:46 as **
  • The HR program for theorem generation
    (2002)
    by S Colton
    posted to automation concept formation theorem theory-development theory-formation by scis0000001 on 2006-11-24 13:20:54 as **
  • The Application of Machine Learning Tools to the Validation of an Air Traffic Control Domain Theory
    International Journal on Artificial Intelligence Tools, Vol. 10, No. 4. (2001), pp. 613-637.
    by MM West, TL Mccluskey
    posted to theory-development theory-validation by scis0000001 on 2006-09-21 10:00:54 as **
  • A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
    ArXiv Quantum Physics e-prints (March 2007)
    by A Doering, CJ Isham
    posted to algorithmic-information-theory category-of-languages category-of-systems category-of-theories category-theory classicality computability-logic deep-inference dev effective-topos executable formal formal-development formal-language formal-language-theory formal-science formal-system formalization higher-dimensional-category-theory higher-dimensional-topos-theory hyperdoctrine iff intuitionistic-logic logics managed-logic metamodeling metascience modeling nonclassicality operational parchments physics quantum-domain-theory quantum-institutions representation rewriting-logic theory-development theory-selection topos topos-selection topos-theory unified-concept-theory by scis0000001 on 2007-04-12 08:08:24 as ** along with 7 people svbcrypto prydzews jrw proportional madhadron gpi Scis0000002
  • A Taxonomy of Theories
    by Anthony A Aaby
    posted to algorithmic-information-theory all-logical-theories category-of-theories computational-science dev e-science formal-development formal-science formalization hierarchy-of-theories iff institutions interoperability lattice lattice-of-theories logical-theories mda metamodeling metascience metatheory ontology ontology-development optimality parchments representation rm-odp semweb standards taxonomy taxonomy-of-theories theory theory-development unified-concept-theory by scis0000001 on 2006-09-08 13:28:12 as **
  • Structured Theory Development for a Mechanized Logic
    Journal of Automated Reasoning, Vol. 26, No. 2. (2001), pp. 161-203.
    by Matt Kaufmann, Strother J Moore
    posted to automating theory-development by scis0000001 on 2006-09-19 08:21:23 as ** along with 1 person and 1 group gabgas Theorem Proving
  • PVS: Combining specification, proof checking, and model checking
    Vol. 1102 (/ 1996), pp. 411-414.
    by S Owre, S Rajan, JM Rushby, N Shankar, MK Srivas
    edited by Rajeev Alur, Thomas A Henzinger
    posted to pvs specification theory-development by scis0000001 on 2006-09-19 08:41:51 as ** along with 1 person dhein1030
  • An Interactive Environment for Scientific Modeling and Discovery
    (2002)
    by Javier N Sanchez, Pat Langley
    posted to api collaboration computational-epistemology e-science epistemology ide interactive-epistemology metascience methodology modeling research scide theory-development theory-development-environment tide tool toolkit by scis0000001 on 2006-09-19 12:57:45 as **
  • A Framework For Interactive Modeling And Discovery Of Scientific Knowledge
    by Javier N Sánchez
    posted to discovery epistemology framework theory-development by scis0000001 on 2006-06-04 17:01:01 as **
  • An Infrastructure for Intertheory Reasoning
    (2000), pp. 115-131.
    by William M Farmer
    posted to inference intertheory reasoning theory-development by scis0000001 on 2006-09-19 08:29:41 as **
  • Theory Interpretation in Simple Type Theory
    (1993), pp. 96-123.
    by William M Farmer
    posted to interpretation theory-development theory-interpretation by scis0000001 on 2006-09-19 08:30:57 as **
  • Occam's Razor as a Formal Basis for a Physical Theory
    (24 Feb 2002)
    by Andrei N Soklakov
    posted to ait complexity dev epistemology formalization metaprocess methodology model-selection modeling occam-razor occam-selector scientific-method selection selector simplicity theorization theorizing theory-development theory-formation theory-selection by scis0000001 on 2006-09-05 14:58:20 as **
  • What Is a Concept?
    Lecture Notes in Computer Science : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 52-77.
    by Joseph Goguen
    posted to algebraic-semiotics blend-space blending-theory category-of-theories category-theory channel-theory chu-space classification combination concept-lattice conceptual-space conceptual-structures context contextuality cultrual-evolution dynamical-system fca formal-development formal-language-theory formal-methods formal-philosophy formal-science galois-frame general-systems-theory iff information-flow institutions lattice-of-theories logical-framework managed-logic maude mental-space metalogics metascience ontology ontology-space parchments regularity representation semantic-space semantics semiotic-space signatures systems-theory theory-development topos-theory unified-concept-theory by scis0000001 on 2007-04-21 14:31:54 as ** along with 7 people and 2 groups garyfeng adrian_pigors maike livingthingdan mzygmunt RafG Scis0000002 ReadingLab livingthing
  • Simulation Games in Theory Development
    Sociological Forum, Vol. 12, No. 1. (1997), pp. 103-115.
    by Scott L Feld
    posted to simulation theory-development by scis0000001 on 2006-09-22 10:01:00 as ** along with 2 people jgoodwin MorganHill
  • Theoroidal Maps as Algebraic Simulations
    : Recent Trends in Algebraic Development Techniques (2005), pp. 126-143.
    by Narciso Martí-Oliet, José Meseguer, Miguel Palomino
    posted to algebraic category-of-specifications category-of-theories institutions intertheory simulation specification temporal-logic temporal-logic-institution theoroidal theory-development by scis0000001 on 2007-04-07 13:17:39 as ** along with 1 person Scis0000002
  • A Proposal for a Formal OCL Semantics in Isabelle/HOL
    No. 2410. (2002), pp. 99-114.
    by Achim D Brucker, Burkhart Wolff
    edited by César Muñoz, Sophiène Tahar, V\ictor Carreño
    posted to formal isabelle ocl semantics theory-development by scis0000001 on 2006-09-21 17:05:26 as **
  • A Logical Toolkit For Theory (re)construction
    pp. 183-217.
    by Bruggeman, J.
    posted to theory-development theory-development-environment toolkit by scis0000001 on 2006-09-19 12:40:10 as **
  • Theory Revision in Equation Discovery
    Lecture Notes in Computer Science, Vol. 2226 (2001)
    by Ljupco Todorovski, Saso Dzeroski
    posted to categorification discovery equation equational-logic reconstruction theory-development theory-revision by scis0000001 on 2006-09-19 12:59:49 as ** along with 1 person Scis0000002
  • Patent Space Visualization for Patent Retrieval
    by AW Mclean
    posted to category-of-patents category-of-specifications category-of-theories design-theory dev formal-development hyperefficiency innovating innovation-theory inventing invention-theory lattice-of-patents mda patent-development patent-lattice patent-space patent-specification patent-strategy patent-theory patents portfolio product-development specification theory-development unified-concept-theory visualization by scis0000001 on 2007-03-15 14:43:47 as ** along with 1 person Scis0000002
    • Note: You may cite this page as: http://www.citeulike.org/tag/theory-development

    RIS BibTeX RTF/PDF
    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.