Tag computability-logic [54 articles] Export

Recent papers classified by the tag computability-logic.

	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
	Introduction to computability logic [My Copy] Annals of Pure and Applied Logic, Vol. 123, No. 1-3. (15 October 2003), pp. 1-99. by G. Japaridze posted to computability-logic by robertjohnsimmons on 2009-07-16 06:32:48 as along with 1 person Lewis
	Introduction to Cirquent Calculus and Abstract Resource Semantics [My Copy] J Logic Computation, Vol. 16, No. 4. (1 August 2006), pp. 489-532. by Giorgi Japaridze posted to cirquent-calculus computability-logic by robertjohnsimmons on 2009-07-16 06:29:26 as
	Propositional computability logic II [My Copy] ACM Trans. Comput. Logic, Vol. 7, No. 2. (2006), pp. 331-362. by Giorgi Japaridze posted to computability-logic by robertjohnsimmons on 2009-07-16 06:25:47 as
	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
	From intuitionistic logic to godel-dummett logic via parallel dialogue games [My Copy] Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on In Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on (2003), pp. 188-193. by C. G. Fermuller, A. Ciabattoni posted to argumentation-games computability-logic dialogical-logic dialogue-games field-computing game-logic game-logics hypernetworks intuitionistic-logic parallelization polylogues strategies by Constructivity on 2007-10-09 00:12:39 as along with 1 person cangaru
	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
	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
	Developing theories of types and computability via realizability [My Copy] (1999) by Lars Birkedal posted to algebraic-lattice computability-logic computability-theory effective-topos equilogical-space fibrations fol logics modal-logic predicate-logic realizability realizer sheav-theory topos-theory tripos-theory type-theory by scis0000001 on 2007-05-09 23:12:59 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
	A complete axiomatization of higher-order intuitionistic logic [My Copy] (2001) by M. Coniglio, C. Sernadas posted to axiomatization computability-logic intuitionism intuitionistic-logic by scis0000001 on 2007-03-17 14:08:06 as along with 1 person Constructivity
	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
	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
	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
	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
	A generic framework for dialogue game implementation [My Copy] (1998) by N. Maudet, F. Evrard posted to argumentation computability-logic dialogue framework implementation games by scis0000001 on 2007-02-13 08:54:13 as
	Computational interpretations of linear logic [My Copy] Theoretical Computer Science, Vol. 111, No. 1--2. (1993), pp. 3-57. by Samson Abramsky posted to computability-logic linear-logic logics by scis0000001 on 2006-12-16 14:29:40 as along with 1 person ds
	Interaction as a Framework for Modeling [My Copy] Lecture Notes in Computer Science, Vol. 1565 (1999), pp. 243-257. by Peter Wegner, Dina Goldin posted to computability-logic interactive interactivity modeling by scis0000001 on 2006-12-13 15:09:23 as
	Pure Mathematics in a Mechanized Logic [My Copy] by John Harrison posted to computability-logic computational-mathematics mathematics by scis0000001 on 2006-12-10 15:41:17 as
	Game Development as Part of the Computer [My Copy] by Science posted to computability-logic games by scis0000001 on 2006-12-09 14:45:13 as
	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
	Computational Logic and Multiagent Systems: a Roadmap [My Copy] (1999) by F. Sadri, F. Toni posted to computability-logic computational-logic logics mas rationality by scis0000001 on 2006-12-05 10:25:57 as along with 1 person pewu
	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
	Propositional computability logic I [My Copy] (21 Jun 2004) by Giorgi Japaridze posted to computability-logic by scis0000001 on 2006-11-13 14:01:15 as
	Local Realizability Toposes and a Modal Logic for Computability [My Copy] by Exte N. Ed posted to computability-logic by scis0000001 on 2006-11-13 13:50:37 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
	Computability Logic: a formal theory of interaction [My Copy] (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
	Interactive Computation: The New Paradigm [My Copy] 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 9 people and 2 groups isotelesis sebis-bibliothek Mandre fmatthes pverstra rgb csolar1971 tekno scottmoody macc pileWorks
	Gales and supergales are equivalent for defining constructive Hausdorff dimension [My Copy] (29 Aug 2002) by Stephen A. Fenner posted to algorithmic-information-theory capacity compression computability-logic computational-epistemology constructive-hausdorff-dimension criticality dimension-theory fractal-dimension fractality gale game hausdorff-dimension information-distance multifractality qait quantum-compression quantum-computational-epistemology quantum-gales quantum-gambling relativity scale self-similarity space-time supergale by scis0000001 on 2006-09-04 13:32:53 as along with 1 person Scis0000002
	Resolution and logic programming in algebraic domains: Negation and defaults [My Copy] (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

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

Result page: 1 2 Next

chu-space	12
games	12
domain-theory	10
iff	10
interactivity	10
argumentation-theory	9
logics	9
semantics	9
unified-concept-theory	9
game-theory	8
aixi	7
algorithmic-information-theory	7
computational-epistemology	7
all-logical-theories	6
argumentation-games	6
computability	6
inference	6
argumentation	5
category-theory	5
dialogical-logic	5
dynamics	5
formal-system	5
lattice-of-theories	5
linear-logic	5
lp	5
adaptability	4
category-of-theories	4
conceptual-structures	4
effective-topos	4
fca	4
formal-development	4
formal-science	4
gtm	4
hierarchy-of-abstract-machines	4
intuitionistic-logic	4
lattice	4
logic	4
logical-theories	4
mathematics	4
modeling	4
nonmonotonicity	4
paraconsistency	4
proof-search	4
proof-theory	4
proof-tree	4
relativity	4
representation	4
topos-theory	4
universality	4
computability-theory	3
computational-science	3
concurrency	3
fol	3
generalized-kolmogorov-complexity	3
goedel-machine	3
hypercomputability	3
hyperefficiency	3
hypernetworks	3
incompleteness	3
information-distance	3
intelligence-order-relations	3
interference	3
logical-information-system	3
logical-structures	3
markets	3
mathematical-structures	3
metalogic-programming	3
metalogics	3
metascience	3
oops	3
optimality	3
problem-solving	3
resource-allocation	3
semweb	3
theory-development	3
transformation	3
abstract-machines	2
algebraic	2
all-small-categories	2
argumenting	2
behavior	2
collaboration	2
computational-cosmology	2
computational-mathematics	2
decidability	2
dialogue	2
emergence	2
enumerability	2
least-time	2
legal-argumentation	2
machine-learning	2
model-theory	2
networks	2
neural-symbolic	2
philosophy-of-science	2
proof	2
specification	2
speed-prior	2
strategies	2
temporal-logic	2

Tag computability-logic [54 articles] Export

Related Tags