Tag chu-space [72 articles] Export

Recent papers classified by the tag chu-space.

	The Stone Gamut: A Coordinatization of Mathematics [My Copy] In Tenth Annual Symposium on Logic in Computer Science (1995), pp. 444-454. by Vaughan R. Pratt posted to categorification category-theory chu-space mathematical-structures stone-duality stone-gamut by isotelesis on 2009-07-16 17:07:44 as along with 1 person scis0000001
	Full completeness of the multiplicative linear logic of Chu spaces [My Copy] Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 234-243. by H. Devarajan, D. Hughes, G. Plotkin, V. Pratt posted to chu-space linear-logic mll semantics by isotelesis on 2009-07-16 17:05:24 as along with 1 person scis0000001
	A database of categories [My Copy] J. Symb. Comput., Vol. 35, No. 2. (February 2003), pp. 127-135. by Michael Fleming, Ryan Gunther, Robert Rosebrugh posted to categorification category-theory chu-space database-of-categories mkm stone-gamu by isotelesis on 2009-07-16 17:03:13 as along with 3 people jrw scis0000001 pirapira
	Chu spaces as a semantic bridge between linear logic and mathematics [My Copy] 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 isotelesis on 2009-07-16 16:57:02 as along with 1 person scis0000001
	From Devs To Formal [My Copy] by Methods C. Approach posted to abduction behavior category-theory chu-space dynamical-system formal-development general-systems-theory induction realizability testing topos-theory validation verification by isotelesis on 2009-07-16 16:55:02 as along with 1 person scis0000001
	Towards Full Completeness for the Linear Logic of Chu Spaces [My Copy] In Preliminary Proceedings of the 13th Annual Conference on Mathematical Foundations of Programming Semantics (1997) by V. R. Pratt posted to chu-space by isotelesis on 2009-05-06 02:56:18 as along with 1 person scis0000001
	Chu Spaces: Towards New Justification for Fuzzy Heuristics [My Copy] by Nhu Nguyen, Hung T. Nguyen, Vladik Kreinovich posted to chu-space fuzzy-heuristics by isotelesis on 2009-05-06 02:50:06 as along with 1 person scis0000001
	Chu Spaces and their Interpretation as Concurrent Objects [My Copy] In Computer Science Today: Recent Trends and Developments (1995), pp. 392-405. by Vaughan R. Pratt edited by J. van Leeuwen posted to chu-space concurrency by isotelesis on 2009-05-06 02:48:25 as along with 1 person scis0000001
	Fuzzy Logic as Interfacing Media for Constraint Propagation Based on Theories of Chu Space and Information Flow [My Copy] Lecture Notes in Computer Science : New Directions in Rough Sets, Data Mining, and Granular-Soft Computing (1999), pp. 314-323. by Ken Sato, Tadashi Horiuchi, Toshihiro Hiraoka, Hiroshi Kawakami, Osamu Katai posted to chu-space constraint fuzzy-logic information-flow by isotelesis on 2009-05-06 02:47:56 as along with 1 person csolar1971
	TR-01-06: Fusing Bayes Nets using Formal [My Copy] by Argumentation posted to argumentation chu-space iff merging by Scis0000002 on 2007-06-05 14:09:32 as along with 2 people isotelesis scis0000001
	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
	Rewriting Logic as a Unifying Framework for Petri Nets [My Copy] In Unifying Petri Nets, Advances in Petri Nets (2001), pp. 250-303. by Mark-Oliver Stehr, Jos&\#233; Meseguer, Peter C. &\#214;lveczky posted to chu-space petri-net rewriting-logic by scis0000001 on 2007-04-14 13:58:44 as
	Toward a general relation browser: A GUI for information architects [My Copy] (2003) by G. Marchionini, B. Brunk posted to browser chu-space relation relational-structures ui by scis0000001 on 2007-04-09 16:22:48 as
	Final dialgebras: From categories to allegories [My Copy] Informatique Theorique et Applications, Vol. 33, No. 4/5. (1999), pp. 401-426. by Roland C. Backhouse, Paul F. Hoogendijk posted to algebra allegory-theory category-theory chu-space coalgebra dialgebra generic-programming partial-order relation relational-structures relators universal-algebra by scis0000001 on 2007-04-07 01:32:26 as along with 2 people Scis0000002 marcinzalewski
	Least Reflexive Points of Relations [My Copy] by Jules Desharnais, Bernhard Möller posted to chu-space domain-theory fixed-point generalization lattice monotonicity partial-order reflexive-point relation relational-structures by scis0000001 on 2007-04-07 01:26:01 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
	ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm [My Copy] ArXiv Computer Science e-prints (January 2007) by S. Chitnis, M. Yennamani, G. Gupta posted to chu-space csp spreadsheet by scis0000001 on 2007-04-02 01:12:17 as
	Knowledge, State, Event and Time in System Modeling - Spectrums of Modeling Languages and Transformations [My Copy] by Jin S. Dong, Roger Duke, Jun Sun posted to chu-space by scis0000001 on 2007-03-17 14:03:05 as along with 1 person isotelesis
	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
	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
	Rational Mechanics and Natural Mathematics [My Copy] In Proceedings of the Conference on Theory and Practice of Software Development -- TAPSOFT'95 (1995), pp. 108-122. by Vaughan R. Pratt posted to chu-space generalized-hilbert-space generalized-inner-product generalized-kernel by scis0000001 on 2007-03-06 14:14:10 as
	Towards a Theory of Moa [My Copy] by Maarten Fokkinga posted to chu-space db memory by scis0000001 on 2007-02-23 13:15:17 as
	Polyadic Concept Analysis [My Copy] Order, Vol. V19, No. 3. (2002), pp. 295-304. by George Voutsadakis posted to chu-space conceptual-structures fca hd n-adic n-information-system polyadic-concept-analysis by scis0000001 on 2007-02-18 11:14:16 as
	A Dynamic Perspective on an Agent's Mental States and Interaction with its Environment [My Copy] (2002) by C. Jonker, J. Treur posted to chu-space computability-logic dynamical-system dynamics interactivity neural-symbolic temporal temporal-concept-analysis temporal-logic by scis0000001 on 2007-02-15 14:29:05 as along with 1 person Scis0000002
	Constraints and Universal Algebra [My Copy] Annals of Mathematics and Artificial Intelligence, Vol. 24, No. 1-4. (1998), pp. 51-67. by Peter Jeavons, David Cohen, Justin Pearson posted to all-algebraic-structures all-relational-structures chu-space constraints csp universal-algebra by scis0000001 on 2007-02-13 10:35:57 as
	A Game-Theoretic Approach to Constraint Satisfaction [My Copy] In AAAI/{IAAI} (2000), pp. 175-181. by Phokion G. Kolaitis, Moshe Y. Vardi posted to chu-space csp game-theory by scis0000001 on 2007-02-13 10:34:26 as
	Hardware Implementation of Temporal Nonmonotonic Logics [My Copy] : AI 2006: Advances in Artificial Intelligence (2006), pp. 808-817. by Insu Song, Guido Governatori posted to temporal-logic situated nonmonotonic metric-temporal-logic hardware digital-circuits circuitry chu-space automata by scis0000001 on 2007-02-01 16:50:19 as
	Ideal Models of Spaces [My Copy] by Keye Martin posted to algebraicity category-of-ideals chu-space countability domain-theory enumerability ideal-domains ideal-models ideal-partial-orders ideals metrizability order-theory partial-order quantitative-domain-theory self-similarity semantics topological-space topology by scis0000001 on 2007-01-30 10:10:36 as
	Arbitrary Relations in Formal Concept Analysis and Logical Information Systems [My Copy] : 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
	Temporal Theories of Reasoning [My Copy] In Logics in Artificial Intelligence (1994), pp. 279-299. by Joeri Engelfriet, Jan Treur edited by Craig Macnish, Luís M. Pereira, David Pearce posted to time temporal state-space semantics information-system inference event-structures event-space dynamics chu-space behavior by scis0000001 on 2007-01-12 22:23:23 as along with 1 person blog01
	Termination, deadlock, and divergence [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 147-187. by L. Aceto, M. Hennessy posted to termination divergence deadlock concurrency chu-space by scis0000001 on 2007-01-12 19:58:07 as
	Causal architecture, complexity and self-organization in time series and cellular automata [My Copy] (2001) by C. R. Shalizi posted to algebraic algorithmic-information-theory causal-state-machine chu-space computational-cosmology computational-epistemology computational-mechanics discreteness domain-theory fractafold information-system minimal-sufficient-statistic physical-structures self-organization space-time symbolic-dynamics temporal-concept-analysis by scis0000001 on 2007-01-07 14:39:34 as along with 6 people and 2 groups ansobol jrw balicea mattjb Scis0000002 mmcgloho ComplexAdaptiveSystems DSTO-CAS
	Higher dimensional automata revisited [My Copy] Mathematical Structures in Computer Science, Vol. 10, No. 4. (2000), pp. 525-548. by Vaughan R. Pratt posted to topology state-space information-system homotopy homology hda hd geometry event-structures event-space concurrency chu-space category-theory algebraic-domains algebraic by scis0000001 on 2007-01-07 13:55:35 as along with 1 person jrw
	Relational Concept Analysis: Semantic Structures in Dictionaries and Lexical Databases [My Copy] (1996) by U. Priss posted to chu-space fca relational relational-concept-analysis relational-structures relations by scis0000001 on 2006-12-09 14:25:25 as
	Formalization of Communication and Behaviour in Object-Oriented Analysis [My Copy] Data Knowledge Engineering, Vol. 23, No. 2. (1997), pp. 147-183. by J. W. G. M. Hubbers, Arthur posted to behaviour chu-space communication by scis0000001 on 2006-12-09 13:55:31 as
	Incidence structures and Stone-Priestley duality [My Copy] (6 Jan 2006) by Mohamed Bekkali, Maurice Pouzet, Driss Zhani posted to chu-space duality priestley-space stone-duality stone-space by scis0000001 on 2006-12-09 13:32:35 as
	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
	The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence [My Copy] (31 Aug 2004) by Sebastian Bader, Pascal Hitzler, Steffen Hoelldobler posted to all-logical-theories cantor-set cantor-space chu-space coding-theory computability-logic fol formal-system fractafold fractal-dimension fractality inference lp neural-symbolic representation self-similarity sierpinski-carpet ternary universal-curve by scis0000001 on 2006-12-07 13:29:04 as
	Dynamic algebras as a well-behaved fragment of relation algebras [My Copy] In Algebraic Logic and Universal Algebra in Computer Science, Vol. 425 (1990) by Vaughan Pratt edited by C. H. Bergman, R. D. Maddux, D. L. Pigozzi posted to abstract-state-machines algebra behavior chu-space discreteness dynamic-algebras dynamics event-space evolution evolving-algebras gtm relation state-space by scis0000001 on 2006-12-02 15:43:04 as
	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
	The lattice of integer partitions and its infinite extension [My Copy] (1999) by M. Latapy, H. Phan posted to chu-space integer-partitions lattice partitions by scis0000001 on 2006-11-10 13:33:52 as
	Morphisms in Logic, Topology, and Formal Concept Analysis [My Copy] by Markus Krötzsch posted to chu-space domain-theory fca inference morphism topology by scis0000001 on 2006-11-08 14:56:27 as along with 1 person thau
	Morphisms in context [My Copy] (2005) by M. Krtzsch, P. Hitzler, G. Zhang posted to chu-space domain-theory fca morphism by scis0000001 on 2006-11-08 14:54:41 as
	Chu Spaces: Towards New Foundations for Fuzzy Logic and Fuzzy Control, with Applications to Information Flow on the World Wide Web [My Copy] (1999) by H. Nguyen, V. Kreinovich, G. Liu posted to chu-space fuzzy-logic information-flow by csolar1971 on 2006-11-07 07:07:58 as along with 2 people isotelesis scis0000001
	Interactive Computation: The New Paradigm [My Copy] by Dina Q. Goldin, Scott A. Smolka, Peter Wegner posted to chu-space computation interaction software by csolar1971 on 2006-10-28 07:32:23 as along with 9 people and 2 groups isotelesis sebis-bibliothek Mandre fmatthes pverstra scis0000001 rgb tekno scottmoody macc pileWorks
	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
	Quantum Computing: A new Paradigm and it's Type Theory [My Copy] by Martin Wehr posted to chu-space hilbert-space qip quantum-computing type-theory by scis0000001 on 2006-10-12 13:25:51 as
	The geometry of interaction machine [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 198-208. by Ian Mackie posted to chu-space computing geometry interaction linear-logic by scis0000001 on 2006-10-06 14:35:19 as along with 1 person and 1 group fensef ConcertRG
	From Proof Nets to the Free *-Autonomous Category [My Copy] by François Lamarche, Lutz Straßburger posted to autonomous-category chu-space network proof by scis0000001 on 2006-09-29 09:13:11 as
	Categorical Models Of First-Order Classical Proofs [My Copy] by Richard Mckinley posted to semantics logic hyperdoctrine fol chu-space categorical-theories categorical-semantics categorical-models categorical-logic by scis0000001 on 2006-09-29 09:08:29 as

Note: You may cite this page as: http://www.citeulike.org/tag/chu-space

Result page: 1 2 Next

domain-theory	16
fca	16
category-theory	15
iff	15
semantics	13
computability-logic	12
computational-epistemology	10
dynamics	10
lattice	10
unified-concept-theory	10
information-system	9
interactivity	9
behavior	8
conceptual-structures	8
concurrency	8
logic	8
algorithmic-information-theory	7
concept-lattice	7
inference	7
information-flow	7
linear-logic	7
relational-structures	7
state-space	7
all-logical-theories	6
dynamical-system	6
event-space	6
lattice-of-theories	6
computability	5
duality	5
formal-development	5
logical-information-system	5
mathematical-structures	5
relativity	5
stone-gamut	5
temporal	5
time	5
aixi	4
algebraic	4
all-algebraic-structures	4
all-relational-structures	4
categorification	4
csp	4
discreteness	4
gtm	4
interaction	4
lp	4
relation	4
representation	4
self-similarity	4
stone-duality	4
topology	4
abstract-state-machines	3
adaptability	3
algebra	3
algebraic-structures	3
algebraicity	3
behavior-space	3
channel-theory	3
fol	3
formal-system	3
fractafold	3
fractality	3
fuzzy-logic	3
general-systems-theory	3
geometry	3
hda	3
interference	3
logical-structures	3
metascience	3
monotonicity	3
n-information-system	3
partial-order	3
phase-space	3
polyadic-concept-analysis	3
scale-space	3
semweb	3
space-time	3
temporal-concept-analysis	3
temporal-logic	3
topological-space	3
topos-theory	3
ultrametric	3
all-small-categories	2
automata	2
computational-cosmology	2
discrete-geometry	2
distance	2
generalized-kolmogorov-complexity	2
information-distance	2
information-geometry	2
neural-symbolic	2
paraconsistency	2
physical-structures	2
problem-solving	2
proof	2
realizability	2
speed-prior	2
type-theory	2
ultrametric-space	2
validation	2

Tag chu-space [72 articles] Export

Related Tags