Entailment - PDFSEARCH.IO - Document Search Engine

Entailment
Results: 1036

#	Item
381	Overview Modelling Algorithmic Verification Comp4151 Lecture 4-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Order theory Knaster–Tarski theorem Functions and mappings Symbol Entailment Function Linear temporal logic Logic Mathematics Abstraction
382	to be published in: Kybernetes[removed]or[removed]Bootstrapping knowledge representations: from entailment meshes via semantic nets to learning webs Francis HEYLIGHEN Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:35 Cybernetics Interdisciplinary fields Logical consequence Philosophical logic Gordon Pask Epistemology Conversation theory Center Leo Apostel for Interdisciplinary Studies Self-organization Science Logic Knowledge
383	Compositional Type Systems for Stack-Based Low-Level Languages Ando Saabas Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2006-10-30 06:58:01 Philosophy of language Philosophy of mind Semantics Entailment Zeta Symbol Logic Interpretation Model theory
384	Learning to recognize features of valid textual entailments Bill MacCartney, Trond Grenager, Marie-Catherine de Marneffe, Daniel Cer, and Christopher D. Manning Computer Science Department Stanford University Stanford, C Add to Reading List Source URL: dmcer.net Language: English - Date: 2011-07-25 01:42:34 Entailment Structural alignment Monotonicity of entailment Inference Logic Logical consequence Textual entailment
385	Stanford: Probabilistic Edit Distance Metrics for STS Mengqiu Wang and Daniel Cer∗ Computer Science Department Stanford University Stanford, CA[removed]USA {mengqiu,danielcer}@cs.stanford.edu Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2012-07-16 20:08:12 Linguistics Natural language processing Logical consequence Speech recognition Textual entailment Semantics Entailment SemEval Pattern recognition Computational linguistics Science Logic
386	MCTest: A Dataset for the Open-Domain Machine Comprehension of Text Matthew Richardson, Christopher J.C. Burges, and Erin Renshaw Microsoft Research http://research.microsoft.com/mct Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-06-19 19:23:43 Pragmatics Baseball card Fandom Procurement Personal life Collecting Ephemera Entailment
387	formát Název-moje šablona pro docy Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-01-02 11:28:32 Hashing Search algorithms Preimage attack Rope Entailment Collision attack Hash function Logic Cryptographic hash functions Cryptography
388	Million-scale Derivation of Semantic Relations from a Manually Constructed Predicate Taxonomy Motoki Sano∗ Kentaro Torisawa† Julien Kloetzer‡ Chikara Hashimoto § Istv´an Varga¶ Jong-Hoon Oh∥ ∗†‡§∥ Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2014-08-08 12:23:41 Logical consequence Algebraic logic Computational linguistics Entailment Metalogic Function Modal logic Boolean algebra Event Logic Mathematics Philosophical logic
389	Game-Theoretic Question Selection for Tests Yuqian Li and Vincent Conitzer Department of Computer Science Duke University {yuqian, conitzer}@cs.duke.edu Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2013-04-22 19:42:46 Decision theory Estimation theory Game theory Nash equilibrium Entailment Logic Statistics Statistical theory

UPDATE