Latent semantic analysis of game models using LSTM
From MaRDI portal
Publication:2423769
DOI10.1016/j.jlamp.2019.04.003zbMath1423.68086OpenAlexW2936188768MaRDI QIDQ2423769
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
Learning and adaptive systems in artificial intelligence (68T05) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)
Related Items (1)
Uses Software
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