An Extension of the LATEX theorem environment∗ Frank Mittelbach April 12, 2015 This file is maintained by the LATEX Project team. Bug reports can be opened (category tools) at http://latex-project.org/bugs.html.

Source URL: ctan.sciserv.eu

• Logical syntax
• Philosophical logic
• Philosophy of language
• Theorems
• LaTeX
• TeX
• Logic
• Mathematics
• Logical consequence

Segregation effect 1 Running Head: segregation effect The Segregation Effect, Time Pressure and Other Factors Affecting Argument Strength in Categorical Inductive Inference

Source URL: www.bgu.ac.il

• Science
• Arguments
• Epistemology
• Logical consequence
• Problem solving
• Inductive reasoning
• Reason
• Inference
• Premise
• Logic
• Reasoning
• Knowledge

SPEECH BY ICMP CHAIRPERSON AMBASSADOR THOMAS MILLER “THE ROLE OF THE STATE IN ADDRESSING THE ISSUE OF PERSONS MISSING AS A CONSEQUENCE OF ARMED CONFLICT AND HUMAN RIGHTS ABUSES” ON THE OCCASION OF THE FIRST STATES SI

Source URL: www.ic-mp.org

• Bosnia and Herzegovina
• Organization for Security and Co-operation in Europe
• International Day of the Disappeared
• Mostar
• Balkans
• Sarajevo
• Kosovo War
• International Commission on Missing Persons
• Kathryne Bomberger
• Europe
• Human rights
• Ethics

ABSTRACT In this thesis we investigate how the circumstances for strategic or planned communication has changed as a consequence of the social semantic internet. Furthermore we seek to understand how these changed circu

Source URL: blog.socialsemantic.eu

X The beast awoke with a start, as was his habit. He often woke with a violent shudder; it was an unwanted and sometimes painful consequence of being alone in a world full of enemies. The constant anticipation and tensio

Source URL: www.ourcuriousworld.com

• Kitchen
• Japanese kitchen
• Refrigerator
• Architecture
• Ultraverse
• Night Man
• Television

Cruise ship pollution – Garbage The true sources, of course, are the persons aboard these vessels who generate garbage as a normal consequence of all the sundry activities they pursue. The quantity and nature of vessel

Source URL: www.seinemaritime.net

• Water
• Cruise ship
• Environmental impact of shipping
• Royal Caribbean International
• Carnival Cruise Lines
• SS France
• Carnival Corporation & plc
• Norwegian Cruise Line
• Pollution
• Cruise lines
• Transport
• Watercraft

Knowledge and Tree-Edits in Learnable Entailment Proofs Asher Stern1 , Amnon Lotan3 , Shachar Mirkin1 , Eyal Shnarch1 , Lili Kotlerman1 , Jonathan Berant2 , and Ido Dagan1 1 Computer Science Department, Bar-Ilan Univers

Source URL: www-nlp.stanford.edu

• Propositional calculus
• Philosophical logic
• Formal languages
• Textual entailment
• Entailment
• WordNet
• Formal proof
• Inference
• Abductive reasoning
• Logic
• Logical consequence
• Logical syntax

The Philosophical Review, Vol. 105, No.3 (JulyExpressivism and Irrationality Mark van Roojen Noncognitive analyses of evaluative discourse characterize moral discourse as primarily functioning to express attitude

Source URL: www.mvr1.com

• Ethology
• Logical consequence
• Logical syntax
• Propositional calculus
• Belief
• Expressivism
• Quasi-realism
• Entailment
• Projectivism
• Logic
• Philosophy
• Meta-ethics

Ukraine Access to Internet content in Ukraine remains largely unfettered, in part as a consequence of the 2005 Orange Revolution in which communication technologies played a significant role.

Source URL: www.access-controlled.net

• Telecommunications data retention
• Internet service provider
• Voice over IP
• Communication
• Electronics
• Internet access
• Internet in Tajikistan
• Internet in Qatar
• Electronic engineering
• Economy of Ukraine
• Ukrtelecom

arXiv:1401.8269v1 [cs.CL] 31 Jan 2014

Source URL: arxiv.org

• Lexical semantics
• Semantics
• Logical consequence
• Computational linguistics
• Natural language processing
• Entailment
• WordNet
• Hyponymy
• Textual entailment
• Linguistics
• Logic
• Science