Un lenguaje para la especificación de la lógica de juegos(A language for specifying game logic).
Carlos Marín-LoraMiguel ChoverJosé Martínez SotocaPublished in: CoSECivi (2020)
Keyphrases
- formal language
- proof theory
- game theoretic
- programming language
- agent programming
- intuitionistic logic
- dynamic logic
- logic programming
- winning strategy
- predicate calculus
- conditional logic
- nash equilibrium
- logic programming language
- modal logic
- game theory
- highly expressive
- video games
- linear temporal logic
- lambda calculus
- formal theory
- natural language
- operational semantics
- language learning
- computer games
- virtual world
- model theoretic
- knowledge base
- modal operators
- classical logic
- computational linguistics
- game playing
- game play
- virtual environment
- propositional dynamic logic