Author of the publication

HLMC: a Hybrid Logic Tool for Model Checking in Verification of Administrative Processes.

, and . ICEGOV, page 376-377. ACM, (2016)

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

DECIDE 2.0: a framework for intelligent processing of citizens' opinion in social media., , , and . DG.O, page 266-267. ACM, (2012)From Open Government to Open City: Lessons Learnt from Institutionalizing Open Government Practices in Bahía Blanca, Argentina., , , and . ICEGOV, page 232-235. ACM, (2017)A logic programming framework for possibilistic argumentation: Formalization and logical properties., , , and . Fuzzy Sets Syst., 159 (10): 1208-1228 (2008)Empowering an E-Government Platform Through Twitter-Based Arguments., , , and . Inteligencia Artif., 15 (50): 46-56 (2012)Relational databases as a massive information source for defeasible argumentation., , , , , and . Knowl. Based Syst., (2013)An Approach to Argumentation Considering Attacks through Time., , , and . SUM, volume 7520 of Lecture Notes in Computer Science, page 99-112. Springer, (2012)Intelligent query processing in P2P networks: Semantic issues and routing algorithms., , , and . Comput. Sci. Inf. Syst., 16 (2): 409-442 (2019)TwiSP: a framework for exploring polarized issues in Twitter., , , and . ICEGOV, page 16-23. ACM, (2023)Argument-Based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties., , , and . ECSQARU, volume 3571 of Lecture Notes in Computer Science, page 353-365. Springer, (2005)ArgP2P: An Argumentative Approach for Intelligent Query Routing in P2P Networks., , and . TAFA, volume 9524 of Lecture Notes in Computer Science, page 194-210. Springer, (2015)