From post

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.

 

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

Ramification and causality in a modal action logic., , и . J. Log. Comput., 10 (5): 625-662 (2000)Automatic Checking of the Correctness of Clinical Guidelines in GLARE., , , , и . MedInfo, том 129 из Studies in Health Technology and Informatics, стр. 807-811. IOS Press, (2007)Preferential vs Rational Description Logics: which one for Reasoning About Typicality?., , , и . ECAI, том 215 из Frontiers in Artificial Intelligence and Applications, стр. 1069-1070. IOS Press, (2010)Application of X-Band Wave Radar for Coastal Dynamic Analysis: Case Test of Bagnara Calabra (South Tyrrhenian Sea, Italy)., , , , , , , , , и 6 other автор(ы). J. Sensors, (2016)A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps., , и . J. Log. Comput., 32 (2): 178-205 (2022)Reasoning about multiple aspects in DLs: Semantics and Closure Construction., и . CoRR, (2018)Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T., , , и . AI*IA, том 5883 из Lecture Notes in Computer Science, стр. 62-71. Springer, (2009)Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic., , и . AI*IA, том 2829 из Lecture Notes in Computer Science, стр. 262-274. Springer, (2003)Reasoning about Actions in a Multiagent Domain., , и . AI*IA, том 2175 из Lecture Notes in Computer Science, стр. 237-248. Springer, (2001)Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic., и . AI*IA, том 4733 из Lecture Notes in Computer Science, стр. 145-156. Springer, (2007)