Quantifier - PDFSEARCH.IO - Document Search Engine

Quantifier
Results: 263

#	Item
41	LANGUAGE LEARNING AND DEVELOPMENT, 2(2), 77–96 Copyright © 2006, Lawrence Erlbaum Associates, Inc. Asymmetries in the Acquisition of Numbers and Quantifiers Felicia Hurewitz Add to Reading List Source URL: www.psych.upenn.edu Language: English - Date: 2013-01-02 10:01:26 Quantification Semantics Ontology Inference Predicate logic Quantifier Count noun Proposition Quantity Implicature Mathematical logic Existence
42	CONSTRAINT SATISFACTION WITH COUNTING QUANTIFIERS BARNABY MARTIN ∗† , FLORENT MADELAINE Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2015-03-30 10:49:56 Complexity classes IP FO PSPACE-complete PSPACE Interpretation NP Quantifier Well-formed formula Generalized geography Linear temporal logic
43	FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS AND PROPOSITIONS John McCarthy, Stanford University 2000 Oct 31, 10:36 a.m. Abstract Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:10:07 Predicate logic Quantification Philosophical logic Mathematical logic Model theory Modal logic Predicate FO Axiom First-order logic Quantifier Existential quantification
44	Syntactic, Semantic and Information Structures of Floating Quantifiers Ryo Otoguro Liselotte Snijders Waseda University JSPS Postdoctoral Research Fellow Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-05-30 07:33:24 Semantics Quantification Generative linguistics Philosophy of language Grammar Quantifier Phrase structure rules Lexical functional grammar Phrase Syntax Proposition Transformational grammar
45	Underquantification: an application to mass terms Aurelie Herbelot and Ann Copestake University of Cambridge, Computer Laboratory, J. J. Thomson Avenue, Cambridge, United Kingdom , Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-01-05 13:33:14 Quantification Grammatical number Predicate logic Parts of speech Ontology Mass noun Mereology Classifier Count noun Quantifier Plural quantification Noun
46	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 27–51 http://www.cssp.cnrs.fr/eiss8 Move and accommodate: Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-21 12:14:01 Semantics Philosophy of language Quantification Predicate logic Pragmatics Presupposition Definite description Quantifier Proposition Generalized quantifier Accommodation Boolean algebra
47	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.org Language: English - Date: 2016-07-29 01:16:07 Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar Automated proof checking Quantifier
48	Solving Exists/Forall Problems With Yices Extended Abstract Bruno Dutertre Computer Science Laboratory SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2016-07-28 16:53:46 Model theory Logic in computer science Semantics Formal languages Logical truth Satisfiability modulo theories Interpretation Quantifier elimination True quantified Boolean formula Quantifier Substitution Well-formed formula
49	Homework 5 Philosophy 240 — Kenny Easwaran April 28, 2016 Write up this homework assignment on a clean sheet of paper, and indicate who you worked with. (Keep in mind the group work policy about how everyone should con Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Predicate logic Quantification Semantics Model theory Logic First-order logic Quantifier Predicate Universal quantification FO Karel Lambert Plural quantification
50	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: yoavartzi.com Language: English - Date: 2016-08-12 04:07:46 Predicate logic Type theory Logic in computer science Computability theory Lambda calculus Combinatory categorial grammar Quantifier Combinatory logic Parsing Free variables and bound variables Weight