Predicate - PDFSEARCH.IO - Document Search Engine

Predicate
Results: 1768

#	Item
41	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Theoretical computer science Formal methods Edsger W. Dijkstra Predicate transformer semantics Complexity classes KeY IP NP PP Algorithm
42	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
43	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
44	doi:j.jml Add to Reading List Source URL: www.psych.upenn.edu Language: English - Date: 2012-12-18 16:59:08 Linguistics Grammar Cognitive science Syntax Semantics Predicate Control Subject Selection Language Argument Attention
45	Reaction Time as a Measure of Implicit Grammaticality Judgment Misha Becker UNC Chapel Hill October 1, 2014 Add to Reading List Source URL: www.unc.edu Language: English - Date: 2014-10-22 16:05:59 Linguistics Cognitive science Grammar Generative linguistics Cognition Parts of speech Grammaticality Philosophy of logic Language acquisition Predicate Bootstrapping Language
46	On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-02-06 05:45:02 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Logic in computer science Philosophical logic Skolem normal form Herbrandization First-order logic Intuitionistic logic
47	Integrating Categorematic Unreducible Polyadic Quantifiers in LRS Frank Richter∗ Introduction This paper has two goals: On the technical side, it presents a general integration of polyadic quantification in Lexical Res Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-05-23 07:03:44 Logic Quantification Mathematical logic Semantics Abstraction Predicate logic Model theory Finite model theory Quantifier First-order logic FO Generalized quantifier
48	Open Information Extraction via Contextual Sentence Decomposition 1 Hannah Bast, Elmar Haussmann Department of Computer Science Add to Reading List Source URL: ad-publications.informatik.uni-freiburg.de Language: English - Date: 2013-09-28 12:59:03 Syntax Syntactic categories Linguistics Cognitive science Grammar Natural language processing Parse tree Parsing Phrase Noun phrase Information extraction Predicate
49	COGNITION Cognition376 ELSEVIER Similar, and similar concepts Add to Reading List Source URL: www.ircs.upenn.edu Language: English - Date: 2015-10-27 17:01:28 Semantics Grammar Logic Linguistics Academia Predicate Symmetry Selection Similarity Dependency grammar Language Prototype theory
50	Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 10:57:32 Software engineering Computing Formal methods Refinement FDR Model checking Prolog Algorithm Predicate transformer semantics Type system Abstract machine XSB