CiteULike: scis0000001's semantics [82 articles]

In Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types - Selected Papers, Vol. LNCS 655 (1993), pp. 236-253.

by J. Fiadeiro, J. F. Costa, A. Sernadas, T. Maibaum

edited by M. Bidoit, C. Choppy

posted to temporal-logic temporal semantics process logic categorical by scis0000001 on 2007-01-27 14:30:22 as

Modal and Temporal Operators on Partial Orders

by Bernhard Möller

posted to temporal-logic temporal semantics quantitative partial-order modal-logic logics ideal-domains domain-theory by scis0000001 on 2007-01-27 13:46:16 as

Semantics of Behavioral Inheritance in Deductive Object-Oriented Databases

(1995)

by H. Jamil

posted to semantics inheritance deduction db behavior by scis0000001 on 2007-01-19 17:40:53 as

Meaning for Observers and Agents

In IEEE International Symposium on Intelligent Control / Intelligent Systems and Semiotics, ISIC/ISAS'99 - September 15-17, 1999 Cambridge, Massachusetts, USA (1999), pp. 435-440.

by Chrystopher L. Nehaniv

posted to semantics observation meaning interpretation epistemology by scis0000001 on 2007-01-19 10:17:36 as

along with 2 people nathanielvirgo Scis0000002

Quantitative Semantics, Topology, and Possibility Measures

by Reinhold Heckmann, Michael Huth

posted to semantics quantitative by scis0000001 on 2007-01-16 09:42:21 as

Nonmonotonic Logics and Semantics

Journal of Logic and Computation, Vol. 11 (2) (2001), pp. 229-256.

by D. Lehmann

posted to semantics nonmonotonic logics by scis0000001 on 2007-01-16 09:31:23 as

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

(15 Aug 2004)

by Jørgen Villadsen

posted to syntax semantics nlp hd by scis0000001 on 2007-01-16 09:26:45 as

Towards a Colimit-Based Semantics for Visual Programming

In COORDINATION '02: Proceedings of the 5th International Conference on Coordination Models and Languages (2002), pp. 166-173.

by Jeremy Gibbons

posted to visual-programming semantics colimit by scis0000001 on 2007-01-15 14:39:36 as

Temporal Theories of Reasoning

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

Formal Semantics of Meta-Level Architectures: Dynamic Control of Reasoning

by Jan Treur

posted to semantics metainference by scis0000001 on 2007-01-12 22:16:51 as

along with 1 person Scis0000002

Reflection and semantics in LISP

In POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1984), pp. 23-35.

by Brian C. Smith

posted to semantics reflection 3-lisp by scis0000001 on 2007-01-12 21:50:10 as

along with 4 people g000001 jkominek Benja ingstrup

Scott-Domains, Generalized Ultrametric Spaces and Generalized Acyclic Logic Programs

by Pascal Hitzler

