Register | Log in | FAQ      [?] 

Tag chu-space [72 articles]

Recent papers classified by the tag chu-space.
  • 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
  • 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 **
  • Chu Spaces : A Model for Concurrency
    No. CS-TR-94-1521. (1994)
    by Vineet Gupta
    posted to chu-space concurrency csp symmetry-breaking by scis0000001 on 2006-07-06 15:21:42 as ** along with 1 person mcclurmc
  • Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks
    by Sebastian Bader, Pascal Hitzler
    posted to category-theory chu-space computational-epistemology concept-lattice dimension-theory domain-theory fractal-universe fractality hausdorff-dimension iff ifs information-theory lattice logic lp predictability relativistic-information relativity self-similarity semantics space-time topological-dynamics by scis0000001 on 2006-09-01 09:51:50 as **
  • Morphisms in Logic, Topology, and Formal Concept Analysis
    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
  • Least Reflexive Points of Relations
    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 **
  • From Devs To Formal
    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 scis0000001 on 2007-05-20 00:00:26 as **
  • Constraints and Universal Algebra
    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 **
  • Time and Information
    (4 Feb 2001)
    by Scott M Hitchcock
    posted to chu-space duality information time by scis0000001 on 2006-08-31 17:06:01 as **
  • Dynamic algebras as a well-behaved fragment of relation algebras
    Vol. 425 (1990)
    by Vaughan Pratt
    edited by CH Bergman, RD Maddux, DL 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 **
  • Structured concept discovery: Theory and methods
    (1994)
    by D Conklin
    posted to chu-space concept-lattice discovery fca by scis0000001 on 2006-07-06 15:44:33 as **
  • Hardware Implementation of Temporal Nonmonotonic Logics
    : 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 **
  • 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 **
  • Quantum Computing: A new Paradigm and it's Type Theory
    by Martin Wehr
    posted to chu-space hilbert-space qip quantum-computing type-theory by scis0000001 on 2006-10-12 13:25:51 as **
  • Computable Isomorphisms, Degree Spectra of Relations, and Scott Families
    by Bakhadyr Khoussainov, Richard A Shore
    posted to scott isomorphism information-system computational-category-theory computability chu-space by scis0000001 on 2006-08-29 14:34:14 as **
  • 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 **
  • Higher dimensional automata revisited
    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
  • The geometry of interaction machine
    (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 fensef
  • Meaning in Motion
    (2000)
    by Jeroen Groenendijk, Martin Stokhof
    posted to aixi chu-space computability-logic context-relativity dynamics interactivity interference meaning relativity semantics by scis0000001 on 2006-08-29 14:38:59 as ** along with 1 person Scis0000002
  • Temporal Theories of Reasoning
    (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 **
  • The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
    (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 **
  • Algorithmic Theories of Everything
    (20 Dec 2000)
    by Juergen Schmidhuber
    posted to abstract-state-machines algebraic algorithmic-information-theory all-logical-theories binary-physics chu-space compuatational-structures computability computability-logic computational-cosmology computational-epistemology computational-physics concurrency discreteness emergence eom generalized-kolmogorov-complexity gtm hierarchy-of-structures intelligence-order-relations kolmogorov-complexity lattice-of-theories least-time mathematical-structures physical-structures quantum-computer scott-information-system speed-prior taxonomy-of-structures toe unified-concept-theory universality by scis0000001 on 2006-06-13 10:58:37 as ** along with 3 people BrendaChng JayDugger Scis0000002
  • Generalized Ultrametric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding
    by MM Bonsangue, F van Breugel, JJMM Rutten
    posted to chu-space completion domain-theory embedding fca generalized-ultrametric-space information-geometry p-adic topology ultrametric ultrametric-space by scis0000001 on 2006-09-01 09:41:14 as **
  • Chu spaces as a semantic bridge between linear logic and mathematics
    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 scis0000001 on 2007-05-16 08:24:14 as **
  • Chu Spaces and their Interpretation as Concurrent Objects
    (1995), pp. 392-405.
    by Vaughan R Pratt
    edited by J van Leeuwen
    posted to chu-space concurrency by scis0000001 on 2006-12-14 13:28:02 as **
  • Toward a general relation browser: A GUI for information architects
    (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 **
  • Towards Full Completeness for the Linear Logic of Chu Spaces
    (1997)
    by VR Pratt
    posted to chu-space linear-logic proof topological-space by scis0000001 on 2006-10-13 16:53:07 as **
  • Termination, deadlock, and divergence
    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 **
  • Disjunctive Quantum Logic in Dynamic Perspective
    (22 Apr 2002)
    by Bob Coecke
    posted to chu-space heyting-algebra intuitionistic-logic lattice lattice-of-properties logics path-selection property-lattice quantale quantum-logic by scis0000001 on 2006-09-05 15:31:47 as **
  • 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
  • Interaction Combinators
    Information and Computation, Vol. 137, No. 1. (25 August 1997), pp. 69-101.
    by Yves Lafont
    posted to chu-space combinators interaction by scis0000001 on 2006-09-02 15:36:01 as ** along with 3 people and 1 group voigt yoshihiko rgb pileWorks
  • Towards a Theory of Moa
    by Maarten Fokkinga
    posted to chu-space db memory by scis0000001 on 2007-02-23 13:15:17 as **
  • Final dialgebras: From categories to allegories
    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
  • 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 **
  • Types as Processes, via Chu spaces
    (1997)
    by V Pratt
    posted to chu-space computational-category-theory process type type-theory by scis0000001 on 2006-09-26 11:05:38 as **
  • ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm
    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 **
  • Relational Concept Analysis: Semantic Structures in Dictionaries and Lexical Databases
    (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 **
  • Establishing connections between Formal Concept Analysis and Relational Databases
    by Uta Priss
    posted to chu-space fca rdb by scis0000001 on 2006-09-02 16:04:54 as ** along with 1 person Scis0000002
  • Resolution and logic programming in algebraic domains: Negation and defaults
    (2002)
    by P Hitzler
    posted to algebraic-domains chu-space computability-logic concept-lattice default domain-logic domain-theory inference lattice logic lp reasoning resolution by scis0000001 on 2006-09-01 10:06:58 as **
  • Polyadic Concept Analysis
    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 **
  • Chu Spaces: Towards New Foundations for Fuzzy Logic and Fuzzy Control, with Applications to Information Flow on the World Wide Web
    (1999)
    by H Nguyen, V Kreinovich, G Liu
    posted to chu-space computational-epistemology control fuzzy information-flow logic by scis0000001 on 2006-09-01 09:21:19 as ** along with 1 person csolar1971
  • Formalization of Communication and Behaviour in Object-Oriented Analysis
    Data Knowledge Engineering, Vol. 23, No. 2. (1997), pp. 147-183.
    by JWGM Hubbers, Arthur
    posted to behaviour chu-space communication by scis0000001 on 2006-12-09 13:55:31 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
  • Incidence structures and Stone-Priestley duality
    (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 **
  • Full completeness of the multiplicative linear logic of Chu spaces
    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 scis0000001 on 2007-05-04 08:03:08 as **
  • From Timed Automata to Logic --- and Back
    (1995)
    by F Laroussinie, K Larsen, C Weise
    posted to time schedules logic chu-space automata by scis0000001 on 2006-08-25 14:35:08 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
  • General Stone duality
    Topology and its Applications, Vol. 137, No. 1-3. (28 February 2004), pp. 125-158.
    by Marcel Erne
    posted to algebra category-theory chu-space duality lattice similarity stone-duality symmetry by scis0000001 on 2006-09-02 14:06:12 as ** along with 1 person adrian_pigors
  • A Game-Theoretic Approach to Constraint Satisfaction
    (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 **
    • Note: You may cite this page as: http://www.citeulike.org/tag/chu-space

    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.