Entailment - PDFSEARCH.IO - Document Search Engine

Entailment
Results: 1036

#	Item
171	Annotation guidelines for marking contradictions Marie-Catherine de Marneffe and Christopher D. Manning Recognizing Textual Entailment (RTE) items consist of two pieces of text, a brief text and a short hypothesis. For s Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2008-06-10 14:40:36 Logical consequence Natural language processing Textual entailment Contradiction Logic Mathematical logic Science
172	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-04-20 10:24:39 Logical consequence Logical syntax Metalogic Symbol Cooperative diversity Logic Deduction Entailment
173	1. Thanks to organizers for the invitation. 2. The first part of the work is joint with Kazuto Yoshimura from JAIST. Reductions in computability theory from a constructive point of view Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-07-19 08:49:25 Functions and mappings Function Entailment Universal property Μ operator Linear temporal logic Mathematics Logic Mathematical logic
174	Microsoft Word - PhaseMatching_asn-3.doc Add to Reading List Source URL: www.dmi.dk Language: English Partial differential equations Planetary science Radio occultation Wave Entailment Global Positioning System Logic Technology Science
175	Revising Beliefs on the Basis of Evidence 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: 2012-08-16 12:44:27 Formal languages Model theory Propositional calculus Belief revision Interpretation Entailment Modal logic Function Linear temporal logic Logic Mathematics Philosophical logic
176	The Disjunction and Conjunction Theses Gonzalo Rodriguez-Pereyra This paper is a response to replies by Dan López de Sa and Mark Jago to my ‘Truthmaking, Entailment, and the Conjuction Thesis’. In that paper, my mai Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2009-05-18 11:40:49 Semantics Veracity Boolean algebra Propositional calculus Truthmaker Negation Logical truth Truth Modal logic Logic Philosophy Philosophical logic
177	The Subtraction Arguments for Metaphysical Nihilism: compared and defended Gonzalo Rodriguez-Pereyra () Oriel College, University Oxford 1. The subtraction argument, originally put forward by Thomas Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2012-11-07 10:06:19 Ontology Philosophical logic Binary operations Metaphysical nihilism Nihilism Deduction Entailment Abstract object Temporal parts Logic Metaphysics Philosophy
178	Batch Steganography and the Threshold Game Andrew D. Ker Oxford University Computing Laboratory, Parks Road, Oxford OX1 3QD, England ABSTRACT In Batch Steganography we assume that a Steganographer has to choose how to al Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2007-04-03 07:30:40 Entailment Logic Steganography Distribution
179	A Characterization of Interventional Distributions in Semi-Markovian Causal Models Jin Tian and Changsung Kang Department of Computer Science Iowa State University Ames, IA 50011 Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-04-25 20:04:35 Causality Logical syntax Stochastic processes Conditionals Bayesian network Causal model Entailment Markov process Causal diagram Statistics Logic Statistical models
180	A A Model-theoretic Approach to Belief Change in Answer Set Programming JAMES DELGRANDE, Simon Fraser University TORSTEN SCHAUB, Universit¨at Potsdam HANS TOMPITS and STEFAN WOLTRAN, Technische Universit¨at Wien Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:47:43 Metalogic Model theory Non-classical logic Belief revision Interpretation Stable model semantics Entailment Constructible universe Logical connective Logic Mathematical logic Logic programming

UPDATE