posted to ultrametric semantics scott-domain lp generalized-ultrametric-space by scis0000001 on 2007-01-12 19:48:56 as

	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
	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 scis0000001 on 2007-05-16 08:24:14 as along with 1 person isotelesis
	Distributed Operational Semantics for the Object Paradigm [My Copy] by Grant Malcolm, Corina Cirstea posted to distributed hierarchy operational semantics by scis0000001 on 2007-05-10 01:18:43 as
	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 scis0000001 on 2007-05-04 08:03:08 as along with 1 person isotelesis
	Model Checking of Time Petri Nets Based on Partial Order Semantics [My Copy] In International Conference on Concurrency Theory, Vol. 1664 (August 1999), pp. 210-225. by Burkhard Bieber, Hans Fleischhack edited by Jos C. M. Baeten, Sjouke Mauw posted to model-checking partial-order semantics by scis0000001 on 2007-04-29 17:36:54 as along with 1 person baisemain
	Epistemic Actions as Resources [My Copy] by Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh posted to cartesian-closed-categories closed-categories locale monoidal-closed-categories quantale resources semantics by scis0000001 on 2007-04-29 16:51:45 as
	Sheaf Semantics for Concurrent Interacting Objects [My Copy] Mathematical Structures in Computer Science, Vol. 2, No. 2. (1992), pp. 159-191. by Joseph A. Goguen posted to concurrency semantics sheaf by scis0000001 on 2007-04-29 14:38:57 as along with 1 person popx
	Rewriting Logic Semantics: From Language Specifications To Formal Analysis Tools [My Copy] by José Meseguer, Grigore Rosu posted to formal-methods maude model-checker rewriting-logic semantics specification by scis0000001 on 2007-04-27 23:59:54 as
	The rewriting logic semantics project [My Copy] Theor. Comput. Sci., Vol. 373, No. 3. (April 2007), pp. 213-237. by José Meseguer, Grigore Rou posted to rewriting-logic semantics by scis0000001 on 2007-04-27 22:52:02 as along with 2 people robertjohnsimmons Scis0000002
	The Genesis of Possible Worlds Semantics [My Copy] Journal of Philosophical Logic, Vol. V31, No. 2. (1 April 2002), pp. 99-137. by Jack B. Copeland posted to semantics by scis0000001 on 2007-04-27 14:14:50 as along with 2 people and 1 group celik garyfeng ReadingLab
	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
	A categorical semantics of quantum protocols [My Copy] (30 Apr 2004) by Samson Abramsky, Bob Coecke posted to categorical protocol qip semantics by scis0000001 on 2007-04-15 13:48:24 as along with 6 people christiankissig pqnelson jrw greg_restall dmitri83 eswar_physics
	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
	Semantic Equivalence in Engineering Design Databases [My Copy] In Knowledge Representation Meets Databases (1997), pp. 7.1-7.5. by Bill Hills, Barry F. James, Nick B. Rossiter posted to category-theory equivalence semantic-equivalence semantics similarity by scis0000001 on 2007-04-14 13:50:25 as
	Executable structural operational semantics in Maude [My Copy] (2003) by A. Verdejo, Mart N. Oliet posted to executable maude operational semantics by scis0000001 on 2007-04-14 02:55:25 as along with 1 person kavabean
	Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements [My Copy] Information and Computation, Vol. 145, No. 2. (1998), pp. 153-190. by Roberto Giacobazzi, Francesco Ranzato posted to closure-structures lp monads order-theory reconstruction semantics by scis0000001 on 2007-04-14 02:24:49 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
	Dynamic asset trees and Black Monday [My Copy] Physica A Statistical Mechanics and its Applications, Vol. 324 (June 2003), pp. 247-252. by J. P. Onnela, A. Chakraborti, K. Kaski, J. Kertész posted to asset-space asset-tree dynamics semantics topological-space tree by scis0000001 on 2007-04-04 14:00:46 as
	Competition in a stock market with small firms [My Copy] Journal of Economics, Vol. 48, No. 3. (1988), pp. 243-261. by Hans Haller posted to markets metric-space semantics topological-space by scis0000001 on 2007-04-04 13:43:40 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
	Dynamics of market correlations: Taxonomy and portfolio analysis [My Copy] Phys. Rev. E, Vol. 68, No. 5. (November 2003), 056110. by J. P. Onnela, A. Chakraborti, K. Kaski, J. Kertész, A. Kanto posted to behavior concurrency domain-theory dynamics markets semantics taxonomy topological-space ultrametric-space by scis0000001 on 2007-04-01 15:42:05 as
	Social bookmarking in the enterprise [My Copy] Queue, Vol. 3, No. 9. (November 2005), pp. 28-35. by David Millen, Jonathan Feinberg, Bernard Kerr posted to enterprise semantics by scis0000001 on 2007-03-16 10:15:18 as along with 56 people and 23 groups britbohlinger meikipp kevinemamy thegoose rickl INK-SSCI-SCI JamesChien realheld rabourn tyfn carlblesius russellbeale wcrosbie jrsinclair Jaykul sids kate_waxlyrical jnavon nic221 leonardo bliksem kei_s kaz24 tintos shilad domenico79 ayanos rfitzgerald jodi craigtalbert mbraly gphroh wasp ianturton toshi ak lanubile ycc2106 bug ufarooq starchaser cullrich pallefs JimFolk jryall-tags yuyuyu weifen nafpupu s3131944 yteng2 cherhan DStuart hci01 ctreude sebpaquet rrbarb INK-SSCI-SCI@CiteuLike.org Adaptive-Web Blog_and_Wiki_Research mgh-lcs Librarians Semantic-Social-Networks hst-bmi GroupLens Wikipedia CoP_CMS ETEC533 HCI-Bham XMLDataManagement SFX-Verde-team-MITLibraries ThinkBridge CDG Web2 elearning_research Game_Studies oktave-labs CSU_School_of_Education Web2-0_Education Social computing
	Categorical Semantics of Parallel Program Design [My Copy] Science of Computer Programming, Vol. 28, No. 2-3. (1997), pp. 111-138. by Jose L. Fiadeiro, T. S. E. Maibaum posted to categorical cathegory-theory distributed semantics by scis0000001 on 2007-03-11 16:47:40 as along with 1 person jrw
	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
	Quantum Aspects of Semantic Analysis and Symbolic Artificial Intelligence [My Copy] (19 February 2004) by Diederik Aerts, Marek Czachor posted to neural-symbolic semantics by scis0000001 on 2007-03-07 14:18:59 as along with 1 person jrw
	A Theory of Concepts and Their Combinations II: A Hilbert Space Representation [My Copy] (26 Feb 2004) by Diederik Aerts, Liane Gabora posted to categorization classification conceptual-structures context epistemology fca hilbert-space linearity logical-structures quantum-logic semantics state-space subspace svm unified-concept-theory by scis0000001 on 2007-03-07 14:18:03 as along with 2 people JayDugger Scis0000002
	Quantales and observational semantics [My Copy] In Current Research in Operational Quantum Logic: Algebras, Categories and Languages, Vol. 111 (2000), pp. 263-288. by P. Resende edited by B. Coecke, D. Moore, A. Wilce posted to noncommutativity observation quantale quantum-logic semantics by scis0000001 on 2007-03-06 20:56:34 as
	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
	Semantic Metrics [My Copy] Lecture Notes in Computer Science : Managing Knowledge in a World of Networks (2006), pp. 166-181. by Bo Hu, Yannis Kalfoglou, Harith Alani, David Dupplaw, Paul Lewis, Nigel Shadbolt posted to metrics semantics by scis0000001 on 2007-02-18 12:50:50 as along with 1 person and 1 group RiccardoAlbertoni ImatiGESemantic
	Concurrent Games and Full Completeness [My Copy] In Logic in Computer Science (1999), pp. 431-442. by Samson Abramsky, Paul A. Mellies posted to completeness computability-logic concurrency domain-theory games semantics by scis0000001 on 2007-02-18 11:59:33 as
	Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour [My Copy] Mathematical Structures in Computer Science, Vol. 6, No. 4. (1996), pp. 353-373. by Jose L. Fiadeiro, Jose F. Costa posted to adjoint-functors behaviour curry-howard-isomorphism duality process semantics specification stone-duality syntax by scis0000001 on 2007-02-16 08:43:06 as
	Relating Event and Trace Semantics of Hardware Description Languages [My Copy] (2002), pp. 27-36. by M. J. C. Gordon posted to semantics trace-semantics by scis0000001 on 2007-02-15 14:36:59 as
	Towards Semantics of Self-Adaptive Software [My Copy] : Self-Adaptive Software: First International Workshop, IWSAS 2000, Oxford, UK, April 2000. Revised Papers (2001), 50. by Dusko Pavlovic posted to self-adaptation semantics by scis0000001 on 2007-02-15 14:17:58 as
	Argumentation-theoretic proof procedures for default reasoning [My Copy] (1997) by P. Dung, R. Kowalski, F. Toni posted to argumentation argumentation-theory atp category-theory computability-logic curry-howard-isomorphism dialogue game-theory games implementation incompleteness lp metalogic-programming metalogics model-theory nonmonotonicity oops proof proof-procedure proof-search proof-theory proof-tree protocol search-space searching semantics specification stone-duality tree by scis0000001 on 2007-02-14 14:09:28 as
	On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games [My Copy] Artificial Intelligence, Vol. 77, No. 2. (1995), pp. 321-358. by Phan M. Dung posted to acceptability argumentation argumentation-theory computability-logic domain-theory games inference logics lp nonmonotonicity proof-theory semantics by scis0000001 on 2007-02-13 09:05:21 as along with 1 person remarkables
	Topology and Iterates in Computational Logic [My Copy] (1997) by A. Seda, P. Hitzler posted to topological semantics lp fixed-point dynamics by scis0000001 on 2007-02-01 17:12:51 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
	Process Semantics of Temporal Logic Specification [My Copy] In Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types - Selected Papers, Vol. LNCS 655 (1993), pp. 236-253. by J. Fiadeiro, J. F. Costa, A. Sernadas, T. Maibaum edited by M. Bidoit, C. Choppy posted to temporal-logic temporal semantics process logic categorical by scis0000001 on 2007-01-27 14:30:22 as
	Modal and Temporal Operators on Partial Orders [My Copy] by Bernhard Möller posted to temporal-logic temporal semantics quantitative partial-order modal-logic logics ideal-domains domain-theory by scis0000001 on 2007-01-27 13:46:16 as
	Semantics of Behavioral Inheritance in Deductive Object-Oriented Databases [My Copy] (1995) by H. Jamil posted to semantics inheritance deduction db behavior by scis0000001 on 2007-01-19 17:40:53 as
	Meaning for Observers and Agents [My Copy] In IEEE International Symposium on Intelligent Control / Intelligent Systems and Semiotics, ISIC/ISAS'99 - September 15-17, 1999 Cambridge, Massachusetts, USA (1999), pp. 435-440. by Chrystopher L. Nehaniv posted to semantics observation meaning interpretation epistemology by scis0000001 on 2007-01-19 10:17:36 as along with 2 people nathanielvirgo Scis0000002
	Quantitative Semantics, Topology, and Possibility Measures [My Copy] by Reinhold Heckmann, Michael Huth posted to semantics quantitative by scis0000001 on 2007-01-16 09:42:21 as
	Nonmonotonic Logics and Semantics [My Copy] Journal of Logic and Computation, Vol. 11 (2) (2001), pp. 229-256. by D. Lehmann posted to semantics nonmonotonic logics by scis0000001 on 2007-01-16 09:31:23 as
	Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics [My Copy] (15 Aug 2004) by Jørgen Villadsen posted to syntax semantics nlp hd by scis0000001 on 2007-01-16 09:26:45 as
	Towards a Colimit-Based Semantics for Visual Programming [My Copy] In COORDINATION '02: Proceedings of the 5th International Conference on Coordination Models and Languages (2002), pp. 166-173. by Jeremy Gibbons posted to visual-programming semantics colimit by scis0000001 on 2007-01-15 14:39:36 as
	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
	Formal Semantics of Meta-Level Architectures: Dynamic Control of Reasoning [My Copy] by Jan Treur posted to semantics metainference by scis0000001 on 2007-01-12 22:16:51 as along with 1 person Scis0000002
	Reflection and semantics in LISP [My Copy] In POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1984), pp. 23-35. by Brian C. Smith posted to semantics reflection 3-lisp by scis0000001 on 2007-01-12 21:50:10 as along with 4 people g000001 jkominek Benja ingstrup
	Scott-Domains, Generalized Ultrametric Spaces and Generalized Acyclic Logic Programs [My Copy] by Pascal Hitzler posted to ultrametric semantics scott-domain lp generalized-ultrametric-space by scis0000001 on 2007-01-12 19:48:56 as

scis0000001's semantics [82 articles] Export

scis0000001's tags