( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Declarative representation of curricula models: an LTL- and UML-based approach.

, , , и . WOA, стр. 34-41. Seneca Edizioni Torino, (2007)

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.

Cristina Häring

Cristina Sattarhoff

Cristina Niculescu

Cristina Cozzini

Cristina Gomes

 

Другие публикации лиц с тем же именем

Reasoning about Interaction for Personalizing Web Service Fruition., , , и . WOA, стр. 29-35. Pitagora Editrice Bologna, (2003)Reasoning about interaction protocols for customizing web service selection and composition., , , и . J. Log. Algebr. Program., 70 (1): 53-73 (2007)Choice, interoperability, and conformance in interaction protocols and service choreographies., , , , , и . AAMAS (2), стр. 843-850. IFAAMAS, (2009)Curricula Modeling and Checking., , и . AI*IA, том 4733 из Lecture Notes in Computer Science, стр. 471-482. Springer, (2007)Exploiting Qualitative Knoledge to Enhance Skill Acquisition.. ECML, том 1224 из Lecture Notes in Computer Science, стр. 49-56. Springer, (1997)Implementing Business Processes in JaCaMo+ by Exploiting Accountability and Responsibility., , , и . AAMAS, стр. 2330-2332. International Foundation for Autonomous Agents and Multiagent Systems, (2019)Reasoning about Self and Others: Communicating Agents in a Model Action Logic., , , и . ICTCS, том 2841 из Lecture Notes in Computer Science, стр. 228-241. Springer, (2003)A journey in Computational Logic in Italy., и . Intelligenza Artificiale, 5 (1): 67-69 (2011)Personalization, Verification and Conformance for Logic-based Communicating Agents., , , , , , и . WOA, стр. 177-183. Pitagora Editrice Bologna, (2005)Typing Multi-Agent Systems via Commitments., , и . EMAS@AAMAS, том 8758 из Lecture Notes in Computer Science, стр. 388-405. Springer, (2014)