Entailment - PDFSEARCH.IO - Document Search Engine

Entailment
Results: 1036

#	Item
241	LiLT volume 9, issue 1 July 2013 Synthetic logic Alex J. Djalali1 Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2013-11-12 22:35:43 Logical syntax Formal languages Entailment Logical consequence Interpretation Natural deduction Model theory Well-formed formula Function Logic Metalogic Deduction
242	Elimination of Negation in a Logical Framework Alberto Momigliano December 15, 2000 CMU-CSSchool of Computer Science Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2000-12-15 10:34:26 Propositional calculus Semantics Type theory Model theory Logic programming Negation Prolog Entailment Logical framework Logic Mathematical logic Logic in computer science
243	Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Bury1 , David Delahaye1 , Damien Doligez2 , Pierre Halmagrand1 , and Olivier Hermant3 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-03-03 08:27:10 Symbol Admissible rule Proof theory First-order logic Entailment Constructible universe Curry–Howard correspondence Orbifold Logic Mathematical logic Deduction
244	[hal, v2] Polarizing Double Negation Translations Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 10:15:20 Sequent calculus Sequent Entailment Intuitionistic logic Gödel–Gentzen negative translation Natural deduction Curry–Howard correspondence Logic Mathematical logic Proof theory
245	Notre Dame Journal of Formal Logic A Simple Proof That Super-Consistency Implies Cut Elimination Gilles Dowek and Olivier Hermant Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-02-21 08:17:51 Mathematical logic Proof theory Natural deduction Entailment Function Curry–Howard correspondence Orbifold Logic Mathematics Deduction
246	Optimizing chemotaxis by measuring unbound–bound transitions Add to Reading List Source URL: www.gatsby.ucl.ac.uk Language: English - Date: 2010-10-29 06:58:49 Curves Differential geometry of curves Entailment Orbifold Logic Differential geometry Deduction
247	Recognizing Textual Entailment by Generality using Informative Asymmetric Measures and Multiword Unit Identification to Summarize Ephemeral Clusters Ga¨el Dias∗† , Sebasti˜ao Pais∗ , Katarzyna Wegrzyn-Wolska‡ a Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-12-10 04:56:23 Textual entailment Entailment Cluster labeling Gini coefficient Inference Logic Logical consequence Science
248	Extended Access Structures and Their Cryptographic Applications Vanesa Daza1 , Javier Herranz 2 , Paz Morillo3 and Carla R`afols3 1 3 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-11-28 10:19:53 Secret sharing Cipher Symbol Logic Cryptography Entailment
249	A First-Order Theory of Communication Multi-Agent Plans: Appendix B Leora Morgenstern IBM Watson Labs Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-03-06 13:46:11 Logical consequence Logical syntax Metalogic S0 Logic Deduction Entailment
250	Journal of Artificial Intelligence Research–791 Submitted 01/08; publishedCompositional Belief Update James Delgrande Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-09-10 12:25:35 Knowledge representation Logic programming Entailment Interpretation Operator Logic Science Belief revision

UPDATE