<--- Back to Details
First PageDocument Content
Logic / Philosophy / Semantics / Computational linguistics / Bayesian statistics / Markov networks / Logical consequence / Probabilistic logic / Probabilistic soft logic / Distributional semantics / Markov logic network / Inference
Date: 2014-07-01 12:33:24
Logic
Philosophy
Semantics
Computational linguistics
Bayesian statistics
Markov networks
Logical consequence
Probabilistic logic
Probabilistic soft logic
Distributional semantics
Markov logic network
Inference

Probabilistic Soft Logic for Semantic Textual Similarity Islam Beltagy§ Katrin Erk† Raymond Mooney§ § Department of Computer Science

Add to Reading List

Source URL: www.cs.utexas.edu

Download Document from Source Website

File Size: 192,61 KB

Share Document on Facebook

Similar Documents

Compositional Semantics of Spiking Neural P Systems Roberto Barbutia , Andrea Maggiolo-Schettinia, Paolo Milazzoa,∗, Simone Tinib a Dipartimento di Informatica, Universit` a di Pisa, Largo B. Pontecorvo 3, 56127 Pisa,

Compositional Semantics of Spiking Neural P Systems Roberto Barbutia , Andrea Maggiolo-Schettinia, Paolo Milazzoa,∗, Simone Tinib a Dipartimento di Informatica, Universit` a di Pisa, Largo B. Pontecorvo 3, 56127 Pisa,

DocID: 1xW1Z - View Document

Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University

Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University

DocID: 1xVWR - View Document

Contract Monitoring Semantics as Patterns of Communication Cameron Swords Amr Sabry  Sam Tobin-Hochstadt

Contract Monitoring Semantics as Patterns of Communication Cameron Swords Amr Sabry Sam Tobin-Hochstadt

DocID: 1xVPL - View Document

Local Soundness for QBF Calculi? Martin Suda and Bernhard Gleiss TU Wien, Vienna, Austria Abstract. We develop new semantics for resolution-based calculi for Quantified Boolean Formulas, covering both the CDCL-derived ca

Local Soundness for QBF Calculi? Martin Suda and Bernhard Gleiss TU Wien, Vienna, Austria Abstract. We develop new semantics for resolution-based calculi for Quantified Boolean Formulas, covering both the CDCL-derived ca

DocID: 1xVIK - View Document

Experimental Biological Protocols with Formal Semantics Alessandro Abate2 , Luca Cardelli1,2 , Marta Kwiatkowska2 , Luca Laurenti2 , and Boyan Yordanov1 1

Experimental Biological Protocols with Formal Semantics Alessandro Abate2 , Luca Cardelli1,2 , Marta Kwiatkowska2 , Luca Laurenti2 , and Boyan Yordanov1 1

DocID: 1xVCq - View Document