Entailment - PDFSEARCH.IO - Document Search Engine

Entailment
Results: 1036

#	Item
151	Memory & Cognition 2003, 31 (7), Counterexamples in sentential reasoning P. N. JOHNSON-LAIRD and URI HASSON Princeton University, Princeton, New Jersey Add to Reading List Source URL: www.behaviometrix.com Language: English - Date: 2008-10-24 13:52:28 Reasoning Deduction Thought Mental model Inference Argument Counterexample Entailment Validity Logic Arguments Logical consequence
152	Multi-focusing on extensional rewriting with sums Gabriel Scherer1 1 Gallium, INRIA, France Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-02 15:59:38 Deduction Logical consequence Natural deduction Propositional calculus Sequent calculus Entailment Linear logic Monotonicity of entailment Curry–Howard correspondence Logic Proof theory Mathematical logic
153	A Semantic Model for Graphical User Interfaces Neelakantan R. Krishnaswami Nick Benton Microsoft Research Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-07-12 04:10:50 Logic in computer science Deduction Denotational semantics Sheaf Entailment Combinatory logic Function Functional-theoretic algebra Natural deduction Logic Mathematics Abstract algebra
154	A Logic for Encapsulation in Object Oriented Languages (Extended Abstract) Michele Bugliesi1 Dip. di Matematica Pura ed Applicata, Univ. di Padova Via Belzoni 7, IPadova, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:22:33 Philosophical logic Metalogic Deduction Predicate logic Modal logic Entailment Interpretation Function Proof theory Logic Mathematical logic Model theory
155	Simply Logical Ð Chapter 8 p.151 © Peter Flach, 2000 ☞ Default rules are typically true, but may have exceptions default((flies(X):-bird(X))). Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2001-01-29 09:42:17 Quantification Function Existential quantification Entailment Logic Mathematics Science
156	Manifest Security for Distributed Information Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania March 6, 2006 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-03-07 09:37:45 Deduction Propositional calculus Philosophical logic Logical consequence Information flow Entailment Modal logic Computer security Soundness Logic Mathematical logic Proof theory
157	Object Calculi in Linear Logic Michele Bugliesi∗ Dipartimento di Matematica, Universit`a di Padova Via Belzoni 7, 35131 Padova, Italy e-mail: Giorgio Delzanno Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:33:56 Formal languages Metalogic Non-classical logic Logical syntax Sequent calculus Sequent Linear logic Entailment Intuitionistic logic Logic Mathematical logic Proof theory
158	Deep Sea Drilling Project Initial Reports Volume 93 Add to Reading List Source URL: www.deepseadrilling.org Language: English - Date: 2007-04-25 14:03:42 Logical syntax Metalogic Philosophical logic Propositional calculus Logic Deduction Entailment
159	Pre-proceedings of the KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008 Edited by John-Jules Ch. Meyer and Jan Broersen August 11, 2008 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2008-08-11 05:22:29 Philosophical logic Metalogic Branches of philosophy Epistemic modal logic Non-monotonic logic Model theory Epistemology Logic programming Entailment Logic Non-classical logic Modal logic
160	Reconstructing DIOGENE: ITC-irst at TREC 2006 Matteo Negri, Milen Kouylekov, Bernardo Magnini, Bonaventura Coppola ITC-irst, Centro per la Ricerca Scientifica e Tecnologica {negri,kouylekov,magnini,coppolab}@itc.it Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2007-02-16 13:07:43 Natural language processing Artificial intelligence Information retrieval Question answering QI Anaphora WordNet Textual entailment QA Science Linguistics Computational linguistics

UPDATE