Reverse Hoare Logic? Edsko de Vries and Vasileios Koutavas Trinity College Dublin, Ireland {Edsko.de.Vries,Vasileios.Koutavas}@cs.tcd.ie Abstract. We present a novel Hoare-style logic, called Reverse Hoare

Source URL: www.edsko.net

• Logic
• Theoretical computer science
• Mathematics
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Hoare logic
• Predicate transformer semantics
• Permutation
• Closed and exact differential forms

Adam Meyers New York University: Telephone: Home: Telephone: Email:

Source URL: nlp.cs.nyu.edu

• Linguistics
• Natural language processing
• Computational linguistics
• Semantics
• Applied linguistics
• Meyers
• Corpus linguistics
• Treebank
• International Conference on Language Resources and Evaluation

Tuesday 20th May 2014, 5.15 pm Writing a Social-Historical Semantics of Diaspora Stéphane Dufoix Université Paris Ouest-Nanterre

Source URL: www.mfo.ac.uk

Sentiment Polarity Detection From Amazon Reviews: An Experimental Study Efstratios Sygkounas1 , Giuseppe Rizzo2 , Rapha¨el Troncy1 1 EURECOM, Sophia Antipolis, France, {efstratios.sygkounas,raphael.troncy}@eurecom.fr

Source URL: giusepperizzo.github.io

• Artificial intelligence
• Natural language processing
• Machine learning
• Learning
• Ensemble learning
• Computational linguistics
• Semantics
• Sentiment analysis
• SemEval
• Boosting
• Classifier
• Statistical classification

Integrating Language and Ontology Engineering Bruno Barroca‡ , Thomas K¨ uhne∗ , Hans Vangheluwe†‡ † University of Antwerp, Belgium

Source URL: ceur-ws.org

• Computing
• Ontology
• Semantic Web
• Knowledge engineering
• Information science
• Information
• Knowledge representation
• Scientific modeling
• Web Ontology Language
• Knowledge representation and reasoning
• Modeling language
• Semantics

A(nother) characterization of Intuitionistic Propositional Logic Rosalie Iemho ILLC/Faculty of Science Universiteit van Amsterdam

Source URL: www.phil.uu.nl

• Logic
• Mathematical logic
• Modal logic
• Non-classical logic
• Model theory
• Propositional calculus
• Admissible rule
• Intermediate logic
• Kripke semantics
• Substitution
• FO
• Modal companion

9. KONFERENCA JEZIKOVNE TEHNOLOGIJE Informacijska družba - IS 2014 9th Language Technologies Conference Information Society - IS 2014

Source URL: nl.ijs.si

• Linguistics
• Semantics
• Computational linguistics
• Language
• Natural language processing
• Philosophy of language
• Principle of compositionality
• Principles
• Multiword expression
• Distributional semantics
• Idiom
• Semantic similarity

Cloud Haskell Semantics (DRAFT) Well-Typed LLP November 7, 2012 1

Source URL: haskell-distributed.github.io

• Software engineering
• Computer programming
• Computing
• Inter-process communication
• Actor model
• Concurrent computing
• Erlang
• Futures and promises

SENSEI_Deliverable_D4.1_v2.0

Source URL: www.sensei-conversation.eu

• Linguistics
• Sociolinguistics
• Discourse analysis
• Semantics
• Postmodern theory
• Postmodernism
• Discourse
• Argument
• Logical connective
• Connective

Seeking control in Modern Standard Arabic Tali Arad Greshler, Livnat Herzig Sheinfux, Nurit Melnik and Shuly Wintner 1 Introduction

Source URL: nlp.ipipan.waw.pl

• Linguistics
• Syntax
• Grammar
• Semantics
• Clause
• PRO
• Dependent clause
• Control
• Subjunctive mood
• Predicate
• Subject
• Volition