Consequence - PDFSEARCH.IO - Document Search Engine

Consequence
Results: 1486

#	Item
801	Natural Logic for Textual Inference Bill MacCartney Stanford University [removed] Abstract Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-05-06 21:18:00 Monotonicity of entailment Entailment Inference First-order logic Formal semantics Monotonic function Argument Semantic reasoner Logic Logical consequence Textual entailment
802	NATURAL LANGUAGE INFERENCE A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2009-06-05 13:28:45 Textual entailment Entailment Monotonicity of entailment Formal semantics Inference Implicature Argument Logic Logical consequence Science
803	Aligning semantic graphs for textual inference and machine reading Marie-Catherine de Marneffe, Trond Grenager, Bill MacCartney, Daniel Cer, Daniel Ramage, Chlo´e Kiddon, Christopher D. Manning {mcdm, grenager, wcmac, c Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2006-10-09 13:21:20 Textual entailment WordNet Semantics Entailment Bitext word alignment Inference Monotonicity of entailment First-order logic Knowledge representation and reasoning Logic Science Logical consequence
804	Incremental Verification of Compiler Optimizations? Grigory Fedyukovich1 , Arie Gurfinkel2 , and Natasha Sharygina1 1 University of Lugano, Switzerland, Add to Reading List Source URL: verify.inf.usi.ch Language: English - Date: 2014-06-13 07:35:01 Logical consequence Logical syntax Metalogic Symbol Μ operator Logic Deduction Entailment
805	2011: CONSEQUENCE FOR DAIRY HERDS IN THE UNITED STATES OF IMPOSING DIFFERENT STANDARDS FOR SOMATIC CELL COUNT Add to Reading List Source URL: www.aipl.arsusda.gov Language: English - Date: 2011-01-31 13:26:42 Agriculture Somatic cell count Milk Dairy United States raw milk debate Dairy farming Livestock Cattle
806	Learning Alignments and Leveraging Natural Logic Nathanael Chambers, Daniel Cer, Trond Grenager, David Hall, Chloe Kiddon Bill MacCartney, Marie-Catherine de Marneffe, Daniel Ramage Eric Yeh, Christopher D. Manning Compu Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-10-09 18:25:59 Knowledge Textual entailment Inference Entailment Bitext word alignment Monotonicity of entailment Abductive reasoning Machine learning Alignment Logic Logical consequence Science
807	PDF Document Add to Reading List Source URL: www.greenbag.org Language: English - Date: 2014-09-23 00:27:06 Logical consequence Motion Federal Rules of Civil Procedure Lawsuit Civil procedure Taxation in the United States Frivolous litigation Law Arguments Critical thinking
808	Modeling Semantic Containment and Exclusion in Natural Language Inference Bill MacCartney Stanford University [removed] Abstract Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2008-05-30 18:00:51 Textual entailment Entailment Monotonicity of entailment Inference Generalized quantifier Semantic reasoner Argument Implicature Monotonic function Logic Logical consequence Science
809	Gender differences in conference presentations: a consequence of self-selection? Ther´esa M. Jones1 , Kerry V. Fanson2 , Rob Lanfear3 , Matthew R.E. Symonds2 and Megan Higgie4 1 Department of Zoology, University of Melb Add to Reading List Source URL: peerj.com Language: English - Date: 2014-10-21 02:19:22 Behavior Biology of gender Human behavior Science Feminism TED Sex differences in humans Gender Social philosophy Social psychology
810	NUCLEAR REGULATORY COMMISSION WEATHER PROGRAMS The United States Nuclear Regulatory Commission (NRC) licenses and regulates all nuclear facilities subject to the Atomic Energy Act of 1954 as amended. The licensing and op Add to Reading List Source URL: www.ofcm.gov Language: English - Date: 2007-11-30 15:56:04 Energy Nuclear physics Nuclear safety in the United States Nuclear Regulatory Commission Nuclear power plant State-of-the-Art Reactor Consequence Analyses Nuclear energy in the United States Nuclear technology Nuclear safety

UPDATE