Tag logic [more than 800 articles]

Recent papers classified by the tag logic.

	Fuzzy Logic Analysis of Kinase Pathway Crosstalk in TNF/EGF/Insulin-Induced Signaling [My Copy] PLoS Comput Biol, Vol. 5, No. 4. (3 April 2009), e1000340. by Bree B. Aldridge, Julio Saez-Rodriguez, Jeremy L. Muhlich, Peter K. Sorger, Douglas A. Lauffenburger posted to systemsbiology logic by abhishek_tiwari on 2009-07-04 17:14:19 as along with 3 people renatomilani brianb agonzale
	Logic models of pathway biology [My Copy] Drug Discovery Today, Vol. 13, No. 9-10. (May 2008), pp. 447-456. by S. Watterson, S. Marshall, P. Ghazal posted to systemsbiology logic by abhishek_tiwari on 2009-07-04 17:11:59 as along with 1 person guhjy
	Proofs and types [My Copy] (1989) by Jean-Yves Girard, Paul Taylor, Yves Lafont posted to types project-pre-phd logic by pedagand on 2009-07-03 19:25:10 as along with 3 people alec AndreasSchropp jonathlela
	The Logic of the Ontological Square [My Copy] Studia Logica, Vol. 91, No. 1. (1 February 2009), pp. 25-51. by Luc Schneider posted to ontology logic by jago on 2009-07-02 11:03:41 as
	Editorial Introduction. Truth Values: Part I [My Copy] Studia Logica, Vol. 91, No. 3. (1 April 2009), pp. 295-304. by Yaroslav Shramko, Heinrich Wansing posted to truth-values logic by jago on 2009-07-02 10:57:51 as
	Adding a temporal dimension to a logic system [My Copy] Journal of Logic, Language and Information, Vol. 1, No. 3. (1 September 1992), pp. 203-233. by Marcelo Finger, Dov M. Gabbay posted to maths logic by matatk on 2009-07-01 11:41:08 as
	Intensional isomorphism and identity of belief [My Copy] Philosophical Studies, Vol. 5, No. 5. (10 October 1954), pp. 65-73. by Alonzo Church posted to type theory logic intensional by rgoene on 2009-06-29 20:07:40 as
	A Context-Based Logic for Distributed Knowledge Representation and Reasoning [My Copy] Modeling and Using Context (1999), pp. 832-832. by Chiara Ghidini, Luciano Serafini posted to logic context by wspeng on 2009-06-29 15:48:50 as along with 1 person fheintz
	Delegation Logic: A Logic-based Approach to Distributed Authorization [My Copy] ACM Transactions on Information and System Security, Vol. 6 (2000) by Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum posted to logic delegation authorization by mstone on 2009-06-25 20:42:25 as
	A logic of authentication [My Copy] ACM Transactions on Computer Systems, Vol. 8 (1990), pp. 18-36. by Michael Burrows, Martin Abadi, Roger Needham posted to security logic authentication by mstone on 2009-06-25 19:17:15 as
	Once Upon a Number: Mathematician Bridges Stories and Statistics [My Copy] (01 December 1998) by John A. Paulos posted to turs-project subjective stories probability narrative mathematics logic informal formal by phillipkent to the group TURS-project on 2009-06-18 16:39:11 as
	Learning Logical Definitions from Relations [My Copy] Machine Learning, Vol. 5, No. 3. (August 1990), pp. 239-266. by J. R. Quinlan posted to order logic inductive foil first by pinventado on 2009-06-18 11:40:22 as along with 2 people Dori2008 pewu
	Lectures on Jacques Herbrand as a Logician [My Copy] (12 May 2009) by Claus-Peter Wirth, Joerg Siekmann, Christoph Benzmueller, Serge Autexier posted to theory logic history by bunge on 2009-06-16 21:16:10 as
	A Logical Hole in the Chinese Room [My Copy] Minds and Machines by Michael Shaffer posted to symbolic searle processing philosophy logic connectionist chinese_room by djsaab on 2009-06-14 19:28:29 as
	Construction and Enhancement of a Minimal Genetic AND Logic Gate [My Copy] Appl. Environ. Microbiol., Vol. 75, No. 3. (1 February 2009), pp. 637-642. by Daniel J. Sayut, Yan Niu, Lianhong Sun posted to syntheticbiology logic gate by austin on 2009-06-13 02:25:57 as
	Probabilistic modelling, inference and learning using logical theories [My Copy] Annals of Mathematics and Artificial Intelligence by K. Ng, J. Lloyd, W. Uther posted to logic artificial-intelligence by drevicko on 2009-06-10 08:07:10 as
	$My PDF j&\#248;sang_06_trust.pdf$ Trust network analysis with subjective logic [My Copy] In ACSC '06: Proceedings of the 29th Australasian Computer Science Conference (2006), pp. 85-94. by Audun J&\#248;sang, Ross Hayward, Simon Pope posted to trustnetwork trust tna subjective sl reasoning networks logic inference analysis by dokooh on 2009-06-02 09:45:29 as along with 2 people p2p-sec eduardomoschetta
	A Unifying Logical Framework for Reason Maintenance [My Copy] In ECSQARU '93: Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (1993), pp. 113-120. by Detlef Fehrer posted to tms logic by fraktalek on 2009-06-01 18:04:22 as
	Intelligently deciphering unintelligible designs: algorithmic algebraic model checking in systems biology [My Copy] Journal of The Royal Society Interface, Vol. 6, No. 36. (6 July 2009), pp. 575-597. by Bud Mishra posted to systems-biology sbml rules rule robert-stevens logic history duncanhull by pauldobson on 2009-06-01 14:46:38 as
	Quanta, Logic and Spacetime [My Copy] by S. A. Selesnick posted to spacetime quantum logic by NitinCR on 2009-06-01 14:20:28 as
	Outline of a Theory of Truth [My Copy] The Journal of Philosophy, Vol. 72, No. 19. (1975), pp. 690-716. by Saul Kripke posted to truth logic by karolina on 2009-05-30 23:39:27 as
	Logical analysis of the budding yeast cell cycle [My Copy] Journal of Theoretical Biology, Vol. 257, No. 4. (21 April 2009), pp. 543-559. by D. J. Irons posted to logic cc by boolean by janani137 on 2009-05-29 20:40:17 as along with 1 person Koh
	Modeling stochasticity and robustness in gene regulatory networks [My Copy] Bioinformatics, Vol. 25, No. 12. (15 June 2009), pp. i101-109. by Abhishek Garg, Kartik Mohanram, Alessandro Di Cara, Giovanni De Micheli, Ioannis Xenarios posted to stochasticity logic grn boolean-networks by jvb on 2009-05-29 10:44:56 as along with 1 person and 1 group dlobo GEB
	Semiring Properties of Heyting Algebras [My Copy] (30 Dec 2008) by Amit Raj, Shrisha Rao, Mahesh Rudrachar posted to mathematics logic algebra by shrisharao on 2009-05-25 07:43:23 as
	The Semiring Properties of Boolean Propositional Algebras [My Copy] (16 Jan 2009) by Mahesh Rudrachar, Shrisha Rao, Amit Raj posted to mathematics logic algebra by shrisharao on 2009-05-25 07:42:01 as
	The Semiring Properties of Fuzzy Algebras [My Copy] (15 May 2009) by Kartikeya V. S. S. Vanamali, Shrisha Rao posted to semirings mathematics logic fuzzy algebra by shrisharao on 2009-05-25 07:37:40 as
	Efficiency Motives and Normative Forces: Combining Transactions Costs and Institutional Logic [My Copy] Journal of Management, Vol. 25, No. 1. (1 February 1999), pp. 75-96. by Richard J. Martinez, Tina M. Dacin posted to transactions normative motives logic institutional forces efficiency costs combining by derchao on 2009-05-25 03:50:43 as
	New Rules for Hybrid Spatial Reasoning [My Copy] Intelligent Data Engineering and Automated Learning - IDEAL 2005 (2005), pp. 17-24. by Wenhui Li, Haibin Sun posted to spatial logic by mcgrathm on 2009-05-24 19:39:37 as
	Conservative logic [My Copy] International Journal of Theoretical Physics, Vol. 21, No. 3. (1 April 1982), pp. 219-253. by Edward Fredkin, Tommaso Toffoli posted to physics logic cs computation compsci by pdlug on 2009-05-23 14:47:27 as along with 2 people jorisslob davidad
	A beginner's guide to forcing [My Copy] (9 Dec 2007) by Timothy Y. Chow posted to mathematics logic by jrw on 2009-05-20 20:24:40 as along with 6 people and 1 group qwermish ansobol dmitri83 archernikov jedal teesid Model theory
	Towards an Architecture for Cognitive Vision using Qualitative Spario-Temporal Representations and Abduction [My Copy] In In Spatial Cognition III (2002), pp. 232-248. by A. G. Cohn, D. R. Magee, A. Galata, D. C. Hogg, S. M. Hazarika posted to vision temporal spatial logic inference cognitive calculus by mcgrathm on 2009-05-19 07:52:55 as
	Spatio-temporal representation and reasoning based on RCC-8 [My Copy] In In Proceedings of the seventh Conference on Principles of Knowledge Representation and Reasoning, KR2000 (2000), pp. 3-14. by Frank Wolter, Michael Zakharyaschev posted to temporal spatial logic calculus by mcgrathm on 2009-05-19 07:08:59 as
	Explanation-based learning: An alternative view [My Copy] Machine Learning, Vol. 1, No. 2. (1 June 1986), pp. 145-176. by Gerald Dejong, Raymond Mooney posted to prooftree logic explanations expertsystems by wuman on 2009-05-16 13:02:36 as
	Bohrification of operator algebras and quantum logic [My Copy] (14 May 2009) by Chris Heunen, Nicolaas P. Landsman, Bas Spitters posted to topos-theory quantum-information quantum physics logic category-theory by jrw on 2009-05-15 21:01:16 as along with 1 person ttylec
	Logical inference and polyhedral projection [My Copy] Computer Science Logic (1992), pp. 184-200. by J. Hooker posted to logic by uuh on 2009-05-15 09:12:41 as along with 1 person cjones
	Fourier-Motzkin elimination extension to integer programming problems [My Copy] Journal of Combinatorial Theory, Series A, Vol. 21, No. 1. (July 1976), pp. 118-123. by H. Williams posted to logic by uuh on 2009-05-15 08:34:25 as
	Godel's Proof [My Copy] (01 October 2001) by Ernest Nagel, James R. Newman posted to mathematics logic incompleteness godel 2001 by michaelbanks on 2009-05-14 14:32:20 as along with 2 people NitinCR Adso
	Gödel, Escher, Bach: An Eternal Golden Braid [My Copy] (01 January 1999) by Douglas R. Hofstadter posted to recursion proof programming music mathematics logic godel decidability book artificial-intelligence art 1979 by michaelbanks on 2009-05-14 14:18:44 as along with 22 people and 4 groups chihchun_chen robotact Aubrey trm005 Adso asekerci byronf dayjm pchiusano tystl caporaso paulclinger spirit_of_numenor joshuashen fawxtin grisogono germoglio volkansevim spinaltap526 dlobo edvin NitinCR biomedical-nlp ComplexAdaptiveSystems DSTO-CAS GEB
	Termination Prediction for General Logic Programs [My Copy] (13 May 2009) by Yi-Dong Shen, Danny De Schreye, Dean Voets posted to verification logic formalmethods by jleny on 2009-05-14 12:52:44 as
	Reasoning about security: A logic and a decision method for role-based access control [My Copy] Qualitative and Quantitative Practical Reasoning (1997), pp. 421-435. by Fabio Massacci posted to role-based reasoning logic access-control by christiand on 2009-05-12 14:08:37 as
	Is set theory indispensable? [My Copy] (11 May 2009) by Nik Weaver posted to set-theory logic by ansobol on 2009-05-12 08:08:44 as along with 3 people jrw jjray jjrohal
	Decomposing Properties into Safety and Liveness using Predicate Logic [My Copy] No. 87-874. (October 1987) by Fred B. Schneider posted to safety property logic liveness 1987 by michaelbanks on 2009-05-11 11:01:03 as
	The temporal logic of programs [My Copy] Symposium on Foundations of Computer Science In Symposium on Foundations of Computer Science, Vol. 0 (1977), pp. 46-57. by Amir Pnueli posted to verification temporal proof program logic concurrency 1977 by michaelbanks on 2009-05-11 10:41:23 as along with 1 person prahlad
	Towards a Logic of Rational Agency [My Copy] Logic Jnl IGPL, Vol. 11, No. 2. (1 March 2003), pp. 135-159. by Wiebe van der Hoek, Michael Wooldridge posted to rational-agency philosophy logic epistemology decision-theory by pkazmierczak on 2009-05-10 23:29:41 as
	Computational issues in belief revision [My Copy] The Logic of Theory Change (1991), pp. 49-71. by João Martins posted to philosophy logic computability belief-revision by pkazmierczak on 2009-05-10 22:38:29 as
	Ten Philosophical Problems in Belief Revision [My Copy] J Logic Computation, Vol. 13, No. 1. (1 February 2003), pp. 37-49. by Sven O. Hansson posted to revision philosophy logic belief by pkazmierczak on 2009-05-10 22:36:29 as along with 2 people saget khm
	The temporal logic of actions [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 16, No. 3. (1994), pp. 872-923. by Leslie Lamport posted to tla temporal logic action 1994 by michaelbanks on 2009-05-08 15:34:09 as
	Interpolation in Modal Logic [My Copy] Algebraic Methodology and Software Technology (1999), pp. 154-163. by Maarten Marx posted to modal logic interpolation by sgwyj on 2009-05-07 21:22:51 as
	The Blackwell Guide to Philosophical Logic [My Copy] (17 August 2001) edited by Lou Goble posted to philosophy logic introduction book 2001 by michaelbanks on 2009-05-07 18:59:31 as
	A Mathematical Introduction to Logic, Second Edition [My Copy] by Herbert B. Enderton posted to logic frocos09 book by dejan on 2009-05-06 00:43:51 as

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

Result page: 1 2 3 4 5 6 7 8 9 10 Next

RIS BibTeX RTF/PDF

Tag logic [more than 800 articles]

Tag selected articles

Related Tags