Entailment - PDFSEARCH.IO - Document Search Engine

Entailment
Results: 1036

#	Item
191	Parallel Belief Revision James Delgrande and Yi Jin School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-09-10 12:33:34 Logic programming Entailment Constructible universe Logic Belief revision Knowledge representation
192	Semantic Parsing via Paraphrasing Jonathan Berant Stanford University 1 Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2014-04-11 22:58:26 Formal languages Algebraic logic Philosophical logic Boolean algebra Formal grammar Entailment Semantics Model theory Function Logic Mathematics Metalogic
193	Knowledge and Communication: A First-Order Theory Ernest Davis 1 Courant Institute, New York University, New York, NYUSA Abstract Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-02-14 11:23:32 Model theory Deduction Entailment Logical consequence Metalogic First-order logic Common knowledge Function Axiom Logic Mathematics Philosophical logic
194	Weak Conditional Logics of Normality James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:39:15 Non-classical logic Conditionals Reasoning Default logic Non-monotonic logic Material conditional Inference Entailment Counterfactual conditional Logic Propositional calculus Logical consequence
195	A First-Order Theory of Communication and Multi-Agent Plans: Appendix A Leora Morgenstern IBM Watson Labs Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-03-14 13:47:24 Models of computation Agent-based model Complex systems theory Scientific modeling Communication Entailment Logic Multi-agent systems Science
196	Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability Yichen Xie and Alex Aiken Stanford University This article presents Saturn, a general framework for building precise and scalable static error Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-08-21 19:57:13 Formal methods Boolean algebra Symbol Entailment Interpretation Boolean satisfiability problem Logic Theoretical computer science Model theory
197	6. Saying ThingsDoes your dog bite? IMMANENT CLOSURE Two problems. First, deduction is supposed to be knowledgepreserving in general, not only with parts. Immanent closure doesn’t account for this. The secon Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2012-05-30 05:57:28 Semantics Pragmatics Presupposition Modal logic Definite description If and only if Entailment Logic Philosophical logic Binary operations
198	SUPPLEMENTARY INFORMATION doi: nPHYS1366 Supplementary Information for “Locking electron spins into magnetic resonance by electron-nuclear feedback” Ivo T. Vink, Katja C. Nowack, Frank H. L. Koppens, Jeroen D Add to Reading List Source URL: vandersypenlab.tudelft.nl Language: English - Date: 2012-09-03 05:34:30 Relaxation Resonance Differential geometry of curves Entailment Spin Photon Physics Nuclear magnetic resonance Differential geometry
199	Finding Contradictions in Text Marie-Catherine de Marneffe, Anna N. Rafferty and Christopher D. Manning Computer Science Department Linguistics Department Stanford University Stanford University Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2008-08-08 16:31:24 Logical consequence Marxism Marxist theory Philosophical logic Entailment Contradiction Negation Textual entailment Logic Propositional calculus Science
200	arXiv:1312.6192v4 [cs.CL] 15 FebCan recursive neural tensor networks learn logical reasoning? Samuel R. Bowman Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-02-17 20:18:31 Philosophical logic Logical consequence Metalogic First-order logic Word-sense disambiguation Quantification Entailment Inference Resolution Logic Predicate logic Semantics

UPDATE