Monotonicity of entailment - PDFSEARCH.IO - Document Search Engine

Monotonicity of entailment
Results: 23

#	Item
1	Most babies are little and most problems are huge: Compositional Entailment in Adjective-Nouns Ellie Pavlick University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2016-08-02 12:42:41 Logic Logical consequence Philosophy of logic Textual entailment SemEval Entailment Monotonicity of entailment Implication Implicature Argument WordNet Machine learning
2	A taste of linear logic? Philip Wadler Department of Computing Science, University of Glasgow, G12 8QQ, Scotland () Abstract. This tutorial paper provides an introduction to intuitionistic Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-16 06:24:47 Mathematics Deduction Natural deduction Curry–Howard correspondence Monotonicity of entailment Deduction theorem Linear logic Orbifold Sequent calculus Logic Proof theory Mathematical logic
3	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
4	The Inverse Method for Many-Valued Logics? Laura Kov´ acs1 , Andrei Mantsivoda2 , and Andrei Voronkov3 1 Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:24:41 Sequent Intuitionistic logic Method of analytic tableaux Monotonicity of entailment Proof calculus Rule of inference Proof procedure Modal logic Natural deduction Logic Mathematical logic Proof theory
5	On a Rule-Based Interpretation of Default Conditionals 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: 2007-05-11 16:16:44 Philosophical logic Reasoning Binary operations Default logic Non-monotonic logic Inference Entailment Material conditional Monotonicity of entailment Logic Logical consequence Non-classical logic
6	The Feasability of Modeling Hypothetical Reasoning by Formal Logics. Including an Overview of Adaptive Logics for Singular Fact Abduction Tjerk Gauderis Centre for Logic and Philosophy of Science Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-10-01 15:08:46 Knowledge Epistemology Non-classical logic Abductive reasoning Monotonicity of entailment Non-monotonic logic Defeasible reasoning Paraconsistent logic Inference Logic Reasoning Science
7	Aligning semantic graphs for textual inference and machine reading Marie-Catherine de Marneffe, Trond Grenager, Bill MacCartney, Daniel Cer, Daniel Ramage, Chlo´e Kiddon, Christopher D. Manning {mcdm, grenager, wcmac, c Add to Reading List Source URL: dmcer.net Language: English - Date: 2011-07-25 01:42:32 Textual entailment WordNet Semantics Entailment Bitext word alignment Inference Monotonicity of entailment First-order logic Knowledge representation and reasoning Logic Science Logical consequence
8	Department of Economics Working Paper Series Monotonicity, Non-Participation, and Directed Search Equilibria James Bland, Simon Loertscher Add to Reading List Source URL: fbe.unimelb.edu.au Language: English - Date: 2013-08-05 02:22:00 Solution concept Trembling hand perfect equilibrium Mechanism design Subgame perfect equilibrium Subgame Economic equilibrium Coordination game Entailment Futures contract Game theory Logic Problem solving
9	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
10	Learning to distinguish valid textual entailments Marie-Catherine de Marneffe, Bill MacCartney, Trond Grenager, Daniel Cer, Anna Rafferty and Christopher D. Manning Computer Science Department Stanford University Stanfor Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2006-05-18 17:57:08 Textual entailment Entailment Inference Structural alignment Statistical hypothesis testing Machine learning Monotonicity of entailment Modal logic Natural language processing Logic Science Logical consequence