toolbox based on the ATS formalism.

Gabriele Manno Ferdinando Chiacchio Lucio Compagno Diego D'Urso Natalia Trapani

Published in: Reliab. Eng. Syst. Saf. (2014)

Keyphrases

knowledge representation
formal model
software package
computational properties
database
theoretical framework
network topologies
three dimensional
multi agent systems
digital libraries
conceptual graphs
representation language