scis0000001's unified-concept-theory [28 articles] Export

Recent papers added to scis0000001's library classified by the tag unified-concept-theory. You can also see everyone's unified-concept-theory.

Hide details

	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
	Relating CASL with other specification languages: the institution level [My Copy] Theor. Comput. Sci., Vol. 286, No. 2. (September 2002), pp. 367-475. by Till Mossakowski posted to institutions parchments specification unified-concept-theory by scis0000001 on 2007-05-16 00:09:57 as along with 2 people Scis0000002 marcinzalewski
	On the Role of Category Theory in the Area of Algebraic Specification [My Copy] In Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification (1996), pp. 17-48. by Hartmut Ehrig, Martin Gro&\#223;e-Rhode, Uwe Wolter posted to algebraicity category-of-specifications category-theory classifying-categories concurrency configuration-space formal-development higher-dimensional-category-theory indexed-categories lattice-of-specifications metascience sketch-theory specification specification-lattice specifications-lattice topos-theory unified-concept-theory by scis0000001 on 2007-05-15 14:30:26 as along with 1 person Scis0000002
	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
	Complete Lattices Represent Complete Heyting Algebras (Or: Quantum Logic With An Intuitionistic Implication) [My Copy] by Bob Coecke posted to atomisticity closure-structures commutativity complete concept-lattice conceptual-structures formal-science frames heyting-algebra hyperdoctrine inquiry-calculus intuitionistic-logic lattice lattice-of-properties locales operational ortholattice probability-theory property-lattice quantum-logic stone-duality topos-theory unified-concept-theory by scis0000001 on 2007-05-09 22:41:14 as along with 1 person Scis0000002
	Lattice-based Information Retrieval [My Copy] (2000) by P. Ue posted to fca information-retrieval inquiry-calculus lattice-theory order-theory probability-theory search-theory unified-concept-theory by scis0000001 on 2007-05-04 23:50:09 as along with 1 person Carol_Perryman
	A Theory-Based Representation for Object-Oriented Domain Models [My Copy] IEEE Trans. Softw. Eng., Vol. 26, No. 6. (June 2000), pp. 500-517. by Scott D. Deloach, Thomas C. Hartrum posted to category-of-signatures category-of-specifications category-theory colimit combination formal-development ood specificattion theory-development theory-morphism unified-concept-theory by scis0000001 on 2007-05-02 23:23:46 as
	Distributed Representations and Nested Compositional Structure [My Copy] (1994) by T. A. Plate posted to cip cognition combination distributed representation unified-concept-theory by scis0000001 on 2007-04-29 18:09:14 as along with 1 person Scis0000002
	Quantum Mechanics Beyond Hilbert Space [My Copy] In Irreversibility and Causality, Vol. 504 (1998), 3. by J. P. Antoine edited by A. Bohm, H. D. Doebner, P. Kileanowski posted to closure-space generalized-hilbert-space hilbert-space quantum-theory unified-concept-theory by scis0000001 on 2007-04-29 16:33:00 as
	Contextualizing Concepts Using a Mathematical Generalization of the Quantum Formalism [My Copy] (2002) by L. Gabora, D. Aerts posted to quantum-theory state-context-property-system unified-concept-theory by scis0000001 on 2007-04-28 13:30:14 as along with 1 person Scis0000002
	Formalizing conceptual spaces [My Copy] In Formal Ontology in Information Systems, Proceedings of the Third International Conference (FOIS 2004) (2004), pp. 153-164. by Martin Raubal edited by A. C. Varzi, L. Vieu posted to unified-concept-theory by scis0000001 on 2007-04-27 14:11:46 as along with 1 person RafG
	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
	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
	S-arrangements with repetitions [My Copy] (2002), pp. 261-266. by S. R. Schwer posted to formal-language-theory generalization s-arrangements unified-concept-theory by scis0000001 on 2007-04-14 01:17:31 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
	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
	Patent Space Visualization for Patent Retrieval [My Copy] by A. W. Mclean posted to category-of-patents category-of-specifications category-of-theories design-theory dev formal-development hyperefficiency innovating innovation-theory inventing invention-theory lattice-of-patents mda patent-development patent-lattice patent-space patent-specification patent-strategy patent-theory patents portfolio product-development specification theory-development unified-concept-theory visualization by scis0000001 on 2007-03-15 14:43:47 as along with 1 person Scis0000002
	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
	Mayet-Godowski Hilbert Lattice Equations [My Copy] (26 Sep 2006) by Norman D. Megill, Mladen Pavicic posted to concept-lattice experiment-lattice hilbert-lattice hilbert-space lattice lattice-of-experiments orthoalgebra probability-theory quantum-computing quantum-domain-theory quantum-epistemology quantum-institutions quantum-logic question-lattice schroedinger-equation subspace unified-concept-theory variety by scis0000001 on 2007-03-06 09:30:57 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 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
	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
	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
	Algorithmic Theories of Everything [My Copy] (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

Note: You may cite this page as: http://www.citeulike.org/user/scis0000001/tag/unified-concept-theory

dynamics	95
category-theory	92
semantics	82
domain-theory	73
prediction	73
chu-space	71
modeling	71
fca	67
inference	67
similarity	62
hierarchy	61
iff	54
self-similarity	54
specification	54
lattice	53
process	52
temporal	52
logics	51
markets	50
network	50
concurrency	45
qm	44
quantum-vacuum	44
computational-epistemology	43
partial-order	43
mas	42
semweb	42
simulation	42
behavior	41
evolution	41
games	41
interactivity	38
fractality	37
representation	36
space-time	36
dynamical-system	35
lp	35
streams	35
dev	34
formation	34
rewriting-logic	34
graph	33
proof	32
algorithmic-information-theory	31
compression	30
hilbert-space	30
scaling	30
classification	29
computability-logic	29
distributed	29
hierarchical	29
fractal	28
optimality	28
svm	28
ui	28
unified-concept-theory	28
economics	27
qualitative	27
algebra	26
categorical	26
clustering	26
context	26
formal-development	26
mining	26
time	26
concept-lattice	25
generalization	25
hd	25
institutions	25
sequence	25
universality	25
ait	24
composition	24
information-system	24
reconstruction	24
temporal-logic	24
trading	24
discovery	23
duality	23
epistemology	23
information-distance	23
kolmogorov-complexity	23
predictability	23
query	23
topological-space	23
uml	23
atp	22
control	22
criticality	22
logic	22
model-selection	22
portfolio	22
qip	22
real-time	22
relativity	22
theory-development	22
visualization	22
noncommutative	21
statistics	21
test	21
discreteness	20
distribution	20
ifs	20
information-flow	20
multiscale	20
programming	20
state-space	20
topos-theory	20
coding	19
complexity	19
embedding	19
formalization	19
interaction	19
mda	19
measurement	19
online	19
ontology	19
quantum-cosmology	19
randomness	19
topology	19
transformation	19
tree	19
ultrametric	19
argumentation	18
flow	18
geometry	18
information	18
linear-logic	18
quantum-theory	18
verification	18
web-service	18
diagrammatic-reasoning	17
distance	17
emergence	17
problem-solving	17
quantum-logic	17
refinement	17
scale-space	17
software	17
visual	17
granularity	16
information-theory	16
nlp	16
order-theory	16
program	16
qait	16
quantitative	16
scale	16
scale-invariance	16
searching	16
similarity-matrix	16
string-theory	16
transition-system	16
algebraic	15
collaboration	15
combination	15
computability	15
dimensionality	15
fractal-dimension	15
mathematics	15
metalogics	15
parchments	15
pricing	15
probability-theory	15
space	15
cosmology	14
dimension	14
efficiency	14
enterprise	14
fixed-point	14
information-extraction	14
information-retrieval	14
metric	14
mkm	14
multifractality	14
portfolio-selection	14
segmentation	14
selection	14
software-architecture	14
symmetry	14
taxonomy	14
testing	14
bayesian	13
calculus	13
cognition	13
computation	13
database	13
executable	13
hda	13
higher-dimensional-category-theory	13
infinite	13
invariance	13
language	13
metascience	13
nonlocality	13
paraconsistency	13
performance	13
periodicity	13
quantale	13
synthesis	13
web	13
abstraction	12
algorithm	12
automata	12
conceptual-structures	12
diagram	12
fol	12
formal-methods	12
gravity	12
kernel-matrix	12
lattice-of-theories	12
logical-structures	12
manifold	12
mdl	12
multifractal	12
power-law	12
qft	12
search	12
temporal-concept-analysis	12
3d	11
computability-theory	11
constraints	11
coordination	11
edutainment	11
formal	11
framework	11
measure	11
memory	11
model	11
model-theory	11
neural-symbolic	11
physics	11
random-matrix-theory	11
relational	11
risk	11
self-similar	11
symbolic-dynamics	11
thermodynamics	11
type-theory	11
universality-class	11
adaptability	10
argumentation-theory	10
category-of-theories	10
csp	10
deep-inference	10
detection	10
entropy	10
fractafold	10
game-theory	10
gtm	10
incompleteness	10
incremental-learning	10
information-geometry	10
kb	10
minimal-sufficient-statistic	10
neuroscience	10
nonlinear	10
partition	10
path	10
phase-space	10
quantum-gravity	10
scale-free-network	10
scale-relativity	10
symmetry-breaking	10
all-logical-theories	9
assistance	9
automating	9
axiomatization	9
decomposition	9
descriptive-complexity	9
extensivity	9
formal-system	9
generalized-kolmogorov-complexity	9
goals	9
hausdorff-dimension	9
induction	9
inductive-inference	9
logical-theories	9
long-range-correlation	9
machine-learning	9
measure-theory	9
metatheory	9
metric-space	9
model-checking	9
operational	9
opinion	9
optimization	9
process-space	9
relational-structures	9
resolution	9
self-duality	9
sequence-prediction	9
sfn	9
stone-duality	9
subspace	9
survivability	9
autonomic-computing	8
biology	8
browsing	8
cantor-space	8
categorification	8
computational-category-theory	8
computational-cosmology	8
computational-physics	8
computational-sociology	8
computing	8
ct	8
db	8
diffusion	8
event-space	8
finance	8
fracton	8
interference	8
logical-information-system	8
many-body	8
meaning	8
metaprocess	8
methodology	8
mixture	8
monitoring	8
multiresolution	8
noise	8
noncommutative-geometry	8
nonextensivity	8
nonlinearity	8
nonmonotonic	8
p-adic	8
proof-theory	8
property-lattice	8
quantization	8
quantum-computing	8
relation	8
relational-physics	8
simplicity	8
software-development	8
theory-selection	8
time-series	8
universal-prediction	8
aixi	7
algebraicity	7
algebraic-structures	7
aspects	7
asynchronous	7
binary-icosahedral-group	7
calculational	7
closure-structures	7
communication	7
computational-mathematics	7
computational-science	7
continuity	7
dialogue	7
experts	7
formal-science	7
fractal-geometry	7
fuzzy	7
generation	7
hypercomplex	7
ilp	7
innovation	7
interoperability	7
investing	7
kernel	7
lattice-theory	7
managed-logic	7
matching	7
mathematical-structures	7
metamodel	7
metamodeling	7
modularity	7
m-theory	7
multiverse	7
non-unitarity	7
patents	7
physical-structures	7
planning	7
primes	7
probabilistic	7
process-theory	7
regularity	7
resource-allocation	7
self-adaptation	7
spatio-temporal	7
structure	7
sufficiency	7
text	7
theory	7
time-series-analysis	7
topological	7
uncertainty	7
wavelet	7
abstract-machine	6
abstract-state-machines	6
analysis	6
association-rules	6
attractor	6
automation	6
cantor-set	6
channel-theory	6
chaos	6
chaos-control	6
chemistry	6
cmb	6
collective	6
compositionality	6
computational	6
computational-complexity	6
computational-narratology	6
concept	6
configuration-space	6
dimension-theory	6
discrete-self-similarity	6
dissimilarity	6
dodecahedral-space	6
econophysics	6
effects	6
engineering	6
ensemble	6
e-science	6
exploration	6
exploring	6
feedback	6
formal-language	6
gales	6
game	6
generalized-hilbert-space	6
generalized-inner-product	6
growth	6
homotopy	6
hyper-economy	6
incremental	6
information-loss	6
java	6
log-periodicity	6
maude	6
mereology	6
noncommutativity	6
non-equilibrium	6
nonmonotonicity	6
nonstandard-analysis	6
ordering	6
phase-transition	6
planck-scale	6
potential	6
prediction-market	6
presentation	6
program-space	6
qifs	6
quantum-information-theory	6
question-answering	6
realizability	6
reduction	6
refactoring	6
reinforcement-learning	6
relativistic	6
self-similarity-matrix	6
set	6
small-world-network	6
social-network	6
standing-waves	6
support	6
syntax	6
theory-formation	6
total-order	6
ultrametric-space	6
al	5
algebraic-domains	5
automatic	5
behaviour	5
branching	5
case-based	5
categorical-logic	5
category-of-specifications	5
circuitry	5
closed-categories	5
combinatorics	5
computational-learning	5
continued-fraction	5
control-flow	5
cooperation	5
correlation	5
dependency	5
differential-geometry	5
discrete-scale-invariance	5
dl	5
effective-topos	5
enriched-category-theory	5
entanglement	5
extraction	5
finite-model-theory	5
fractal-evolution	5
generalized-kernel	5
global-scaling	5
hilbert-lattice	5
homology	5
hyperefficiency	5
hypergraph	5
hypergraphs	5
indexing	5
inertia	5
information-dynamics	5

scis0000001's unified-concept-theory [28 articles] Export

scis0000001's tags