CiteULike: scis0000001's logics [51 articles]

	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
	Strategies for Fusing Logic and Control via Local, Application-Specific Transformations [My Copy] by Patricia Johann, Eelco Visser posted to aspects control logics programming by scis0000001 on 2007-05-15 09:08:52 as
	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
	The logic of public announcements, common knowledge, and private suspicions [My Copy] No. SEN-R9922. (March0, 1999) by Alexandru Baltag, L. S. Moss, S. Slawek posted to communication logics by scis0000001 on 2007-04-29 16:56:21 as
	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
	Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations [My Copy] In ICCS '02: Proceedings of the 10th International Conference on Conceptual Structures (2002), pp. 34-47. by Silke Pollandt posted to context logics relation relation-graph by scis0000001 on 2007-04-15 14:16:45 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
	Betting Boolean-Style: A Framework for Trading in Securities Based on Logical Formulas [My Copy] by Lance Fortnow, Joe Kilian, David M. Pennock, Michael P. Wellman posted to logics markets by scis0000001 on 2007-04-09 14:21:49 as
	A semantics of evidence for classical arithmetic [My Copy] J. Symb. Logic, Vol. 60, No. 1. (March 1995), pp. 325-337. by Thierry Coquand posted to argumentation-theory games logics proof by scis0000001 on 2007-03-30 09:42:34 as
	How to Build Your Own Paraconsistent Logic: [My Copy] by An I. To posted to logics paraconsistency paraconsistent-logic by scis0000001 on 2007-03-17 14:16:32 as along with 1 person cangaru
	Entropy as a fixed point [My Copy] Theor. Comput. Sci., Vol. 350, No. 2. (February 2006), pp. 292-324. by Keye Martin posted to algorithmic-complexity algorithmic-information-theory algorithmic-probability coding complexity compressibility compression computational-complexity computational-epistemology continuity descriptive-complexity domain-theory entropy event-space fixed-point information information-theory kolmogorov-complexity lattice-theory logics majorization measure-theory order-theory orthogonality parchments partial-order predictability probability-theory process process-theory qualitative quantitative quantum-algorithmic-information-theory quantum-compression quantum-information-theory state-space topological-space total-order universal-prediction by scis0000001 on 2007-03-16 09:53:10 as along with 5 people and 1 group ansobol Scis0000002 algorithmic AbnerCYH rsantana CSBBGraphTheory
	Logical description for perfect measurements [My Copy] (2000) by B. Coecke, S. Smets posted to discovery logics measure-theory measurement-theory measurements optimality property-lattice by scis0000001 on 2007-03-11 16:41:28 as
	Parameterisation of Logics [My Copy] In Workshop on Algebraic Development Techniques (1998), pp. 48-62. by Carlos Caleiro, Cristina Sernadas, Amilcar Sernadas posted to logics metalogics parameterisation by scis0000001 on 2007-03-08 14:36:16 as
	Quantum Logic in Intuitionistic Perspective [My Copy] (22 Apr 2002) by Bob Coecke posted to intuitionistic lattice logics quantum-logic by scis0000001 on 2007-03-06 20:52:27 as along with 2 people jrw mp4man
	Quantum information processing and quantum logic: toward mutual illumination [My Copy] (20 May 2002) by Howard Barnum posted to logics quantum-logic by scis0000001 on 2007-03-06 08:47:58 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
	Sequentiality vs. Concurrency in Games and Logic [My Copy] by Samson Abramsky posted to concurrency games logics sequentiality by scis0000001 on 2007-02-18 11:58:26 as
	Sierpinski Gaskets for Logic Functions Representation [My Copy] (15 Jun 2002) by Denis V. Popel, Anita Dani posted to logics sierpinski-triangle by scis0000001 on 2007-02-18 10:38:51 as
	Synchronization of Logics [My Copy] Studia Logica, Vol. 59, No. 2. (1997), pp. 217-247. by A. Sernadas, C. Sernadas, C. Caleiro posted to institutions lattice-of-theories logics metalogics space-of-theories by scis0000001 on 2007-02-16 08:50:09 as along with 1 person kozima
	Unifying theories in different institutions [My Copy] (1996) by M. Arrais, J. Fiadeiro posted to institutions logical-theories logics metalogics unification by scis0000001 on 2007-02-16 08:47:26 as along with 1 person Scis0000002
	Graph transformation with time [My Copy] Fundam. Inf., Vol. 58, No. 1. (November 2003), pp. 1-22. by Szilvia Gyapay, D&\#225;niel Varr&\#243;, Reiko Heckel posted to causality graph logics time transformation by scis0000001 on 2007-02-14 13:41:20 as
	Games that agents play: A formal framework for dialogues between autonomous agents [My Copy] (2002) by P. Mcburney, S. Parsons posted to argumentation dialogue embedding games logics by scis0000001 on 2007-02-13 09:59:07 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
	Specifying the Merging of Desires into Goals [My Copy] by Mehdi Dastani, Leendert van der Torre posted to bias cognitive-agents constraints goals logics merging needs by scis0000001 on 2007-02-10 13:44:09 as
	Chronological Minimisation and Explanation [My Copy] by John Bell posted to logics inference common-sense chronological-minimisation causal-minimisation by scis0000001 on 2007-02-05 13:06:13 as
	A Logic for Metric and Topology [My Copy] by Frank Wolter, Michael Zakharyaschev posted to quantitative-domain-theory logics by scis0000001 on 2007-02-04 15:31:50 as
	$My PDF mart&\#237;-oliet_94_general.pdf$ General logics and logical frameworks [My Copy] (1994), pp. 355-391. by Narciso Mart&\#237;-Oliet, Jos&\#233; Meseguer posted to logics general-logics by scis0000001 on 2007-02-04 15:30:46 as along with 1 person Scis0000002
	Logical reasoning with diagrams [My Copy] (1996) by Gerard Allwein, Jon Barwise edited by Gerard Allwein, Jon Barwise posted to logics inference diagrammatic-reasoning by scis0000001 on 2007-02-03 11:49:13 as
	Default Reasoning over Domains and Concept Hierarchies [My Copy] by P. Hitzler posted to closure-structures default-reasoning domains hierarchy inference information-system kb logical-information-system logics lp nonmonotonic by scis0000001 on 2007-02-01 17:20:31 as
	Substructural logics on display [My Copy] (1997) by R. Gore posted to substructural logics deep-inference by scis0000001 on 2007-02-01 14:37:26 as
	A Spatial Logic Based on Regions and Connection [My Copy] In KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (1992), pp. 165-176. by David A. Randell, Zhan Cui, Anthony Cohn edited by Bernhard Nebel, Charles Rich, William Swartout posted to spatial-logic spatial logics by scis0000001 on 2007-02-01 14:20:28 as along with 1 person arnia
	Logics of metric spaces [My Copy] (2001) by O. Kutz, H. Sturm, N. Suzuki, F. Wolter, M. Zakharyaschev posted to topological-space logics distance by scis0000001 on 2007-02-01 14:18:01 as
	A Note on Concepts and Distances [My Copy] In Description Logics (2001) by Oliver Kutz, Frank Wolter, Michael Zakharyaschev posted to logics distance by scis0000001 on 2007-02-01 14:05:05 as
	A Logical View of Composition and Refinement [My Copy] In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages (1991), pp. 323-332. by Mart∈ Abadi, Gordon D. Plotkin posted to refinement logics composition by scis0000001 on 2007-01-29 15:06:10 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
	A logic-based theory of deductive arguments [My Copy] Artificial Intelligence, Vol. 128, No. 1-2. (2001), pp. 203-235. by Philippe Besnard, Anthony Hunter posted to logics argumentation by scis0000001 on 2007-01-19 15:48:30 as along with 1 person fastman
	A Metric and Layered Temporal Logic for Time Granularity [My Copy] (1994) by A. Montanari posted to granularity logics temporal temporal-concept-analysis time by scis0000001 on 2007-01-19 09:17:38 as
	Logics of Formal Inconsistency [My Copy] In Handbook of Philosophical Logic, Vol. 14 (2005) by Walter A. Carnielli, Marcelo E. Coniglio, João marcos edited by D. Gabbay, F. Guenthner posted to paraconsistency logics inconsistency by scis0000001 on 2007-01-16 09:36: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
	A Paraconsistent Higher Order Logic [My Copy] (26 Dec 2003) by Jørgen Villadsen posted to paraconsistent logics hol by scis0000001 on 2007-01-16 09:20:26 as
	The Dynamics of Default Reasoning [My Copy] Data Knowledge Engineering, Vol. 21, No. 3. (1997), pp. 317-346. by B. van Linder, Wiebe van der Hoek, John posted to concurrency default-reasoning dynamical-system dynamics inference inference-dynamics logics reasoning-dynamics speed-prior temporal-logic by scis0000001 on 2007-01-12 22:20:00 as
	Temporalizing Epistemic Default Logic [My Copy] Journal of Logic, Language and Information, Vol. 7, No. 3. (1998), pp. 341-367. by Wiebe van der Hoek, John, Jan Treur posted to temporalizing logics default-logic by scis0000001 on 2007-01-12 22:19:10 as
	Multi-context Systems as a Specification framework for Complex Reasoning Systems [My Copy] (1993) by E. Giunchiglia, P. Traverso, F. Giunchiglia posted to logics iff context by scis0000001 on 2007-01-12 22:15:47 as along with 1 person Scis0000002
	Multilanguage Hierarchical Logics or: How we can do Without Modal Logics [My Copy] Artificial Intelligence, Vol. 65, No. 1. (1994), pp. 29-70. by Fausto Giunchiglia, Luciano Serafini posted to multilanguage logics hierarchical by scis0000001 on 2007-01-12 22:13:55 as
	Reflective metalogical frameworks [My Copy] ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576. by David Basin, Manuel Clavel, José Meseguer posted to adaptability framework iff institutions logical-structures logics managed-logic metainference metalogical metalogics metamathematics metatheory reflective reflexion by scis0000001 on 2007-01-12 21:46:58 as along with 6 people and 1 group isotelesis pirapira leemond31 dalev Benja Scis0000002 NU-PRL
	A study in the foundations of programming methodology: specifications, institutions, charters and parchments [My Copy] In Proceedings of a tutorial and workshop on Category theory and computer programming (1986), pp. 313-333. by J. A. Goguen, R. M. Burstall posted to category-theory charters iff institutions logics managed-logic metalogics metascience parchments programming specifications by scis0000001 on 2006-12-30 21:54:09 as
	Logical foundations of functional programming [My Copy] (1990) by Gérard Huet edited by G&\#233;rard Huet posted to categorical functional-programming logics by scis0000001 on 2006-12-29 14:00:16 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
	Logical Operations and Kolmogorov Complexity II [My Copy] In SCT: Annual Conference on Structure in Complexity Theory (2001) by Muchnik posted to kolmogorov-complexity logics by scis0000001 on 2006-12-09 15:13:52 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

scis0000001's logics [51 articles] Export

scis0000001's tags