Trace Simulation Semantics is not Finitely Based over BCCSP.

Luca Aceto David de Frutos-Escrig Anna Ingólfsdóttir

Published in: Acta Cybern. (2017)

Keyphrases

simulation model
neural network
mathematical model
case study
database systems
expert systems
domain knowledge
logic programming
semantic information
conceptual model
semantic relationships
default reasoning
simulation environment
formal semantics