registrieren | anmelden | FAQ      [?] 

Tag iff [65 articles]

Recent papers classified by the tag iff.
  • 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 **
  • 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 **
  • 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 **
  • An Abductive Framework for Information Exchange in Multi-Agent Systems
    by Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    posted to abductive iff by Scis0000002 on 2007-07-06 09:54:40 as **
  • 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 **
  • âParticlesâ and âWavesâ as Understood by Temporal Concept Analysis
    Lecture Notes in Computer Science : Conceptual Structures at Work (2004), pp. 126-141.
    by Karl E Wolff
    posted to iff particles scale-spaces temporal-concept-analysis by Scis0000002 on 2008-01-25 10:34:29 as ** along with 1 person scis0000001
  • 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 **
  • TR-01-06: Fusing Bayes Nets using Formal
    by Argumentation
    posted to argumentation chu-space iff merging by Scis0000002 on 2007-06-05 14:09:32 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 **
  • Fibring Labelled Deduction Systems
    Journal of Logic and Computation (2001)
    by João Rasga, Am\ilcar Sernadas, Cristina Sernadas, Luca Viganò
    posted to contextuality fibring general-logics iff labelled-deduction-systems metalogical-frameworks modularity multi-context-systems multi-language-systems reflectivity topos-theory unified-context-theory by Scis0000002 on 2007-08-19 16:10:57 as **
  • On Modeling, Mathematics, Category Theory and RM-ODP
    (2001), pp. 38-54.
    by Zinovy Diskin
    posted to categorification category-theory iff metalogics metamathematics modeling rm-odp by Scis0000002 on 2007-07-14 13:20:35 as **
  • 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 **
  • 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 **
  • Automatic Meaning Discovery Using Google
    (15 March 2005)
    by Rudi Cilibrasi, Paul MB Vitanyi
    posted to ait algorithmic-information-theory clustering code decomposition distance-matrix dynamically-expanding-context iff information-distance kernel-function kernel-matrix meaning minimal-sufficient-statistic partition self-similarity-matrix similarity-matrix by scis0000001 on 2006-08-31 13:59:07 as ** along with 12 people and 4 groups benoitstpierre dmolla JeffreyPalmer loureiroo jahrynx kehan voiklis neilc josepe anansi Scis0000002 imrchen biodiversity_conservation Bioinformatics ColDyn GrassBase
  • 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 **
  • 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
  • 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 **
  • 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
  • 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 **
  • 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 **
  • 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 **
  • 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 **
  • 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
  • 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
  • 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 **
  • 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 **
  • 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 **
  • 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 **
  • 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
  • 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 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 2 people and 1 group zheaton bpacker vision-ng
  • 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 **
  • Event-State Duality: The Enriched Case
    by Vaughan R Pratt
    posted to algorithmic-information-theory behavior behavior-space branching-time category-theory chu-space computational-epistemology computational-physics concept-lattice concurrency distance domain-theory duality dynamics enriched-category enriched-category-theory eom event-space fca floyd-warshall-algorithm formal-context gtm hda iff information interactivity kernel-matrix matrix phase-space quantale relativity self-duality semiring state-space temporal time transition-system triangle-inequality ultrametric ultrametric-space by scis0000001 on 2006-09-01 08:46:21 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 **
  • 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
  • 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 **
  • 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 Mandre fmatthes pverstra rgb csolar1971 tekno scottmoody macc pileWorks
  • 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
  • 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 **
  • 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
  • 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
  • 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
  • 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 **
  • 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 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 **
  • 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
  • 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
  • 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
  • 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 **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/iff

    Result page: 1 2 Next 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.