Регистрация | Вход в службу | FAQ      [?] 

Ключевое слово unified-concept-theory [49 articles]

Recent papers classified by the tag unified-concept-theory.
  • 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
    posted to argumentation-theory category-of-theories combination combinations-of-interactions computability-logic game-theory games network-of-interactions superposition unified-concept-theory by Scis0000002 on 2007-06-23 20:22:46 as **
  • General logics and logical frameworks
    (1994), pp. 355-391.
    by Narciso Mart&\#237;-Oliet, Jos&\#233; Meseguer
    posted to computational-logic general-logics interoperability logical-frameworks maude metalogical-frameworks metalogics metaprogramming metascience theory-of-institutions unified-concept-theory universal-logic by Scis0000002 on 2007-07-06 14:06:18 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 **
  • Identity of Proofs Based on Normalization and Generality
    ArXiv Mathematics e-prints (August 2002)
    by K Dosen
    posted to identity proof proofs proof-theory unified-concept-theory by Scis0000002 on 2007-08-31 22:51:02 as **
  • An Introduction to Algebraic Semiotics, with Application to User Interface Design
    : Computation for Metaphors, Analogy, and Agents (1999), 242.
    by Joseph Goguen
    posted to algebraic-semiotics bci cip neuroscience ui unified-concept-theory by Scis0000002 on 2007-09-12 13:26:29 as ** along with 1 person scis0000001
  • Biosemiotics and Biophysics — the fundamental approaches to the study of life
    Introduction to Biosemiotics (2007), pp. 167-177.
    by Kalevi Kull
    posted to biosemiotics cip cognitive-processes neurosemiotics semantic-space semantic-web semiotic-processes semiotics semiotic-space semiotic-states unified-concept-theory by Scis0000002 on 2007-10-18 14:39:29 as **
  • Beyond mind-reading: multi-voxel pattern analysis of fMRI data.
    Trends Cogn Sci, Vol. 10, No. 9. (September 2006), pp. 424-430.
    by KA Norman, SM Polyn, GJ Detre, JV Haxby
    posted to categorification categorifications classifications coding cognitive-dynamics cognitive-space cognitive-states conceptualizations distributed-representations mental-space mind-reading neural-codes neurodynamics neuro-semantics unified-concept-theory by Scis0000002 on 2007-09-27 18:00:28 as ** along with 7 people and 2 groups brian j_hsieh dmd schulz dianeoyen oyen librain ilyajune Foresight
  • A Triadic Model of Information Flow
    by Uta Priss
    posted to contextuality information-flows unified-concept-theory by Scis0000002 on 2008-05-25 14:47:36 as **
  • Formalizing Semantic Spaces for Information Access
    Annals of the Association of American Geographers, Vol. 91, No. 2. (2001), pp. 263-280.
    by Sara I Fabrikant, Barbara P Buttenfield
    posted to distributedness dynamics iff meaning-space parchments semantic semantics semantic-space semantic-spaces semantic-web topological-space unified-concept-theory by Scis0000002 on 2008-09-01 10:14:18 as **
  • Internal Logic - Foundations of Mathematics from Kronecker to Hilbert (SYNTHESE LIBRARY Volume 310) (Synthese Library)
    (01 June 2002)
    by Y Gauthier
    posted to arithmetical-logic constructive-logic constructivization hypercomputability iff individual-logic internal-logic local-logic local-mathematics metalogical-frameworks metamathematics multi-language-systems topos-theory unified-concept-theory by Scis0000002 on 2008-04-27 20:39:52 as **
  • Holographic Trees
    (2002), pp. 465-478.
    by Paolo Boldi, Sebastiano Vigna
    posted to distributed-computing holographic holography idealization interoperability limits metamathematics self-similarity tree trees ultrametricity unified-concept-theory by Scis0000002 on 2007-08-24 14:31:48 as **
  • Operational Galois adjunctions
    (2000)
    by B Coecke, D Moore
    edited by DJ Moore, A Wilce
    posted to closure-structures duality extremal-mathematics unified-concept-theory by Scis0000002 on 2007-12-30 13:38:36 as ** along with 1 person scis0000001
  • System Description: Twelf --- A Meta-Logical Framework for Deductive Systems
    (1999), pp. 202-206.
    by Frank Pfenning, Carsten Schürmann
    edited by H Ganzinger
    posted to computational-logic formal-digital-libraries formal-digital-library general-logics interoperability metalogical-frameworks metalogics metaprogramming metascience theory-of-institutions twelf unified-concept-theory universal-logic by Scis0000002 on 2007-07-10 09:20:53 as **
  • Superstatistics: Theoretical concepts and physical applications
    ArXiv e-prints, Vol. 705 (May 2007)
    by C Beck
    posted to category-of-statistics category-of-theories statistical-physics superstatistics unified-concept-theory by Scis0000002 on 2007-06-30 15:05:45 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
  • Development of NeuroElectroMagnetic ontologies(NEMO): a framework for mining brainwave ontologies
    (2007), pp. 270-279.
    by Dejing Dou, Gwen Frishkoff, Jiawei Rong, Robert Frank, Allen Malony, Don Tucker
    posted to activities annotating bcis behaviors brain-reading brain-theories cognitive-architectures decoding iff interoperability neurodynamics neuroimaging neurosemantics neuro-semantics neurotechnologies ontologies semantics semantic-space semantic-spaces time-series-analysis unified-concept-theory vocabularies by Scis0000002 on 2008-08-02 19:16:56 as **
  • A Mathematical Model for Context and Word-Meaning
    Modeling and Using Context (2003), pp. 1027-1027.
    by Dominic Widdows
    posted to contextuality unified-concept-theory by Scis0000002 on 2008-05-25 13:29:07 as ** along with 4 people ianturton lillejul flashfonic briordan
  • Permissions and obligations in hierarchical normative systems
    (2003)
    by G Boella, L van der Torre
    posted to category-of-theories computational-legal-sciences control dynamical-system heterogeneous-theories hierarchy hierarchy-of-laws hierarchy-of-norms iff lattice-of-laws lattice-of-norms lattice-of-specifications lattice-of-theories laws normative-system normative-systems norms power process-theory social-systems unified-concept-theory by Scis0000002 on 2007-06-10 17:45:49 as **
  • 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
  • Generic Model Management: A Database Infrastructure for Schema Manipulation
    (2001), pp. 1-6.
    by Philip A Bernstein
    posted to iff interoperability mda mdd mde model-transformation unified-concept-theory by Scis0000002 on 2007-08-21 14:07:19 as **
  • Tensor products of contexts and complete lattices
    Algebra Universalis, Vol. 31, No. 1. (1 March 1994), pp. 36-65.
    by Marcel Erné
    posted to category-of-contexts category-of-formal-contexts combination complete-lattices concept-lattice tensor-product unified-concept-theory by Scis0000002 on 2007-06-24 15:19:40 as ** along with 1 person adrian_pigors
  • The necessity of trans-scientific frameworks for doing interdisciplinary research: Developed from a conference paper for paradigms lost and paradigms gained: negotiating interdisciplinarity in the twenty-first century, Calgary, May 2001
    Kybernetes: The International Journal of Systems & Cybernetics, Vol. 35, No. 3-4. (March 2006), pp. 403-425.
    by Brier, Saren
    posted to metalogical-frameworks metaphilosophical-frameworks metaphilosophy metascience metascientific-frameworks scientific-frameworks topos-morphisms unified-concept-theory by Scis0000002 on 2007-09-02 14:38:08 as **
  • Toward Question-Asking Machines: The Logic of Questions and the Inquiry Calculus
    by Kevin H Knuth
    posted to boolean-algebra calculus category-theory corpus database domain-theory effective-topos epistemology experiment extensivity iff inductive-inference information-dynamics information-resource information-retrieval information-system information-theory inquiry-calculus ir lattice logics measurement order-theory partial-order partial-order-theory partition probability-theory query question-answering question-asking question-lattice relevance search search-theory semweb separability stone-duality unified-concept-theory by scis0000001 on 2007-04-16 14:48:55 as ** along with 2 people Scis0000002 Kristoftol
  • Lattice-based Information Retrieval
    (2000)
    by P Ue
    posted to fca information-retrieval inquiry-calculus lattice-theory order-theory probability-theory search-theory unified-concept-theory by scis0000001 on 2007-05-04 23:50:09 as ** along with 1 person Carol_Perryman
  • Information Flow : The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)
    (28 July 1997)
    by Jon Barwise, Jerry Seligman
    posted to algorithmic-information-theory category-of-theories channel-theory chu-space computational-neuroscience computational-science formal-development formal-science granularity iff information-flow lattice-of-theories metascience temporal unified-concept-theory by scis0000001 on 2006-09-23 13:50:41 as ** along with 2 people and 1 group msakai aleks Compilers
  • 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 5 people jrw proportional madhadron gpi Scis0000002
  • Arbitrary Relations in Formal Concept Analysis and Logical Information Systems
    : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 166-180.
    by Sã©bastien Ferrã©, Olivier Ridoux, Benjamin Sigonneau
    posted to algebraic-structures all-algebraic-structures all-relational-structures chu-space fol information-system logical-information-system monotonicity relational-structures relations unified-concept-theory by scis0000001 on 2007-01-19 18:03:31 as ** along with 1 person Scis0000002
  • Mathematical Foundations for Program Transformations
    (1990), pp. 319-321.
    by Rahma B Ayed, Jules Desharnais, Marc Frappier, Ali Mili
    posted to abstract-machine combination composition compositionality computability-logic computational-science constructive formal-development formal-science hetcasl heterogeneity hets iff logics matching program program-adaptation program-transformation programming proof proof-transformation software-incrementation software-merging specification transformation unified-concept-theory by scis0000001 on 2007-05-15 09:29:13 as **
  • S-arrangements with repetitions
    (2002), pp. 261-266.
    by SR Schwer
    posted to formal-language-theory generalization s-arrangements unified-concept-theory by scis0000001 on 2007-04-14 01:17:31 as **
  • On the Role of Category Theory in the Area of Algebraic Specification
    (1996), pp. 17-48.
    by Hartmut Ehrig, Martin Gro&\#223;e-Rhode, Uwe Wolter
    posted to algebraicity category-of-specifications category-theory classifying-categories concurrency configuration-space formal-development higher-dimensional-category-theory indexed-categories lattice-of-specifications metascience sketch-theory specification specification-lattice specifications-lattice topos-theory unified-concept-theory by scis0000001 on 2007-05-15 14:30:26 as ** along with 1 person Scis0000002
  • Distributed Representations and Nested Compositional Structure
    (1994)
    by TA Plate
    posted to cip cognition combination distributed representation unified-concept-theory by scis0000001 on 2007-04-29 18:09:14 as ** along with 1 person Scis0000002
  • 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 **
  • Mayet-Godowski Hilbert Lattice Equations
    (26 Sep 2006)
    by Norman D Megill, Mladen Pavicic
    posted to concept-lattice experiment-lattice hilbert-lattice hilbert-space lattice lattice-of-experiments orthoalgebra probability-theory quantum-computing quantum-domain-theory quantum-epistemology quantum-institutions quantum-logic question-lattice schroedinger-equation subspace unified-concept-theory variety by scis0000001 on 2007-03-06 09:30:57 as **
  • Analyses of design processes based on category theory and channel theory
    SICE 2003 Annual Conference, Vol. 1 (2003), pp. 961-966.
    by K Minamizono, O Katai, T Shiose, H Kawakami
    posted to category-theory channel-theory chu-space collaboration concurrency costing design-lattice design-process design-space design-theory dev domain-theory efficiency enterprise games hyperefficiency iff innovation institutions invention just-in-time managed-logic metaprocess methodology multisource-algorithmic-information-theory optimality parchments patent-classification patents planning problem-solving process process-theory product-classification product-development product-lattice productivity refinement unified-concept-theory by scis0000001 on 2007-03-15 16:35:54 as **
  • 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 **
  • Contextualizing Concepts Using a Mathematical Generalization of the Quantum Formalism
    (2002)
    by L Gabora, D Aerts
    posted to quantum-theory state-context-property-system unified-concept-theory by scis0000001 on 2007-04-28 13:30:14 as ** along with 1 person Scis0000002
  • Quantum Mechanics Beyond Hilbert Space
    Vol. 504 (1998), 3.
    by JP Antoine
    edited by A Bohm, HD Doebner, P Kileanowski
    posted to closure-space generalized-hilbert-space hilbert-space quantum-theory unified-concept-theory by scis0000001 on 2007-04-29 16:33:00 as **
  • Formalizing Semantic Spaces for Information Access
    (2001)
    by S Fabrikant
    posted to distributed dynamics iff meaning-space parchments semantic-space semantics semweb topological-space unified-concept-theory by scis0000001 on 2007-04-14 14:32:12 as **
  • A cartesian closed category of approximable concept structures
    (2004)
    by P Hitzler, G Zhang
    posted to algebraic algorithmic-information-theory all-logical-theories approximable-concepts axiomatic-system axiomatizations cartesian-closed-categories category-of-formal-contexts category-of-information-systems chu-space closed-categories complete-partial-order computability computability-logic computational-epistemology concept-lattice conceptual-structures cpo domain-theory fca finiteness formal-context iff incompleteness infinite infinite-formal-context information-system lattice lattice-of-theories logical-structures logical-theories lp mda minimal-sufficient-statistic n-information-system nonmonotonicity partial-information polyadic-concept-analysis semantics semweb state-space unified-concept-theory by scis0000001 on 2006-10-13 16:58:05 as **
  • A Theory of Concepts and Their Combinations II: A Hilbert Space Representation
    (26 Feb 2004)
    by Diederik Aerts, Liane Gabora
    posted to categorization classification conceptual-structures context epistemology fca hilbert-space linearity logical-structures quantum-logic semantics state-space subspace svm unified-concept-theory by scis0000001 on 2007-03-07 14:18:03 as ** along with 2 people JayDugger Scis0000002
  • Algorithmic Theories of Everything
    (20 Dec 2000)
    by Juergen Schmidhuber
    posted to abstract-state-machines algebraic algorithmic-information-theory all-logical-theories binary-physics chu-space compuatational-structures computability computability-logic computational-cosmology computational-epistemology computational-physics concurrency discreteness emergence eom generalized-kolmogorov-complexity gtm hierarchy-of-structures intelligence-order-relations kolmogorov-complexity lattice-of-theories least-time mathematical-structures physical-structures quantum-computer scott-information-system speed-prior taxonomy-of-structures toe unified-concept-theory universality by scis0000001 on 2006-06-13 10:58:37 as ** along with 3 people BrendaChng JayDugger Scis0000002
  • Relating CASL with other specification languages: the institution level
    Theor. Comput. Sci., Vol. 286, No. 2. (September 2002), pp. 367-475.
    by Till Mossakowski
    posted to institutions parchments specification unified-concept-theory by scis0000001 on 2007-05-16 00:09:57 as ** along with 2 people Scis0000002 marcinzalewski
  • Chu spaces as a semantic bridge between linear logic and mathematics
    Theor. Comput. Sci., Vol. 294, No. 3. (February 2003), pp. 439-471.
    by Vaughan Pratt
    posted to algebraic-structures algebraicity algorithmic-information-theory algorithmic-statistics all-algebraic-categories all-algebraic-structures all-relational-structures all-small-categories category-theory chu-space computability-logic conceptual-structures discrete-geometry fca information-distance interactivity lattice linear-logic logical-information-system mathematical-structures mathematics relational-structures representation semantics stone-gamut transformation unified-concept-theory by scis0000001 on 2007-05-16 08:24:14 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
  • MDA and RM-ODP: two approaches in modern ontological engineering
    by Andrey Naumenko, Alain Wegmann
    posted to algorithmic-information-theory dev executable formal-development iff mda metamodel metamodeling metatheory modeling optimality rm-odp unified-concept-theory by scis0000001 on 2006-09-21 17:39:33 as **
  • Temporal Concept Analysis
    by Karl E Wolff
    posted to behavior behavior-space chu-space computational-epistemology conceptual-structures continuity discreteness domain-theory duality dynamical-system dynamics event event-space fca granularity iff information-system lca linearity mereology modeling n-information-system phase-space polyadic-concept-analysis qualitative scale-relativity scale-space space-time spatio-temporal state-space symbolic-dynamics tca temporal temporal-concept-analysis time transition-system unified-concept-theory by scis0000001 on 2006-12-07 16:23:37 as ** along with 1 person Scis0000002
  • Complete Lattices Represent Complete Heyting Algebras (Or: Quantum Logic With An Intuitionistic Implication)
    by Bob Coecke
    posted to atomisticity closure-structures commutativity complete concept-lattice conceptual-structures formal-science frames heyting-algebra hyperdoctrine inquiry-calculus intuitionistic-logic lattice lattice-of-properties locales operational ortholattice probability-theory property-lattice quantum-logic stone-duality topos-theory unified-concept-theory by scis0000001 on 2007-05-09 22:41:14 as ** along with 1 person Scis0000002
  • A logical generalization of formal concept analysis
    (2000)
    by S Ferr'e, O Ridoux
    posted to axiomatic-system chu-space computability-logic conceptual-structures context-logic domain-logic epistemology fca formal-system generalization iff inference information-system lattice-of-theories lca logic logical-information-system logical-structures logical-theories monotonicity unified-concept-theory by scis0000001 on 2006-11-21 10:15:16 as **
  • 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
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/unified-concept-theory

    RIS BibTeX