A Formal Framework for Prototyping Executable Semantics in ATL.

Published in: ICMT (2018)

Keyphrases

main contribution
model checking
logical framework
database
neural network
cooperative
formal specification
machine processable
data sets
natural language
logic programs
logic programming
theoretical framework
formal model