F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
141	Extreme Non−Specificity in Romanian1 Donka F. Farkas UCSC 1. Background In the extensive literature on the semantics of noun phrases, the most commonly encountered paramters of classification concern the semantic type Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Article Dps Analytic philosophy Logic Quantification Semantics
142	On Reacting to Assertions and Polar Questions Donka F. Farkas UC Santa Cruz Kim B. Bruce Pomona College Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Pragmatics Philosophy of language Semantics Discourse analysis Oral communication Context Speech act Robert Stalnaker Rhetorical question Linguistics Logic Science
143	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Function Unification Model theory Lambda calculus Μ operator Symbol Mathematics Mathematical logic Logic
144	Plagiarism and Academic Integrity January 18, 2011 The standard penalty for violations of academic integrity in this course will be an F grade for the course. Such violations include cheating on an exam, helping someone Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-18 13:49:43 Language Credit Logic Quotation mark Academic integrity Reference Parenthetical referencing Knowledge Plagiarism Academia
145	GROUP IN LOGIC AND THE METHODOLOGY OF SCIENCE PRELIMINARY EXAMINATION There are eight questions. Partial credit may be assigned for substantially correct partially worked solutions. To pass, you need a score of roughly f Add to Reading List Source URL: logic.berkeley.edu Language: English Model theory Structure Constructible universe Symbol Peano axioms Linear temporal logic Forcing Mathematical logic Mathematics Logic
146	SSVAn Abstract Specification Language for Static Program Analysis Michael Vistein Frank Ortmeier Wolfgang Reif Lehrstuhl f¨ Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-08-18 01:13:32 Mathematical logic Computing NuSMV XML Static single assignment form Model checking Linear temporal logic Computation tree logic Type system Theoretical computer science Temporal logic Logic in computer science
147	Two Paradigms Are Better Than One, And Multiple Paradigms Are Even Better Arun K. Majumdar and John F. Sowa VivoMind Intelligence, Inc. Abstract. During the past half century, the field of artificial intelligence has dev Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2009-08-05 14:09:03 Reasoning Programming paradigms Software architecture Intelligent agent Society of Mind Cognitive architecture Reasoning system Logic programming Frame language Artificial intelligence Science Knowledge
148	The Grammar of Polarity Particles in Romanian Donka F. Farkas UCSC 1 Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Pragmatics Science Semantics Discourse analysis Propositional calculus Context Interpretation Proposition Modal logic Logic Linguistics Philosophy of language
149	Polarity Particles in Hungarian Abstract1 Donka F. Farkas UC Santa Cruz Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Science Discourse analysis Pragmatics Propositional calculus Statements Proposition Function Interpretation Speech act Linguistics Philosophy of language Logic
150	1 Under consideration for publication in J. Functional Programming Implementing a Normalizer Using Sized Heterogeneous Types Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-03-18 13:55:26 Lambda calculus Type theory Computability theory Symbol System F Constructible universe Ordinal number Function Combinatory logic Mathematics Mathematical logic Theoretical computer science

UPDATE