Entailment - PDFSEARCH.IO - Document Search Engine

Entailment
Results: 1036

#	Item
61	Global Learning of Focused Entailment Graphs Jonathan Berant Joint work with Ido Dagan and Jacob Goldberger Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2014-07-26 23:52:01
62	A proof of the not-semidecidability of minimum model entailment Jes´ us H´ector Dom´ınguez S´anchez This note presents a proof of the not-semidecidability of the minimum entailment relation \|≈ of minimum model rea Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2011-11-09 09:02:43
63	Entailment-based Text Exploration with Application to the Health-care Domain Meni Adler Jonathan Berant Ido Dagan Bar Ilan University Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2014-07-26 23:52:02
64	BRICS Basic Research in Computer Science BRICS RSAceto et al.: Characteristic Formulae for Timed Automata Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-10-31 10:38:10 Logic in computer science Philosophical logic Models of computation Bisimulation Model checking Entailment State transition system Formal verification FO Logic Theoretical computer science Applied mathematics
65	A Compact Forest for Scalable Inference over Entailment and Paraphrase Rules Roy Bar-Haim§ , Jonathan Berant⋆ , Ido Dagan§ § ⋆ Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2014-07-26 23:52:02 Reasoning Formal languages Propositional calculus Inference Cyc Entailment Logic Logical consequence Deduction
66	Modelling Changes in the Unconditional Variance of Long Stock Return Series Cristina Amado∗ University of Minho and NIPE Campus de Gualtar, Braga, Portugal Add to Reading List Source URL: creates.au.dk Language: English - Date: 2012-02-14 01:27:27 Autoregressive conditional heteroskedasticity Maximum likelihood Estimator Entailment Likelihood function Estimation theory Statistics Logic
67	Global Learning of Typed Entailment Rules Jonathan Berant Tel Aviv University Tel Aviv, Israel Ido Dagan Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2014-07-26 23:52:02 Graph Graph theory Mathematics Theoretical computer science
68	Asset Trading Volume in Infinite-Horizon Economies with Dynamically Complete Markets and Heterogeneous Agents: Comment∗ Peter Bossaerts† California Institute of Technology Add to Reading List Source URL: www.econ.ucla.edu Language: English - Date: 2006-01-16 17:34:26 General equilibrium theory Capital asset pricing model Entailment Logic Financial economics Forward contract
69	Embedding Deduction Modulo into a Prover Guillaume Burel Max Planck Institute for Informatics Saarland University Saarbr¨ ucken, Germany Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:07 Automated theorem proving Deduction Propositional calculus Rules of inference Sequent calculus Entailment Cut-elimination theorem Resolution Natural deduction Logic Mathematical logic Proof theory
70	Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA & INRIA-Lorraine Add to Reading List Source URL: www.loria.fr Language: English - Date: 2005-01-31 14:08:48 Natural deduction Curry–Howard correspondence Sequent calculus Entailment Cut-elimination theorem Sequent Linear logic Intuitionistic logic Soundness Logic Mathematical logic Proof theory

UPDATE