Tag logic [more than 800 articles] Export

Recent papers classified by the tag logic.

	Formal Languages and Compilation (Texts in Computer Science) [My Copy] (31 January 2009) by Stefano C. Reghizzi posted to programming logic by lehalle on 2009-11-21 07:38:19 as
	Generalized Ultrametrics, Domains And An Application To Computational Logic [My Copy] Irish Mathematical Society Bulletin, Vol. 41 (1998), pp. 31-43. by Anthony K. Seda, Pascal Hitzler posted to ultrametric logic by jcreed on 2009-11-20 17:03:39 as
	A simulation of business-to-business decision making in a relationship marketing context☆ [My Copy] Industrial Marketing Management, Vol. 38, No. 8. (21 November 2009), pp. 994-1005. by Alison Watkins, Ronald P. Hill posted to simulation relationship_communication marketing_models managing_marketing logic decisions business_context by seisonseis on 2009-11-18 12:45:01 as along with 1 person dynaopto
	“What’s it Worth to Me?” Three interpretive studies of the relative roles of task-oriented and reflexive processes in separate versus joint value construction [My Copy] Journal of Economic Psychology, Vol. 30, No. 6. (28 December 2009), pp. 840-858. by Stephen J. Gould, Thomas Kramer posted to value service logic co-production by seisonseis on 2009-11-18 09:09:32 as
	The surprise examination or unexpected hanging paradox [My Copy] (6 Sep 2005) by Timothy Y. Chow posted to paradox logic by mvermaat on 2009-11-16 09:57:15 as
	A Cheerful Introduction to Forcing and the Continuum Hypothesis [My Copy] (14 Dec 2007) by Kenny Easwaran posted to zfc set-theory logic forcing by JoseBrox on 2009-11-16 00:46:30 as along with 3 people and 1 group proportional dmitri83 archernikov Model theory
	A Brief History of Future Set Theory [My Copy] (27 Jul 2008) by Werner Depauli-Schimanovich posted to zfc set-theory naive-set-theory logic by JoseBrox on 2009-11-16 00:44:22 as along with 1 person ansobol
	A System of Axiomatic Set Theory--Part I [My Copy] The Journal of Symbolic Logic, Vol. 2, No. 1. (1937), pp. 65-77. by Paul Bernays posted to system set_theory logic axiom by ajholanda on 2009-11-13 13:29:45 as
	Delegation logic: A logic-based approach to distributed authorization [My Copy] ACM Trans. Inf. Syst. Secur., Vol. 6, No. 1. (February 2003), pp. 128-171. by Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum posted to logic delegation by amirreza on 2009-11-13 07:20:42 as along with 2 people fheintz charoy
	Security Theorems via Model Theory [My Copy] (11 Nov 2009) by Joshua Guttman posted to security model logic by sgwyj on 2009-11-12 21:23:23 as
	Linked Photoswitches Where Both Photochromes Open and Close [My Copy] Organic Letters, Vol. 6, No. 11. (1 May 2004), pp. 1729-1732. by Reginald H. Mitchell, Subhajit Bandyopadhyay posted to photoswitches photochromes logic linked higher by matt4toxicology on 2009-11-11 17:34:13 as
	Observational equality, now! [My Copy] In PLPV '07: Proceedings of the 2007 workshop on Programming languages meets program verification (2007), pp. 57-68. by Thorsten Altenkirch, Conor McBride, Wouter Swierstra posted to logic by fvogels on 2009-11-10 22:40:45 as along with 4 people msakai pedagand noam_zeilberger Benja
	The Mathematical Development of Set Theory from Cantor to Cohen [My Copy] The Bulletin of Symbolic Logic, Vol. 2, No. 1. (1996), pp. 1-71. by Akihiro Kanamori posted to set_theory mathematical_development logic cantor by ajholanda on 2009-11-10 14:00:26 as
	An Axiomatics for Nonstandard Set Theory, Based on Von Neumann-Bernays-Gödel Theory [My Copy] The Journal of Symbolic Logic, Vol. 66, No. 3. (2001), pp. 1321-1341. by P. V. Andreev, E. I. Gordon posted to von_neumann-bernays-godel-set_theory set_theory logic by ajholanda on 2009-11-09 11:06:25 as
	The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis. [My Copy] Proceedings of the National Academy of Sciences of the United States of America, Vol. 24, No. 12. (December 1938), pp. 556-557. by K. Gödel posted to logic godel continuum axiom_of_chioce by ajholanda on 2009-11-09 10:48:11 as
	Consistency-Proof for the Generalized Continuum-Hypothesis. [My Copy] Proceedings of the National Academy of Sciences of the United States of America, Vol. 25, No. 4. (April 1939), pp. 220-224. by K. Gödel posted to logic godel continuum by ajholanda on 2009-11-09 10:46:40 as
	On proof and progress in mathematics [My Copy] (1 Apr 1994) by William P. Thurston posted to survey popular physics metamath mathematics math-history math logic general-culture fun famous by jpburelle on 2009-11-09 03:06:14 as along with 8 people JoseBrox NitinCR imrchen ansobol jrw proportional dmitri83 archernikov
	A beginner's guide to forcing [My Copy] (8 May 2008) by Timothy Y. Chow posted to newbie logic forcing by JoseBrox on 2009-11-08 03:32:49 as along with 8 people and 1 group pirapira jrw qwermish ansobol dmitri83 archernikov jedal teesid Model theory
	Investigating subsumption in SNOMED CT: An exploration into large description logic-based biomedical terminologies [My Copy] Artificial Intelligence in Medicine, Vol. 39, No. 3. (19 March 2007), pp. 183-195. by O. Bodenreider, B. Smith, A. Kumar, A. Burgun posted to ontology logic formal description by vkwn on 2009-11-06 10:37:18 as along with 1 person hoganwr
	Applications of Fuzzy Logic in Data Mining Process [My Copy] Advanced Fuzzy Logic Technologies in Industrial Applications (2006), pp. 249-260. by Hang Chen posted to mining logic fuzzy by dokooh on 2009-11-05 15:41:57 as
	An application of co-inductive types in Coq: Verification of the alternating bit protocol [My Copy] Types for Proofs and Programs (1996), pp. 135-152. by Eduardo Giménez posted to verification theorem-proving recursion master-project logic functional-programming coq coinduction by mvermaat on 2009-11-05 14:02:51 as
	A Tutorial on Recursive Types in Coq [My Copy] INRIA ROCQUENCOURT (1998) by Eduardo Giménez posted to types recursion master-project logic functional-programming coq coinduction by mvermaat on 2009-11-05 13:34:58 as
	Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie? [My Copy] (17 Feb 2009) by Claus-Peter Wirth posted to logic automatic-theorem-proving by JoseBrox on 2009-11-04 16:29:07 as
	Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic) [My Copy] (29 September 2005) by Richard Bornat posted to tool textbook proof logic jape formal book 2005 by michaelbanks on 2009-11-04 12:12:06 as
	The Logic of Animal Conflict [My Copy] Nature, Vol. 246, No. 5427. (02 November 1973), pp. 15-18. by J. Maynard Smith, G. R. Price posted to meer_projection logic human conflict animal by ch_orse on 2009-11-04 11:01:41 as along with 13 people and 1 group jpp1021 lcigler schepparn anarinsk kumar_physics bhengeveld Benja matteodellamico ec_dude ible carolaccs mtkn jonana VivesMinions
	Types are weak omega-groupoids [My Copy] (1 Dec 2008) by Benno van den Berg, Richard Garner posted to logic by JoseBrox on 2009-11-02 13:38:50 as
	Homotopy theoretic models of identity types [My Copy] (3 Sep 2007) by Steve Awodey, Michael A. Warren posted to logic by JoseBrox on 2009-11-02 13:37:57 as along with 1 person kaqui
	The temporal logic of actions [My Copy] ACM Trans. Program. Lang. Syst., Vol. 16, No. 3. (1994), pp. 872-923. by Leslie Lamport posted to tlaplus tla logic lamport by ajholanda on 2009-10-29 14:28:18 as along with 1 person michaelbanks
	Inverse entailment and Progol [My Copy] (1995) by Stephen Muggleton, Wolfson Building, Parks Road posted to progol logic inverse-entailment ilp generalisation by Maderlock on 2009-10-29 13:57:04 as
	Logic in Computer Science: Modelling and Reasoning about Systems [My Copy] (30 August 2004) by Michael Huth, Mark Ryan posted to systems reasoning modeling methods logic formal computer by dokooh on 2009-10-29 10:38:03 as along with 3 people BastianSpanneberg rob_quill leonardo
	An Order-Sorted Quantified Modal Logic for Meta-ontology [My Copy] Automated Reasoning with Analytic Tableaux and Related Methods (2005), pp. 169-184. by Ken Kaneiwa, Riichiro Mizoguchi posted to reasoning quantification order modal-logic meta-ontology logic by dokooh on 2009-10-27 09:21:43 as
	First-Order Probabilistic Languages: Into the Unknown [My Copy] Inductive Logic Programming (2007), pp. 10-24. by Brian Milch, Stuart Russell posted to statistical-inference review probabilistic logic ilp by Maderlock on 2009-10-25 14:49:36 as along with 1 person dcoates
	Sheaves in Geometry and Logic: A First Introduction to Topos Theory [My Copy] (27 October 1994) by Saunders MacLane, Ieke Moerdijk posted to topoi sheaves logic category by noam_zeilberger on 2009-10-22 23:05:19 as along with 6 people and 1 group NitinCR christiankissig DavidChemouil mahler hhalvors mmarcus Rightscom
	Consistency of the theory of contexts [My Copy] J. Funct. Program., Vol. 16, No. 3. (2006), pp. 327-395. by Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hoffman posted to pl logic contexts by tov on 2009-10-22 18:50:23 as
	On the Logic of TLA+ [My Copy] Computers and Informatics, Vol. 22 (2001) by Stephan Merz, Inria Lorraine, S. Merz posted to tlaplus merz logic by ajholanda on 2009-10-22 11:58:55 as along with 1 person pirapira
	The logic of constraint satisfaction [My Copy] Artificial Intelligence, Vol. 58, No. 1-3. (December 1992), pp. 3-20. by Alan K. Mackworth posted to sat logic csp by evgenit on 2009-10-21 17:56:19 as
	Automated deduction for verification [My Copy] ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-56. by Natarajan Shankar posted to verification software sat-solver reasoning logic hardware automatic 2009 by michaelbanks on 2009-10-20 10:23:09 as
	Gene networks and liar paradoxes [My Copy] BioEssays, Vol. 31, No. 10. (31 August 2009), pp. 1110-1115. by Mark Isalan posted to topology motif logic liar_paradox genome gene_regulatory_networks feedback by tomhebbron on 2009-10-20 09:51:39 as along with 1 person VGreiff
	Fads and Fallacies about Logic [My Copy] IEEE Intelligent Systems, Vol. 22, No. 2. (2007), pp. 84-87. by John F. Sowa posted to semantic_web logic by ilepile on 2009-10-19 12:10:13 as
	Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics [My Copy] (14 Oct 2009) by Samson Abramsky posted to quantum mathematics logic knots geometry computation category-theory algebra by jrw on 2009-10-18 23:55:44 as
	Some Philosophical Problems from the Standpoint of Artificial Intelligence [My Copy] In Machine Intelligence, Vol. 4 (1969), pp. 463-502. by John Mccarthy, Patrick J. Hayes posted to logic frame_problem da cite by cyph3r on 2009-10-15 14:28:07 as along with 2 people hukkinen davidmihalcik
	Pebble games in model theory [My Copy] Structures in Logic and Computer Science (1997), pp. 66-83. by James Lynch posted to logic game finite_model_theory by edm92 on 2009-10-13 07:07:05 as along with 1 person pirapira
	Explanation and Prediction: An Architecture for Default and Abductive Reasoning [My Copy] Computational Intelligence, Vol. 5, No. 2. (1989), pp. 97-110. by David Poole posted to psychology logic explanation abductive-reasoning by abellogin on 2009-10-12 00:36:12 as along with 3 people p2p01 bfraser Scis0000002
	Explanation and Qualitative Reasoning [My Copy] by Anders B. And posted to logic explanation by abellogin on 2009-10-12 00:35:25 as along with 1 person Scis0000002
	Argumentation in Explanations to Logical Problems [My Copy] In ICCS '01: Proceedings of the International Conference on Computational Sciences-Part I (2001), pp. 969-978. by Armin Fiedler, Helmut Horacek posted to logic explanation argumentation by abellogin on 2009-10-12 00:34:26 as along with 1 person Scis0000002
	Discursive Institutionalism: The Explanatory Power of Ideas and Discourse [My Copy] Annual Review of Political Science, Vol. 11, No. 1. (2008), pp. 303-326. by Vivien A. Schmidt posted to substantive_content static_structures polities political_actors policy_actors philosophies objective norms normative_discourse new_institutionalism logic institutions institutional_contexts institutional_change insight foreground external_rule dynamic_approach by emilianionita on 2009-10-09 11:26:18 as along with 1 person shayden
	Induction versus Popper: substance versus semantics. [My Copy] International journal of epidemiology, Vol. 27, No. 4. (August 1998), pp. 543-548. by S. Greenland posted to logic by guhjy on 2009-10-07 09:24:00 as
	Probability logic and probabilistic induction. [My Copy] Epidemiology (Cambridge, Mass.), Vol. 9, No. 3. (May 1998), pp. 322-332. by S. Greenland posted to logic by guhjy on 2009-10-07 09:23:55 as
	Rule Systems for Runtime Verification: A Short Tutorial [My Copy] Runtime Verification (2009), pp. 1-24. by Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce posted to runtimeverification logic formallanguage by joachimbaran on 2009-10-03 21:04:35 as
	A Grammatical Representation of Visibly Pushdown Languages [My Copy] Logic, Language, Information and Computation (2007), pp. 1-11. by Joachim Baran, Howard Barringer posted to visiblypushdown modelchecking logic grammar formallanguage contextfree by joachimbaran on 2009-10-03 20:52:59 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

