-
1
Mechanical Translation
Published 2010Subjects: “…Some Recent Developments in Logic Translation…”
Get full text
Technical Report -
2
A designer support framework for specification comprehensibility in automata-based discrete-event control design
Published 2013“…To support the first perspective, a real-time temporal logic translation interface is proposed for the real-time control framework that models DES’s and specifications as automata in the form of timed-transition graphs. …”
Get full text
Thesis -
3
Formal Semantics: Origins, Issues, Early Impact
Published 2010-12-01“…‘Automatic English-to-Logic Translation in a Simplified Model: A Study in the Logic of Grammar’. …”
Get full text
Article -
4
A critical study into the extent that co-operative learning promotes a greater confidence and a more accurate rendering of syntax in unseen translations for Year 12 IB Higher Latin...
Published 2022-04-01“…In order to access the highest grades, the students must provide a ‘logical translation [in which] errors do not impair the meaning’ and ‘render vocabulary appropriately and grammar accurately and effectively’ (IBO, 2014, pp. 28–9).…”
Get full text
Article -
5
Henkin semantics for reasoning with natural language
Published 2016-02-01“…The frequency of intensional and non-first-order definable operators in natural languages constitutes a challenge for automated reasoning with the kind of logical translations that are deemed adequate by formal semanticists. …”
Get full text
Article -
6
STYLE OF THINKING ABOUT DOPING AMONG SPORTSPERSONS: CHARACTERIZING THE ATTITUDES OF RISK-TAKERS AND RISK-AVOIDERS
Published 2012-04-01“…In the style of thinking of the risk-avoiders about doping, a logical translation occurs between what they value most and what they protect most. …”
Get full text
Article -
7
De la logique à l’algorithme : la traduction dans le design de programmes
“…This essay explores the technical modalities of logic translations inherent to machines within the context of program design. …”
Get full text
Article