From Semantic Games to Provability: The Case of Gödel Logic.

Alexandra Pavlova Robert Freiman Timo Lang

Published in: Stud Logica (2022)

Keyphrases

logical representation
domain specific
semantic annotation
natural language
semantic web
computer games
winning strategy
social networks
semantic description
semantic knowledge
multi valued
automated reasoning
modal logic
game theory
co occurrence
case based reasoning
high level
metadata