Author of the publication

Runtime Verification Through Forward Chaining.

, , and . RV, volume 9333 of Lecture Notes in Computer Science, page 185-200. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Negotiating the Distribution of Obligations with Sanctions among Autonomous Agents., and . ECAI, page 13-17. IOS Press, (2004)Requirements of Legal Knowledge Management Systems to Aid Normative Reasoning in Specialist Domains., , , and . JSAI-isAI Workshops, volume 8417 of Lecture Notes in Computer Science, page 167-182. Springer, (2013)Five Guidelines for Normative Multiagent Systems., , and . JURIX, volume 205 of Frontiers in Artificial Intelligence and Applications, page 21-30. IOS Press, (2009)Multi-label Classification of Legislative Text into EuroVoc., , , , and . JURIX, volume 250 of Frontiers in Artificial Intelligence and Applications, page 21-30. IOS Press, (2012)On the Acceptability of Meta-arguments., , and . IAT, page 259-262. IEEE Computer Society, (2009)978-0-7695-3801-3.Admissible Agreements among Goal-directed Agents., , and . IAT, page 543-554. IEEE Computer Society, (2005)Fulfilling or Violating Obligations in Normative Multiagent Systems., and . IAT, page 483-486. IEEE Computer Society, (2004)Local Policies for the Control of Virtual Communities., and . Web Intelligence, page 161-167. IEEE Computer Society, (2003)Argument Games for Interactive Access Control., , and . Web Intelligence, page 751-754. IEEE Computer Society, (2005)Merging Roles in Coordination and in Agent Deliberation., , , and . PRIMA, volume 5044 of Lecture Notes in Computer Science, page 62-73. Springer, (2007)