Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
961	Herbrand-Confluence for Cut Elimination in Classical First Order Logic Stefan Hetzl1 and Lutz Straßburger2 1 2 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2012-11-30 05:38:20 Mathematics Logic Proof theory Mathematical logic Deductive reasoning Natural deduction Symbol Differential topology Generalised Whitehead product CurryHoward correspondence
962	Microsoft Word - taxonomyoutline -jas final.doc Add to Reading List Source URL: www.tfec.org Language: English - Date: 2015-02-19 08:39:18 Logic model Forestry Sustainable forest management Environmental indicator
963	Categorematic Unreducible Polyadic Quantifiers in Lexical Resource Semantics Frank Richter Goethe Universität Frankfurt a.M. HeadLex 2016, Warsaw Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-07-24 19:55:04 Quantification Logic Semantics Abstraction Predicate logic Finite model theory Philosophical logic Quantifier Universal quantification FO
964	Collective Activity Detection using Hinge-loss Markov Random Fields Ben London, Sameh Khamis, Stephen H. Bach, Bert Huang, Lise Getoor, Larry Davis University of Maryland College Park, MD 20742 {blondon,sameh,bach,bert,g Add to Reading List Source URL: psl.umiacs.umd.edu Language: English - Date: 2013-06-14 19:26:52 Artificial intelligence Probability Statistics Bayesian statistics Markov networks Graphical models Markov random field Probability theory Image segmentation Probabilistic soft logic Activity recognition Support vector machine
965	C:uments and SettingsnDocumentsicless rationality consist in responding correctly to reasonss rationali Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2007-08-31 03:24:08 Philosophy Epistemology Cognitive science Philosophy of mind Autonomy Philosophical logic Philosophy of psychology Rationality Irrationality Reason Belief Internalism and externalism
966	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi Add to Reading List Source URL: www.di.univaq.it Language: English - Date: 2011-02-08 09:50:34 Mathematical logic Software engineering Theoretical computer science Type theory Computability theory Logic in computer science Proof assistants Logic for Computable Functions HOL Lambda calculus Primitive recursive function Recursion
967	Steve Warner Curriculum Vitae Department of Mathematics Hofstra University Hempstead, NY 11549 Add to Reading List Source URL: satprepget800.com Language: English - Date: 2016-06-13 13:02:27 Mathematical logic Logic Computability theory Theory of computation Proof theory Hierarchy Lambda calculus Theoretical computer science Consistency Propositional calculus Calculus Arithmetical hierarchy
968	On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990 Add to Reading List Source URL: folk.uio.no Language: English - Date: 2014-04-01 05:47:01 Theoretical computer science Mathematics Programming language theory Logic in computer science Mathematical logic Asymptotic analysis Logic programming Type theory Unification Rewriting Rewrite order Term
969	FINDING LINGUISTIC PUBLICATIONS ON AND OFF THE WEB Add to Reading List Source URL: www.brill.com Language: English - Date: 2013-07-11 03:39:21 Publishing Academia Logic Linguistic Bibliography Cognitive science Bibliography Language and Literature Project MUSE Reference Linguistics
970	Layers and Operators Revisited Matthew Anstey 1. Introduction1 Perhaps Functional Grammar’s most distinctive feature is its extensive use of the so-called layered structure of the clause (LSC). The LSC is used as both Add to Reading List Source URL: home.hum.uva.nl Language: English - Date: 2009-12-01 07:07:32 Linguistics Logic Grammar Syntax Semantics Predicate Argument Proposition Dependency grammar Quantifier Operator Clause