Assessing and Supplying the Health of Videos Games via Formal Semantics.
MohammadReza BesharatiMohammad IzadiPublished in: CoRR (2021)
Keyphrases
- formal semantics
- logical language
- formal language
- health care
- modeling language
- operational semantics
- modelling language
- video sequences
- artificial intelligence
- er model
- logical reasoning
- computer games
- first order logic
- video games
- video data
- epistemic logic
- owl dl ontology
- ontology languages
- speech acts
- theorem prover
- expert systems
- case study
- information systems