Tag logic [more than 800 articles] Export

Recent papers classified by the tag logic.

	On proof and progress in mathematics [My Copy] (1 Apr 1994) by William P. Thurston posted to metamath math-history logic famous by JoseBrox on 2009-11-08 03:34:51 as along with 7 people 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 12 people and 1 group 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
	Forays into Sequential Composition and Concatenation in Eagle [My Copy] Runtime Verification (2008), pp. 69-85. by Joachim Baran, Howard Barringer posted to runtimeverification logic expressiveness complexity by joachimbaran on 2009-10-03 20:48:28 as
	Protocols from perceptual observations [My Copy] Artif. Intell., Vol. 167, No. 1-2. (2005), pp. 103-136. by Chris J. Needham, Paulo E. Santos, Derek R. Magee, Vincent Devin, David C. Hogg, Anthony G. Cohn posted to vision progol logic induction cognitive_vision cognitive behaviour by handee on 2009-09-30 09:48:22 as along with 2 people fheintz blanca
	The Boundary Between Decidability and Undecidability for Transitive-Closure Logics [My Copy] Computer Science Logic (2004), pp. 160-174. by Neil Immerman, Alex Rabinovich, Tom Reps, Mooly Sagiv, Greta Yorsh posted to logic by msakai on 2009-09-19 09:42:35 as
	N3Logic: A logical framework for the World Wide Web [My Copy] Theory and Practice of Logic Programming, Vol. 8, No. 03. (2008), pp. 249-269. by E. Tim Berners le, Y. Dan Connoll, L. Lalana Kaga, F. Yosi Schar, R. Jim Hendle posted to www semantic_web logic by bresiva on 2009-09-18 10:03:24 as along with 1 person pipauwel
	Hilbert's Program Sixty Years Later [My Copy] The Journal of Symbolic Logic, Vol. 53, No. 2. (1988), pp. 338-348. by Wilfried Sieg posted to math logic hilbert by ajholanda on 2009-09-17 16:39:11 as
	Qualitative robot localisation using information from cast shadows [My Copy] Robotics and Automation, 2009. ICRA '09. IEEE International Conference on (06 July 2009), pp. 220-225. by P. Santos, H. M. Dee, V. Fenelon posted to occlusion shadows robotics robot pqrs logic by handee on 2009-09-17 14:45:26 as
	A logic-based diagram of signalling pathways central to macrophage activation. [My Copy] BMC systems biology, Vol. 2, No. 1. (2008) by Sobia Raza, Kevin A. Robertson, Paul A. Lacaze, et al.David Page, Anton J. Enright, Peter Ghazal, Tom C. Freeman posted to signaling nfkb macrophage logic cls-anton by ptrobajo on 2009-09-17 10:55:29 as along with 3 people and 1 group jwhitney AlexanderPico cmzmasek ConklinLab
	Investigations into Logical Deduction [My Copy] American Philosophical Quarterly, Vol. 1, No. 4. (1964), pp. 288-306. by Gerhard Gentzen posted to logic deduction classic-papers-fall09 by robertjohnsimmons to the group ConcertRG on 2009-09-14 18:26:17 as along with 1 person pirapira
	The Logic of Possible Worlds [My Copy] Theory Culture Society, Vol. 23, No. 2-3. (1 May 2006), pp. 94-95. by Neil Turnbull posted to pre-socratic_greek-philosophy possible_worlds logic globalisation by tamda on 2009-09-11 19:18:00 as along with 1 person pirapira
	Working with Multiple Ontologies on the Semantic Web [My Copy] The Semantic Web – ISWC 2004 (2004), pp. 620-634. by Bernardo C. Grau, Bijan Parsia, Evren Sirin posted to ont maths logic by matatk on 2009-09-11 16:15:13 as along with 2 people alc142 dokooh
	Molecular implementation of simple logic programs [My Copy] Nature Nanotechnology, Vol. advance online publication (02 August 2009) by Tom Ran, Shai Kaplan, Ehud Shapiro posted to 11-sep-09 programs molecular_computers logic algorithms by robertrentzsch to the group Orengo Group Journal Picks on 2009-09-11 11:17:59 as along with 1 person pirapira
	An Introduction to Gödel's Theorems [My Copy] (06 August 2007) by Peter Smith posted to logic by dwei98 on 2009-09-10 21:39:46 as along with 3 people pirapira Scis0000002 NitinCR
	Godel's Incompleteness Theorems [My Copy] (20 August 1992) by Raymond M. Smullyan posted to logic by dwei98 on 2009-09-10 21:38:36 as along with 1 person NitinCR
	A Logical Inference Approach to Query Expansion with Social Tags [My Copy] Advances in Information Retrieval Theory (2009), pp. 358-361. by Christina Lioma, Roi Blanco, Marie-Francine Moens posted to tag query-expansion logic ictir by abellogin on 2009-09-10 15:14:46 as
	A Belief Model of Query Difficulty That Uses Subjective Logic [My Copy] Advances in Information Retrieval Theory (2009), pp. 92-103. by Christina Lioma, Roi Blanco, Raquel Mochales Palau, Marie-Francine Moens posted to query-drift query-difficulty logic ictir evidence aggregation by abellogin on 2009-09-10 15:07:22 as
	A sound and relatively complete Hoare-logic for a language with higher type procedures [My Copy] Acta Informatica, Vol. 20, No. 1. (1 October 1983), pp. 59-101. by Werner Damm, Bernhard Josko posted to logic by fvogels on 2009-09-08 11:10:43 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	144
category-theory	108
computation	92
ai	73
quantum	56
algebra	54
physics	53
semantics	50
reasoning	47
linear	43
modal	43
philosophy	42
complexity	38
temporal	38
theory	38
description	37
languages	34
math	34
printed	30
automata	29
ontology	28
programming	28
algorithms	27
reasoning_about_action	27
separation	27
history	26
knowledge	25
language	25
_copy	24
model	23
pnc	22
proof	22
depth	21
formal	21
fuzzy	21
situation_calculus	21
system	21
argumentation	17
calculus	17
cs	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
godel	15
graphs	15
owl	15
probability	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
security	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
arithmetic	9
complex	9
frame_problem	9
ir	9
model-theory	9
rule	9
tla	9
type	9

Tag logic [more than 800 articles] Export

Related Tags