Author of the publication

Verification of Protocol Conformance and Agent Interoperability.

, , , and . CLIMA, volume 3900 of Lecture Notes in Computer Science, page 265-283. Springer, (2005)

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

Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach., , , and . ICTCS, volume 2202 of Lecture Notes in Computer Science, page 405-425. Springer, (2001)Matching Theory and Data with Personal-ITY: What a Corpus of Italian YouTube Comments Reveals About Personality., , and . CoRR, (2020)#Brexit: Leave or remain? the role of user's community and diachronic evolution on stance detection., , , and . J. Intell. Fuzzy Syst., 39 (2): 2341-2352 (2020)Structureless, intention-guided web sites: planning based adaptation., , and . HCI, page 237-241. Lawrence Erlbaum, (2001)Models of agent interaction based on modal logics., , , , and . Intelligenza Artificiale, 5 (1): 83-88 (2011)The URW-KG: a Resource for Tackling the Underrepresentation of non-Western Writers., , , , and . CoRR, (2022)Sentiment Polarity Classification at EVALITA: Lessons Learned and Open Challenges., , , , , and . IEEE Trans. Affect. Comput., 12 (2): 466-478 (2021)Multilingual stance detection in social media political debates., , , , , and . Comput. Speech Lang., (2020)A commonsense reasoning framework for explanatory emotion attribution, generation and re-classification., , , , and . Knowl. Based Syst., (2021)Resources and benchmark corpora for hate speech detection: a systematic review., , , , and . Lang. Resour. Evaluation, 55 (2): 477-523 (2021)