CSP Representation of Game Semantics for Second-Order Idealized Algol.
Aleksandar S. DimovskiRanko LazicPublished in: ICFEM (2004)
Keyphrases
- constraint satisfaction problems
- semantic representation
- game playing
- constraint satisfaction
- programming language
- np hard
- predicate calculus
- tree decomposition
- graphical representation
- conceptual graphs
- constraint programming
- logic programming
- video games
- computer games
- semantic information
- image representation
- decomposition methods
- higher order
- learning environment
- closest string