Consequence - PDFSEARCH.IO - Document Search Engine

Consequence
Results: 1486

#	Item
501	Large-Scale Verb Entailment Acquisition from the Web Chikara Hashimoto∗ Kentaro Torisawa† Kow Kuroda‡ Stijn De Saeger§ Masaki Murata¶ Jun’ichi Kazama National Institute of Information and Communications Techno Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 16:57:08 Philosophical logic Non-classical logic Propositional calculus Knowledge representation Entailment Modal logic Textual entailment WordNet Verb Logic Science Logical consequence
502	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
503	A Subjectivist Interpretation of Relevant Information Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:55:45 Information science Pragmatics Branches of philosophy Logical consequence Information retrieval Relevance Information Luciano Floridi Philosophy of information Science Logic Knowledge
504	False-name-proof Matching Taiki Todo Vincent Conitzer Department of Computer Science Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2013-02-10 15:39:51 Logical consequence Metalogic Philosophical logic Mechanism design Logic Deduction Entailment
505	Health and Safety Risk Matrix DETERMINING THE RISK LEVEL: Risk Level = Consequence Level x Likelihood Level Potential Risk Exposure: For each risk, select the expected Consequence Level and the expected Add to Reading List Source URL: healthandsafety.curtin.edu.au Language: English - Date: 2014-09-22 22:53:47 Risk management Actuarial science Security Safety engineering Occupational safety and health IT risk management Risk assessment Management Risk Ethics
506	The Enduring Scandal of Deduction Is Propositional Logic Really Uninformative? Marcello D’Agostino Dipartimento di Scienze Umane Universit` a di Ferrara ([removed]) Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:55:29 Propositional calculus Logical consequence Proof theory Deductive reasoning Soundness Entailment Inference Natural deduction First-order logic Logic Deduction Reasoning
507	No. 11 of[removed]AN ORDINANCE To revise Ordinances of the Territory in consequence of changes in administrative arrangements I, T H E G O V E R N O R - G E N E R A L of the Commonwealth of Australia, Add to Reading List Source URL: www.legislation.act.gov.au Language: English - Date: 2010-02-17 22:19:52
508	ProofPower Compliance Tool — Proving VCs PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:53 Model theory Formal languages Logical consequence Theorems First-order logic SPARK Mathematical proof 0.999... Logic Mathematics Mathematical logic
509	N o . 18 of[removed]AN ORDINANCE T o revise the Ordinances of the Territory in consequence of Changes in Administrative Arrangements. I, T H E G O V E R N O R - G E N E R A L of the Commonwealth of Australia, Add to Reading List Source URL: www.legislation.act.gov.au Language: English - Date: 2010-04-28 21:23:58 United Kingdom Law Case law Government Chagos Archipelago Foreign and Commonwealth Office R (Bancoult) v Secretary of State for Foreign and Commonwealth Affairs
510	Rules changes as a consequence of changes to Bylaw - 14 November 2005.doc Add to Reading List Source URL: www.gsu.uts.edu.au Language: English - Date: 2008-05-06 10:00:00

UPDATE