Scis0000002's computability-logic [21 articles] Export

Recent papers added to Scis0000002's library classified by the tag computability-logic. You can also see everyone's computability-logic.

Hide details

	The Cambridge Handbook of Thinking and Reasoning [My Copy] (18 April 2005) by Keith J. Holyoak, Robert Morrison posted to argumenting computability-logic hierarchy-of-abstract-machines hierarchy-of-computabilities inferencing reasoning thinking by Scis0000002 on 2009-05-30 16:06:45 as along with 1 person willers
	The SWAN biomedical discourse ontology. [My Copy] Journal of biomedical informatics (4 May 2008) by Paolo Ciccarese, Elizabeth Wu, Gwen Wong, et al.Marco Ocana, June Kinoshita, Alan Ruttenberg, Tim Clark posted to abstract-machines argumentation-technologies argumentation-theory argumenting bioinformatics computability-logic discourse-representation-structures discourse-technologies discourse-theory discourses interoperability linguistic-frameworks logical-frameworks by Scis0000002 on 2009-04-28 19:20:38 as along with 3 people rmbrad guhjy dullhunk
	Computational Dialectics [My Copy] (1994) by T. Gordon posted to argumentation-games computability-logic computational-dialectics dialogical-logic game-semantics logic-games pleading-games by Scis0000002 on 2008-07-11 22:44:26 as
	Games and logics for a noninterleaving bisimulation [My Copy] Nordic J. of Computing, Vol. 2, No. 2. (1995), pp. 221-249. by Mogens Nielsen, Christian Clausen posted to bisimulation computability-logic games by Scis0000002 on 2008-05-22 23:17:29 as
	Why Occam's Razor [My Copy] (28 Jan 2004) by Russell K. Standish posted to algorithmic-information-theory cantor-space computability computability-logic computational-cosmology cosmologcal-theories descriptive-complexity diophantine-equations domain-theory enumerability formal-system formal-systems formal-theories no-boundary-conditions polynomial-equations polynomials recursively-enumerable-formal-systems recursively-enumerable-sets recursively-enumerable-theorems toe toes topos-theory unifying by Scis0000002 on 2008-04-08 19:11:09 as
	A Theory of Universal Artificial Intelligence based on Algorithmic Complexity [My Copy] ArXiv Computer Science e-prints (April 2000) by M. Hutter posted to aixi computability-logic computational-games computational-intelligence gtm hierarchy-of-abstract-machines hypercomputability intelligence-order-relations order-structures partial-orders power power-order-relations total-order total-orders utm by Scis0000002 on 2008-03-04 10:49:27 as along with 2 people algorithmic scis0000001
	Probability and Finance: It's Only a Game! [My Copy] (15 June 2001) by Glenn Shafer, Vladimir Vovk posted to computability-logic domain-theory entropies entropy games game-theory lattice-theory markets martingales order-theory probability-theory quantum-probability-theory by Scis0000002 on 2007-12-28 13:58:12 as along with 2 people ansobol quianominorleo
	Quantization of Games: Towards Quantum Artificial Intelligence [My Copy] ArXiv Quantum Physics e-prints (December 2004) by Sladkowski posted to algorithmic-quantum-information-theory computability-logic goedel-machine goedel-machines hypercomputability qip quantum-algorithmic-information-theory quantum-compression quantum-computability quantum-computability-logic quantum-computational-intelligence quantum-games quantum-information-theory quantum-logic quantum-strategies quantum-theory strategies by Scis0000002 on 2007-12-27 13:27:38 as
	Computable Economics: Methodology and Philosophy (Routledge Advances in Experimental & Computable Economics) [My Copy] (2007) by K. Velupillai posted to algorithmic-economics computability computability-logic computable-economics constructive-economics constructive-mathematics effective-topos hypercomputability by Scis0000002 on 2007-11-04 17:15:15 as
	Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements [My Copy] (27 Dec 2004) by Juergen Schmidhuber posted to abstract-machines approximating architectures argumentation-games argumentation-theory cognitive-architectures computability-logic computational-intelligence constructivism epistemic-logic formal-computational-intelligence formal-digital-libraries formalization-hypothesis idempotence inner-models meta-level-architectures metalogical-frameworks omega-hierarchies parallelization quantum-computational-intelligence reflectivity self-interacting speed-games topos-theory by Scis0000002 on 2007-08-22 23:40:30 as along with 1 person scis0000001
	Finding out = achieving decidability [My Copy] (1989) by M. Rayner, S. Janson posted to computability-logic decidability question-answering by Scis0000002 on 2007-08-14 18:20:53 as
	Logical for Social Software [My Copy] by Marc Pauly posted to agency-theory alternating-temporal-logic category-of-organizations coalition-logic collaborating collaboration computability-logic economic-processes game-complexity game-theory games institutions logical-structures logics markets networks new-institutional-economics normative-systems organization-theory organizational-logic social-choice-theory social-dynamics social-interactions social-processes social-software social-structures social-systems socio-economic-systems by Scis0000002 on 2007-07-04 09:47:02 as along with 1 person education01
	Modeling Large Scale and Complex Infrastructure Systems as Computable Games [My Copy] Network Science, Nonlinear Science and Infrastructure Systems (2007), pp. 53-75. by Terry Friesz, Reetabrata Mookherjee, Srinivas Peeta posted to combinations-of-interactions computability-logic games hypernetworks by Scis0000002 on 2007-07-02 14:51:24 as
	Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming [My Copy] by Carlos I. Chesñevar, Guillermo R. Simari, Lluis Godo posted to argument-tree computability-logic dialectical-tree dialogue-tree dispute-tree domain-theory game-tree hyperefficiency hypertree hypertrees inference-tree lattice-of-argument-trees lattice-of-arguments lattice-of-dialectical-trees prediction proof-search proof-space proof-tree relevance resource-allocation search-space tree trees universal-search by Scis0000002 on 2007-07-02 13:41:12 as
	Agent based cooperative theory formation in pure mathematics [My Copy] (2000) by S. Colton, A. Bundy, T. Walsh posted to agent-theory aixi argumentation argumentation-games argumentation-theory category-of-theories collaboration computability-logic computational-science developing dialogical-logic distributed distributed-operating-system experts extendability formal-digital-library formal-interoparability formal-language-theory formal-problem-solving formal-science formation game-theory goedel-machine heterogeneous hierarchy-of-abstract-machines hyperefficiency hypernetworks iff interoperability logical-theories markets mathematics mechanized-mathematics metascience mkm oops optimality order-structures philosophy-of-science problem-solving proof-search resource-allocation scientific-community semweb socio-economic-systems theory-development unified-concept-theory by Scis0000002 on 2007-07-01 16:37:59 as
	Games as formal tools versus games as explanations in logic and science [My Copy] Foundations of Science, Vol. 8, No. 4. (1 December 2003), pp. 317-364. by Ahti-Veikko Pietarinen posted to argumentation-theory category-theory computability-logic dialogical-logic domain-theory games game-theory lattice-theory logics networks order-theory probability-theory by Scis0000002 on 2007-07-01 16:05:50 as
	Modal Logic As Dialogical Logic [My Copy] Synthese, Vol. 127, No. 1 - 2. (April 2001), pp. 57-93. by Patrick Blackburn posted to computability-logic dialogical-logic ludics modal-logic by Scis0000002 on 2007-07-01 15:37:46 as along with 1 person greg_restall
	Logically Possible Machines [My Copy] pp. 259-280. by E. Steinhart posted to all-possible-inventions all-possible-universes all-possible-worlds category-of-contexts category-of-specifications category-of-theories computability-logic computability-theory computational-mechanics effective-topos executable-theories finitary-stochastic-hierarchy formal-development formal-logical-theories formal-science formal-theories hierarchy-of-abstract-machines hierarchy-of-complexity-classes hierarchy-of-decision-problems hierarchy-of-formal-languages hierarchy-of-machines hierarchy-of-toposes hyperefficiency innovating lattice-of-machines lattice-of-situations logical-machines logical-theories metalogics modeling omega-hierarchies omega-innovating philosophy-of-science quantum-computability superstatistics theory-development toes by Scis0000002 on 2007-06-30 15:32:17 as
	Theories of Legal Argumentation and Concepts of Law. An Approximation [My Copy] Ratio Juris, Vol. 15, No. 4. (2002), pp. 377-402. by Massimo La Torre posted to acceptability argumentation-games argumentation-theory computability-logic computability-theory decidability game-theory legal-argumentation legal-reasoning model-theory optimality pragmatics proof-theory proof-tree semantics by Scis0000002 on 2007-06-23 20:46:48 as
	A tool in modelling disagreement in law: preferring the most specific argument [My Copy] In ICAIL '91: Proceedings of the 3rd international conference on Artificial intelligence and law (1991), pp. 165-174. by Henry Prakken posted to argumentation argumentation-games argumentation-theory computability-logic legal-argumentation legal-reasoning by Scis0000002 on 2007-06-23 20:35:25 as
	Forming telecommunications software specifications from a service-driven model using enhanced software tools [My Copy] Journal of Systems Integration, Vol. 2, No. 4. (24 October 1992), pp. 389-404. by E. Cameron, C. Norman, Lillian Ruston, Hassan Srinidhi posted to argumentation-theory category-of-theories combination combinations-of-interactions computability-logic game-theory games network-of-interactions superposition unified-concept-theory by Scis0000002 on 2007-06-23 20:22:46 as

