新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

scis0000001 iff [54 articles]

最近 scis0000001 さんのライブラリに追加された論文の中から タグ iff. You can also see everyone's iff.
  • From Standard to Non-Standard Semantics by Semantics Modifiers
    International Journal of Foundations of Computer Science (IJFCS), Vol. 12, No. 2. (2001), pp. 171-211 (or 171--212??).
    by Sergei Abramov, Robert Glück, M Sato, Others
    posted to iff semantic-space semantics transformation by scis0000001 on 2007-05-18 14:27:33 as **
  • 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 **
  • 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
  • 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
  • A Hierarchical Community of Experts
    (1997)
    by Geoffrey E Hinton, Brian Sallans, Zoubin Ghahramani
    edited by Michael I Jordan
    posted to computational-learning computational-sociology ensemble experts hierarchy hyper-economy hyperefficiency hypernetwork iff metascience mixture neuroscience optimality organization-theory portfolio principal-agent-theory problem-solving semweb by scis0000001 on 2007-04-16 13:24:31 as ** along with 1 person and 1 group bpacker vision-ng
  • Meaning space structure determines the stability of culturally evolved compositional language
    (2001)
    by H Brighton, S Kirby
    posted to cultural-evolution dynamics iff meaning-space semantic-space semantics semweb by scis0000001 on 2007-04-14 14:42:29 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 **
  • Transforming Information in RDF to Rewriting Logic
    : Formal Methods for Open Object-Based Distributed Systems (2005), pp. 227-242.
    by Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley
    posted to iff rdf rewriting-logic semweb by scis0000001 on 2007-04-14 01:51:00 as **
  • Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report
    (1996), pp. 331-372.
    by Jos&\#233; Meseguer
    posted to concurrency iff rewriting-logic semantics by scis0000001 on 2007-04-14 01:49:10 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 5 people jrw proportional madhadron gpi Scis0000002
  • NP Markets, or How To Get Everyone Else to Solve Your Intractable Problems
    by David M Pennock
    posted to collaboration collaborative-problem-solving crowdsourcing distributed e-science efficiency iff markets metascience mkm optimality prediction-market problem-solving semweb by scis0000001 on 2007-04-09 14:20:34 as **
  • Asset Trees and Asset Graphs in Financial Markets
    Physica Scripta Volume T, Vol. 106 (2003), 48.
    by JP Onnela, A Chakraborti, K Kaski, J Kertész, A Kanto
    posted to asset-graph asset-lattice asset-network asset-space asset-tree behavior-space chu-space distance distributed domain-theory dynamical-system dynamics economics enriched-category-theory event-space evolution finance games hierarchy hypernetwork iff information-theory interactivity investment-strategy-space investment-theory lattice market-space markets minimum-spanning-tree modularity mst multifractality network partition phase-space process-space program-space scale-space semantics semweb space-of-investment-strategies space-of-probability-distributions state-space topological-space tree ultrametric by scis0000001 on 2007-04-02 01:33:38 as ** along with 1 person Scis0000002
  • Delayed information flow effect in economy systems. An ACP model study
    ArXiv Physics e-prints (July 2006)
    by J Miskiewicz, M Ausloos
    posted to economics iff information-flow by scis0000001 on 2007-03-30 00:27:52 as **
  • Decentralized information processing in the theory of organizations
    (1998)
    by T Van Zandt
    edited by M Sertel
    posted to distributed enterprise hypernetwork iff information markets multisource-algorithmic-information-theory organization-theory principal-agent-theory processing by scis0000001 on 2007-03-21 13:50:10 as **
  • Semantic business process management: a vision towards using semantic Web services for business process management
    e-Business Engineering, 2005. ICEBE 2005. IEEE International Conference on (2005), pp. 535-540.
    by M Hepp, F Leymann, J Domingue, A Wahler, D Fensel
    posted to assistance autonomic-computing business business-model business-process-space enterprise iff management process process-space process-theory semweb soa by scis0000001 on 2007-03-16 10:01:03 as ** along with 1 person jiangbo
  • 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 **
  • Bayesian Model Selection in Finite Mixtures by Marginal Density Decompositions Hemant Ishwaran, Lancelot F. James, and Jiayang Sun
    by We C The
    posted to bayesian domain-theory iff mixture model-selection partial-order partition space-of-distributions space-of-partitions by scis0000001 on 2007-03-15 14:29:18 as **
  • Mercury—the Rosetta stone of physics?
    Journal of Optics B: Quantum and Semiclassical Optics, Vol. 4, No. 4. (2002), pp. S376-S383.
    by Thomas Walther, Edward S Fry
    posted to classification iff interoperability physics quantum-vacuum rosetta-stone by scis0000001 on 2007-03-15 13:35:08 as **
  • Quantum Institutions
    : Algebra, Meaning and Computation (2006), pp. 50-64.
    by Carlos Caleiro, Paulo Mateus, Amilcar Sernadas, Cristina Sernadas
    posted to classification iff institutions paraconsistency qip quantum-domain-theory quantum-gales quantum-games quantum-information-theory quantum-institutions quantum-logic quantum-theory by scis0000001 on 2007-03-12 14:13:23 as **
  • Dynamically expanding context as committee adaptation method in on-line recognition of handwritten latin characters
    (September 1999), pp. 796-799.
    by J Laaksonen, M Aksela, E Oja, J Kangas
    posted to argumentation conflict context dynamically-expanding-context games iff interactivity least-time managed-logic mdl negotiation semantics semweb by scis0000001 on 2007-03-09 13:11:04 as **
  • A Theory of Concepts and Their Combinations I: The Structure of the Sets of Contexts and Properties
    (26 Feb 2004)
    by Diederik Aerts, Liane Gabora
    posted to all-logical-theories chu-space closure closure-structures concept-lattice conceptual-structures domain-theory fca iff inference information-system logical-information-system logical-structures by scis0000001 on 2007-03-07 14:11:43 as ** along with 1 person JayDugger
  • Paraconsistency of Interactive Computation
    (21 Jul 2002)
    by Dina Goldin, Peter Wegner
    posted to abduction all-computational-structures all-logical-theories all-physical-structures computability-logic concurrency consistency contradiction countability decoherence domain-theory dynamical-system enumerability equivalence-class fol game-theory games generalized-algorithmic-probability generalized-kolmogorov-complexity gtm iff incompleteness inference infinite interactivity lattice-of-theories logics long-range-correlation many-body metaevolution metalogic-programming minimum-sufficient-statistic modeling nonmonotonicity observability paraconsistency problem-solving proof-tree quantum-field-computation quantum-vacuum relevant-logic resources scale-relativity self-duality semantics symmetry-breaking syntax temporal-relevant-logic time-horizon universality universality-class by scis0000001 on 2007-02-18 15:19:53 as **
  • Meta-Communication and Market Dynamics. Reflexive Interactions of Financial Markets and the Mass Media
    by Thomas Schuster
    posted to distributed dynamics economics finance iff information-flow interactivity market by scis0000001 on 2007-02-18 14:03:57 as ** along with 1 person Scis0000002
  • Distributed Versions of Linear Time Temporal Logic: A Trace Perspective
    (1996), pp. 643-681.
    by PS Thiagarajan, Jesper G Henriksen
    posted to linear-temporal-logic iff distributed computational-physics by scis0000001 on 2007-02-04 15:45:13 as **
  • On the Logic of Information Flow
    Bulletin of the Interest Group in Pure and Applied Logics (IGPL), Vol. 3, No. 1. (1995), pp. 7-49.
    by J Barwise, D Gabbay, C Hartonas
    posted to information-flow iff by scis0000001 on 2007-02-01 14:31:29 as **
  • Connecting Description Systems
    by Oliver Kutz, Frank Wolter, Mikael Zakhariaschev
    posted to mixture information iff combination by scis0000001 on 2007-01-19 09:23:32 as **
  • Multi-context Systems as a Specification framework for Complex Reasoning Systems
    (1993)
    by E Giunchiglia, P Traverso, F Giunchiglia
    posted to logics iff context by scis0000001 on 2007-01-12 22:15:47 as ** along with 1 person Scis0000002
  • Reflective metalogical frameworks
    ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576.
    by David Basin, Manuel Clavel, Jos&\#233; Meseguer
    posted to adaptability framework iff institutions logical-structures logics managed-logic metainference metalogical metalogics metamathematics metatheory reflective reflexion by scis0000001 on 2007-01-12 21:46:58 as ** along with 3 people and 1 group dalev Benja Scis0000002 NU-PRL
  • A study in the foundations of programming methodology: specifications, institutions, charters and parchments
    (1986), pp. 313-333.
    by JA Goguen, RM Burstall
    posted to category-theory charters iff institutions logics managed-logic metalogics metascience parchments programming specifications by scis0000001 on 2006-12-30 21:54:09 as **
  • From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis
    Vol. 38, No. 9. (September 2003), pp. 125-125.
    by Harry G Mairson
    posted to classification context flow games hilbert-space iff linearity semantics subspace by scis0000001 on 2006-12-29 14:29:30 as ** along with 4 people and 2 groups dherman rogargon mahler nalf NU-PRL Rightscom
  • 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
  • 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 **
  • 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 KIF Formalization for the IFF Category Theory Ontology
    by Robert E Kent
    posted to category-theory ct formal iff ontology by scis0000001 on 2006-10-07 14:03:09 as **
  • Quantum Information-Flow, Concretely, Abstractly
    by Bob Coecke
    posted to classification iff information-flow qip by scis0000001 on 2006-10-06 14:51:26 as **
  • 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
  • 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 **
  • Computability Logic: a formal theory of interaction
    (10 Dec 2004)
    by Giorgi Japaridze
    posted to abstract-state-machines adaptability aixi all-logical-theories behavior chu-space classical-logic computability computability-logic computational-epistemology dynamics formal-theory iff interaction interactivity interference intuitionistic-logic linear-logic logic relativity by scis0000001 on 2006-09-19 16:36:44 as **
  • Auto-organizaiton and emergence of shared language structure
    (2002), pp. 279-306.
    by Edwin Hutchins, Brian Hazlehurst
    posted to auto-organizaiton evolution iff language language-theory self-organizaiton by scis0000001 on 2006-09-19 13:42:14 as ** along with 1 person and 1 group livingthingdan livingthing
  • Interactive Computation: The New Paradigm
    by Dina Q Goldin, Scott A Smolka, Peter Wegner
    posted to adaptability aixi behavior chu-space computability computability-logic computational-epistemology dynamics iff interactivity interference paraconsistency relativity by scis0000001 on 2006-09-19 09:26:21 as ** along with 7 people and 2 groups scottmoody Mandre fmatthes pverstra rgb csolar1971 tekno macc pileWorks
  • Learning to map between structured representations of Data
    (2002)
    by A Doan
    posted to combination combining evidence iff by scis0000001 on 2006-09-16 14:30:23 as ** along with 1 person msn
  • The IFF Foundation Ontology
    IJCAI 2001 Ontology Workshop (2001)
    by Robert E Kent
    posted to iff ontology by scis0000001 on 2006-09-15 20:51:20 as **
  • Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements
    (27 Dec 2004)
    by Juergen Schmidhuber
    posted to adaptability aixi all-logical-theories atp autonomic-computing bias biops chu-space computability-logic computational-epistemology computational-learning computational-mathematics computational-science domain-theory dynamics efficiency formal-development formal-system generalized-kolmogorov-complexity goedel-machine gtm iff inference inference-dynamics interactivity lattice-of-theories least-time machine-learning metaevolution metalogic-programming metalogics metascience model-selection oops optimality paraconsistency problem-solving proof-search reinforcement-learning resource-allocation robotics searching self-adaptation self-managing self-reference semweb speed-prior survivability temporal-logic universal-search universality utility by scis0000001 on 2006-09-15 14:13:48 as ** along with 1 person Scis0000002
  • Information-Flow-Based Ontology Mapping
    (2002), pp. 1132-1151.
    by Yannis Kalfoglou, Marco W Schorlemmer
    posted to iff information-flow ontology by scis0000001 on 2006-09-13 18:21:40 as ** along with 1 person thau
  • The Nuprl Open Logical Environment
    (2000), pp. 170-176.
    by Stuart F Allen, Robert L Constable, Rich Eaton, Christoph Kreitz, Lori Lorigo
    posted to environment formal-context iff logic logical-environment by scis0000001 on 2006-09-13 15:17:32 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 **
  • STELLA -- a Lisp-like language for symbolic programming with delivery in Common Lisp
    (1999)
    by H Chalupsky, R Macgregor
    posted to common-lisp iff java mda transformation translation by scis0000001 on 2006-09-08 13:02:17 as ** along with 2 people hamish barliant
  • Compiling Standard ML to Java
    by Simon Gammage
    posted to compiling iff java mda standard-ml transformation translation by scis0000001 on 2006-09-07 13:14:36 as **
  • Combining Multiple Evidence from Different Types of Thesaurus for Query Expansion
    (1999), pp. 191-197.
    by Rila Mandala, Takenobu Tokunaga, Hozumi Tanaka
    posted to combination combining evidence iff query by scis0000001 on 2006-09-04 14:19:15 as **
  • On semantic interoperability and the flow of information
    (2003)
    by M Schorlemmer, Y Kalfoglou
    posted to chu-space iff information-flow interoperability semantics by scis0000001 on 2006-09-01 10:13:48 as ** along with 1 person leechuck
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/scis0000001/tag/iff

    Result page: 1 2 Next RIS BibTeX