mathematics	145
category-theory	108
computation	92
ai	73
quantum	56
algebra	54
physics	54
semantics	50
reasoning	47
linear	43
modal	43
philosophy	42
complexity	38
temporal	38
description	37
theory	37
math	35
languages	34
printed	30
automata	29
programming	29
ontology	28
algorithms	27
reasoning_about_action	27
separation	27
history	26
knowledge	25
language	25
model	25
_copy	24
pnc	22
proof	22
system	22
depth	21
formal	21
fuzzy	21
situation_calculus	21
argumentation	17
calculus	17
cs	17
godel	17
xml	17
computer-science	16
networks	16
planning	16
probabilistic	16
prolog	16
quantum-information	16
theoretical-computer-science	16
type-theory	16
argument	15
category	15
computability	15
deduction	15
graphs	15
owl	15
probability	15
security	15
geometry	14
intuitionistic	14
theorem_proving	14
architecture	13
authorization	13
categorical	13
category_theory	13
database	13
datalog	13
incomplete_knowledge	13
information	13
mind	13
control	12
foundations	12
hilbert	12
prooftheory	12
verification	12
access-control	11
algebraic-specification	11
distributed	11
inference	11
modelling	11
semantic	11
transcription	11
uncertainty	11
books	10
context	10
mathematical	10
natural	10
nonmonotonic	10
proof_theory	10
stochastic	10
truth	10
web	10
book	9
complex	9
default	9
essurvey	9
frame_problem	9
fun	9
tla	9
type	9

Tag logic [more than 800 articles] Export

Related Tags