Stefania Costantini, Pierangelo Dell'Acqua, Luis Moniz Pereira, Panagiota Tsintza
(2009) Runtime Verification of Agent PropertiesInt. Conf. on Applications of Declarative Programming and Knowledge Management (INAP09), p. 257-271
Luis Moniz Pereira, Goncalo Lopes, Pierangelo Dell'Acqua
(2009) On Preferring and Inspecting Abductive ModelsPRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, p. 1-15Continue to DOI