Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules.
Sharon ShohamNissim FrancezPublished in: Stud Logica (2008)
Keyphrases
- transformation rules
- deduction rules
- active rules
- formal language
- formal semantics
- algebraic structure
- logical rules
- game theory
- computer games
- rule language
- structural constraints
- semantic information
- rule sets
- database query languages
- proof theoretic
- owl ontologies
- association rule mining
- classification rules
- game design
- production rules
- game play
- nash equilibrium
- structural information
- video games
- association rules
- game theoretic
- expressive power
- human experts
- highly expressive
- default rules
- relational calculus
- binary relations
- business rules
- game playing
- active databases