Latent semantic analysis of game models using LSTM

DOI10.1016/j.jlamp.2019.04.003zbMath1423.68086OpenAlexW2936188768MaRDI QIDQ2423769

Dan R. Ghica, Khulood Alyahya

Publication date: 20 June 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/59436187/Latent_semantic.pdf

zbMATH Keywords

recurrent neural networksmachine learninggame semanticsprogramming language semantics

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (1)

Preface for the special issue on interaction and concurrency experience 2017

Uses Software

• Haskell
• QuickCheck
• GNMT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Learning register automata: from languages to program structures
• Syntactic control of concurrency
• Novelty detection: a review. I. Statistical approaches
• Novelty detection: a review. II. Neural network based approaches
• Semantics of nondeterminism, concurrency, and communication
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• LCF considered as a programming language
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• The regular-language semantics of second-order idealized ALGOL
• Third-order Idealized Algol with iteration is decidable
• Angelic semantics of fine-grained concurrency
• Nominal Sets
• Game Semantics in the Nominal Model
• A System-Level Game Semantics
• Compositional Predicate Abstraction from Game Semantics
• The denotational semantics of programming languages
• 10.1162/153244303322533223
• About the undecidability of program equivalence in finitary languages with state
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Latent semantic analysis of game models using LSTM