Note: You may cite this page as: http://www.citeulike.org/user/Scis0000002/tag/computability-logic

markets	79
control-models	77
dynamics	67
strategies	65
biophysics	60
topos-theory	59
nonlinearity	57
interoperability	55
hyperefficiency	54
time-series	54
biological-structures	54
ontologies	50
problem-solving	50
activities	49
systems-biology	49
philosophy-of-science	47
mathematical-structures	47
invariances	46
modularity	46
memories	45
symmetries	45
signal-processing	45
solitons	44
organisms	44
monitoring	44
hci	43
logical-theories	42
order-structures	42
gauge-theories	41
developing	41
contextuality	41
3d	41
games	41
networks	40
cells	40
pricing	40
synthetic-biology	40
real-time	38
metalogics	38
brain-models	38
communities	38
complexities	37
risks	37
social-dynamics	37
quantum-computing	37
therapies	37
events	37
behaviors	37
normative-systems	36
neuroethics	34
formal-theories	34
portfolios	34
survivability	34
metalogical-frameworks	33
institutions	33
infrastructures	32
semantic-web	32
representations	32
category-of-theories	32
neuromodulating	32
universes	32
logical-frameworks	32
searching	32
kernel-methods	32
specification	32
self-models	31
contracts	31
similarities	31
entropies	31
correlations	30
wave-equations	30
genomes	29
category-theory	29
collaborating	29
scale-spaces	29
planning	29
classifications	28
deciding	28
standing-waves	28
metascience	28
predicting	28
diseases	28
semantics	28
streams	27
fields	27
environments	27
gravitational-waves	27
matter-waves	27
oscillations	27
metamathematics	26
modeling	26
reinforcement-learning	26
higher-dimensional	26
enterprises	26
neurodynamics	26
computational-neuroscience	26
information-extracting	26
group-theory	25
modules	25
qm	25
algebraicity	25
societies	25
flows	25
sensor-networks	25
quantum-coherence	24
clustering	24
inferencing	24
game-theory	24
transforming	24
derivatives	24
resource-allocation	24
argumentation-theory	24
reconstructing	24
situations	23
hierarchy-of-abstract-machines	23
neurosemiotics	23
trading-strategies	23
bioelectromagnetics	23
quantum-strategies	23
argumentation	23
unified-concept-theory	23
neuroscience	23
options	23
qft	23
social-technologies	22
toposes	22
membranes	22
formation	22
fractality	22
bcis	22
energies	22
temporal	22
bioethics	22
abilities	22
distributed	22
computational-trading	22
hierarchies	22
visual	22
performance	22
frameworks	22
justice-theories	22
populations-of-strategies	22
logics	22
nlp	21
behavior	21
globalization	21
abstract-machines	21
question-answering	21
brain-theories	21
nervous-systems	21
computability-logic	21
imaging	21
unifying	20
brain-interfaces	20
self-interacting	20
brain-states	20
holography	20
text-mining	20
nonequilibrium	20
evolving	20
mathematical-biology	20
space-time	20
formal-development	20
ui	20
experiments	20
social-systems	20
robotics	20
trading	20
research-frameworks	19
self-modeling	19
innovating	19
genome-spaces	19
physical-structures	19
constraints	19
matching	19
populations	19
reflectivity	19
computational-epistemology	19
sequences	19
segmenting	19
gravitational-theories	19
scientific-theories	19
interfaces	19
transformability	19
information-processing	19
neurophilosophy	18
particles	18
brain-activities	18
neurotechnologies	18
biological-systems	18
neural-networks	18
simulating	18
economic-models	18
tasks	18
optimality	18
specifications	18
higher-order	18
brains	18
user-modeling	18
proteins	18
mining	18
fol	18
interactivity	18
news	18
personalized-medicine	18
power	18
distributedness	17
augmented-reality	17
computational-biology	17
uncertainty	17
hypermedia	17
wireless	17
heterogeneity	17
thermodynamics	17
functional-programming	17
selecting	17
time	17
de-broglie-waves	17
mas	17
interactions	17
experts	17
space-times	17
support	17
qip	17
coherence	17
atoms	17
testing	17
investing-strategies	17
behavior-spaces	17
duality	17
technologies	17
quantum-games	17
iff	17
quantum-entanglement	17
social-networks	16
rewriting	16
cancers	16
learning	16
quantum-gravity	16
hierarchy-of-machines	16
augmenting	16
filtering	16
stability	16
complete-lattices	16
allocating	16
semigroups	16
effects	16
gravity-theories	16
formal-methods	16
wave-functions	16
democratic-technologies	16
supersymmetry	16
measuring	16
intelligences	16
histories	16
hyperplanes	16
circuitry	16
approximations	16
complexity	16
string-theory	16
beliefs	16
organizations	16
entanglement	15
quantum-biology	15
regulative-systems	15
electrostatics	15
resilience	15
opinions	15
global	15
behavioral-models	15
visualizing	15
network-analysis	15
antennas	15
toes	15
world-models	15
logging	15
argumenting	15
volatility	15
model-theory	15
potentials	15
cortexes	15
information-theory	15
distributions	15
behavior-models	15
hypercomputability	15
life-logging	15
extremal-biology	15
algorithmic-information-theory	15
architectures	15
behavioral-equations	14
justice-models	14
linearized-gravity	14
bioengineering	14
bayesian	14
policies	14
computational-intelligence	14
ontology	14
probability-theory	14
computational-learning	14
socio-economic-systems	14
economics	14
formalization	14
model-organisms	14
goog	14
interconnectivity	14
surfaces	14
information-flows	14
finance	14
justice-technologies	14
futures	14
scientific-frameworks	14
drug-development	14
relativity	14
ilp	14
robots	13
combining	13
industries	13
symmetry-breaking	13
metamathematical-frameworks	13
water	13
neurosociety	13
economic-theories	13
formal-biology	13
growth	13
interacting	13
electromagnetics	13
multiscale	13
discreteness	13
indexing	13
attention	13
biotechnologies	13
patents	13
extremality	13
justice-infrastructures	13
superconductivity	13
signal-complexity	13
molecules	13
web-services	13
meta-level-architectures	13
gr	13
all-possible-worlds	13
dbs	13
phase-spaces	13
biology	13
multimodal	13
becs	13
bundles	13
sensors	13
logical-structures	13
information-retrieval	13
neural-codes	13
cosmological-models	13
molecular-machines	13
rules	13
category-of-specifications	12
automating	12
assistive-technologies	12
predictability	12
diagnostics	12
resources	12
reverse-engineering-nature	12
defeasible-logic	12
coordinating	12
nlg	12
algebraic-theories	12
annotating	12
goals	12
skills	12
order-books	12
type-theory	12
screening	12
similarity	12
groupoids	12
spatio-temporal	12
nodal-domains	12
hyperstructures	12
products	12
theories	12
coalgebras	12
top-down	12
computability	12
representation	12
physical-theories	12
computational-science	12
brain-functions	12
physics	12
adaptivity	12
cip	12
computational-complexity-theory	11
pharmaceutical	11
hypernetworks	11
standard-model	11
category-of-strategies	11
biosignals	11
querying	11
aharonov-bohm-effect	11
software-development	11
business-cycles	11
plasmas	11
control-systems	11
manifolds	11
dimensionality	11
quantum-theory	11
multi-context-systems	11
relevance	11
nonlocality	11
control-theories	11
presentations	11
linguistic-frameworks	11
local	11
executable-theories	11
collaboration	11
cosmology	11
computational-legal-sciences	11
immunotherapy	11
detecting	11
bottom-up	11
gaming	11
knowledge-society	11
periodicity	11
reward-systems	11
molecular-structures	11
stem-cells	11
experiences	11
control	11
theoretical-biology	11
implants	11
biochemistry	11
field-computing	11
electron-waves	11
decoding	11
elf	11
media	11
molecular-biology	11
bioinformatics	11
cancer	11
economic-dynamics	11
process-models	11
languages	10
modal-logic	10
contracting	10
cognitive-architectures	10
epigenetics	10
health-states	10
interaction	10
m-theory	10
hedging	10
pathways	10
bound-states	10
biocomputing	10
attractors	10
noncommutativity	10
electrodynamics	10
mathematization	10
episodes	10
web-apps	10
quantum-decoherence	10
schroedinger-equation	10
cloud-computing	10
knowledge-processing	10
formal-science	10
curvatures	10
substrates	10
behaving	10
higher-dimensional-category-theory	10
concurrency	10
argumentation-games	10
kbs	10
polytopes	10
semantic-technologies	10
synthetic-science	10
gravity	10
emotions	10
nonstationarity	10
coding	10
rewriting-logic	10
topology	10
classifying	10
goedel-machine	10
dark-matter	10
immunology	10
chemical-structures	10
scale-invariance	10
personality-models	10
immune-systems	10
formal-physics	10
detectors	10
genetic-programming	10
feedback	10
storytelling	9
lattices	9
epistemology	9
mathematics	9
components	9
scaling	9
induction	9
risk-models	9
scalar-fields	9
diagrams	9
planets	9

Scis0000002's computability-logic [21 articles] Export

Scis0000002's tags