ARGSAFE: usando argumentación para garantizar seguridaden Sistemas Técnicos Complejos

Laboratorio de Investigacion y Desarrollo en Inteligencia Artificial (LIDIA) Departamento de Ciencias e Ingenieria de la Computacion Universidad Nacional del Sur Av. Alem 1253, (8000) Bahia Blanca, Argentina E-mail: {sag, cic, mjg}@cs.uns.edu.ar Department of Computer Science, Technical University of Cluj-Napoca Baritiu 28, 400391, Cluj-Napoca, Romania E-mail: {Adrian.Groza, letia, Anca.Goron}@cs.utcluj.ro