CiteULike: scis0000001's iff [54 articles]

In On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 (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

In CADE-17: Proceedings of the 17th International Conference on Automated Deduction (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

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

In Research and Development in Information Retrieval (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 2 people dmeyer leechuck

	From Standard to Non-Standard Semantics by Semantics Modifiers [My Copy] 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 [My Copy] In LOPSTR '98: Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation (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 along with 1 person Scis0000002
	What Is a Concept? [My Copy] 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 8 people and 2 groups isotelesis garyfeng adrian_pigors maike livingthingdan mzygmunt RafG Scis0000002 ReadingLab livingthing
	Toward Question-Asking Machines: The Logic of Questions and the Inquiry Calculus [My Copy] 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 [My Copy] In Learning in Graphical Models (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 3 people and 1 group Scis0000002 zheaton bpacker vision-ng
	Meaning space structure determines the stability of culturally evolved compositional language [My Copy] (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 [My Copy] (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 [My Copy] : 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 [My Copy] In CONCUR '96: Proceedings of the 7th International Conference on Concurrency Theory (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 [My Copy] ArXiv Quantum Physics e-prints (March 2007) by A. Doering, C. J. 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 8 people GorgeousNicko svbcrypto prydzews jrw proportional madhadron gpi Scis0000002
	NP Markets, or How To Get Everyone Else to Solve Your Intractable Problems [My Copy] 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 [My Copy] Physica Scripta Volume T, Vol. 106 (2003), 48. by J. P. 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 [My Copy] 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 [My Copy] In Contemporary Economic Development Reviewed, Volume~4: The Enterprise and its Environment (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 along with 3 people rrbarb Scis0000002 p2p01
	Semantic business process management: a vision towards using semantic Web services for business process management [My Copy] 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 [My Copy] 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 along with 1 person Scis0000002
	Bayesian Model Selection in Finite Mixtures by Marginal Density Decompositions Hemant Ishwaran, Lancelot F. James, and Jiayang Sun [My Copy] 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? [My Copy] 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 [My Copy] : 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 [My Copy] In Proceedings of ICDAR'99 (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 [My Copy] (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 [My Copy] (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 [My Copy] 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 [My Copy] In Petri Nets (1996), pp. 643-681. by P. S. 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 [My Copy] 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 [My Copy] 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 [My Copy] (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 [My Copy] ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576. by David Basin, Manuel Clavel, José 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 6 people and 1 group isotelesis pirapira leemond31 dalev Benja Scis0000002 NU-PRL
	A study in the foundations of programming methodology: specifications, institutions, charters and parchments [My Copy] In Proceedings of a tutorial and workshop on Category theory and computer programming (1986), pp. 313-333. by J. A. Goguen, R. M. 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 [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, 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 3 people and 2 groups dherman rogargon mahler NU-PRL Rightscom
	Temporal Concept Analysis [My Copy] 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 [My Copy] (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 [My Copy] (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 [My Copy] by Robert E. Kent posted to category-theory ct formal iff ontology by scis0000001 on 2006-10-07 14:03:09 as along with 1 person knowledge01
	Quantum Information-Flow, Concretely, Abstractly [My Copy] 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) [My Copy] (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 3 people and 1 group Scis0000002 msakai aleks Compilers
	MDA and RM-ODP: two approaches in modern ontological engineering [My Copy] 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 [My Copy] (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 [My Copy] (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 [My Copy] 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 9 people and 2 groups isotelesis sebis-bibliothek Mandre fmatthes pverstra rgb csolar1971 tekno scottmoody macc pileWorks
	Learning to map between structured representations of Data [My Copy] (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 [My Copy] IJCAI 2001 Ontology Workshop (2001) by Robert E. Kent posted to iff ontology by scis0000001 on 2006-09-15 20:51:20 as along with 1 person network02
	Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements [My Copy] (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 [My Copy] In On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 (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 [My Copy] In CADE-17: Proceedings of the 17th International Conference on Automated Deduction (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 [My Copy] 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 [My Copy] (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 [My Copy] 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 [My Copy] In Research and Development in Information Retrieval (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 [My Copy] (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 2 people dmeyer leechuck

scis0000001's iff [54 articles] Export

scis0000001's tags