A Sound Execution Semantics for ATL via Translation Validation - Research Paper.
Zheng ChengRosemary MonahanJames F. PowerPublished in: ICMT (2015)
Keyphrases
- cross language information retrieval
- query translation
- alternating time temporal logic
- machine translation
- multi agent systems
- control flow
- statistical machine translation
- semantic information
- model checking
- active rules
- execution model
- natural language
- databases
- knowledge representation
- owl ontologies
- specification language
- formal semantics
- conceptual model
- logic programming
- natural language processing