Registrati | Log in | FAQ      [?] 

Tag meta-level-architectures [13 articles]

Articoli recentemente classificati sotto il tag meta-level-architectures.
  • 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 **
  • A Meta Level Architecture For Workflow Management
    by Clemens Beckstein, Joachim Klausner
    posted to distributedness enterprise hyperefficiency meta-level-architectures reflectivity workflow by Scis0000002 on 2007-09-01 14:46:03 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 **
  • Modal and meta languages: consistency and expressiveness
    (1995)
    by L Aiello, M Cialdea, D Nardi, M Schaerf
    posted to metalanguages meta-level-architectures modal-logic self-reference self-referentiality by Scis0000002 on 2007-09-24 23:12:50 as **
  • Talking Heads: Language, Metalanguage, and the Semiotics of Subjectivity
    (01 November 1997)
    by Benjamin Lee
    posted to category-of-interactions category-of-theories cultural-evolution dynamics formal-philosophy hierarchy-of-machines intelligence-order-relations interactivity interoperability intersubjectivity metaevolution metalanguages metalayer-architectures meta-level-architectures metalogical-frameworks metamathematical-frameworks metamathematics metaphilosophical-frameworks metaphilosophy metascience neurophilosophy neuroscience objectivity philosophical-frameworks philosophy-of-science relativity scientific-community self-reflectivity semantics semiotics subjectivity synthetic-science by Scis0000002 on 2007-07-10 09:40:57 as ** along with 1 person 13matt
  • Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements
    (27 Dec 2004)
    by Juergen Schmidhuber
    posted to topos-theory speed-games self-interacting reflectivity quantum-computational-intelligence parallelization metalogical-frameworks meta-level-architectures formalization-hypothesis formal-digital-libraries formal-computational-intelligence constructivism computational-intelligence computability-logic cognitive-architectures argumentation-theory argumentation-games by Scis0000002 on 2007-08-22 23:40:30 as ** along with 1 person scis0000001
  • Consciousness, cognition, and context: extending the global neuronal workspace model
    eprint arXiv:q-bio/0401018 (January 2004)
    by R Wallace
    posted to hierarchical-logic meta-level-architectures by Scis0000002 on 2007-09-24 14:13:19 as **
  • Geometric theories and modal logic in the calculus of structures
    (2005)
    by R Hein
    posted to algebraicity calculus-of-structures geometric-logic geometric-theories grothendieck-toposes meta-level-architectures modal-logic by Scis0000002 on 2007-08-04 09:23:23 as **
  • Importing the semantic web in uddi
    (2002)
    by M Paolucci, T Kawamura, T Payne, K Sycara
    posted to workflows workflow web-services web-service uddi topos-theory skills semantic-web resource-allocation process-space organization-theory modularity modality modalities meta-level-architectures lattice-of-skills lattice-of-services lattice-of-functionalities lattice-of-abilities interoperability hyperefficiency functionality-space functionality functionalities extendibility extendability evolvability event-space effects computational-economics compostionality competence-management category-of-technologies category-of-skills category-of-processes category-of-functionalities category-of-cobordisms category-of-abilities artificial-society ability-space ability abilities 4-manifolds by Scis0000002 on 2007-09-16 16:20:31 as ** along with 2 people and 1 group malenitah2 lijing CHISEL
  • Multilanguage Hierarchical Logics or: How we can do Without Modal Logics
    Artificial Intelligence, Vol. 65, No. 1. (1994), pp. 29-70.
    by Fausto Giunchiglia, Luciano Serafini
    posted to multi-language-systems modal-logic meta-level-reasoning meta-level-architectures metalanguages logical-frameworks kripke-structures kripke-semantics hierarchy-of-metalanguages hierarchical-metalanguages hierarchical-logic dunn-semantics all-possible-worlds by Scis0000002 on 2007-08-19 17:03:21 as ** along with 1 person jacob
  • Formal Semantics of Meta-Level Architectures: Dynamic Control of Reasoning
    by Jan Treur
    posted to meta-level-architectures semantics by Scis0000002 on 2007-08-19 15:44:09 as ** along with 1 person scis0000001
  • A classification of meta-level architectures
    (1989), pp. 103-122.
    by F van Harmelen
    posted to classifications cognitive-architectures meta-level-architectures by Scis0000002 on 2007-09-24 14:25:58 as **
  • Towards a modularized semantic web
    (2002)
    by R Volz, A Mdche, D Oberle
    posted to ubiquity semantic-web reusability reflectivity nested-graphs modularity meta-level-architectures interoperability infrastructures information-dynamics hyperstructures hypermedia hyperefficiency heterogeneity grid extendibility extendability evolvability distributedness distributed cyberinfrastructure contextuality composability artificial-society accessability by Scis0000002 on 2007-07-31 13:28:49 as **
    • Puoi citare questa pagina come: http://www.citeulike.org/tag/meta-level-architectures

    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.