Compositional relational reasoning via operational game semantics.
Guilhem JaberAndrzej S. MurawskiPublished in: LICS (2021)
Keyphrases
- reasoning tasks
- open world
- proof theory
- computer games
- logic programming
- reasoning mechanism
- knowledge base
- video games
- relational calculus
- fuzzy description logics
- default rules
- formal semantics
- game theoretic
- database query languages
- proof theoretic
- multi agent decision making
- graphical representation
- expressive power
- relational data
- data model
- logical framework
- reasoning mechanisms
- uml class diagrams
- relational structures
- computational properties
- uncertain information
- virtual world
- automated reasoning
- nash equilibrium
- default reasoning
- game playing
- incomplete information
- reasoning systems
- logical rules
- owl dl
- aggregate functions
- game theory
- game play
- abstract argumentation
- decision making
- relational databases
- semantic information
- conceptual model
- imperfect information
- reasoning process
- probabilistic reasoning
- owl ontologies
- reasoning services
- entity relationship
- description logics
- vague concepts
- production rules