( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying Business Process Compliance by Reasoning about Actions.

, , , , , и . CLIMA, том 6245 из Lecture Notes in Computer Science, стр. 99-116. Springer, (2010)

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.

Valentina Villa

Valentina Tischer

Valentina Kutzschebauch

Valentina David

Valentina Damerow

 

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

A constructive conditional logic for access control: a preliminary report., , , и . ECAI, том 215 из Frontiers in Artificial Intelligence and Applications, стр. 1073-1074. IOS Press, (2010)Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆., , и . Fundam. Informaticae, 159 (1-2): 95-122 (2018)Preferential Description Logics., , , и . LPAR, том 4790 из Lecture Notes in Computer Science, стр. 257-272. Springer, (2007)Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin., , , и . IJCAI, стр. 894-899. IJCAI/AAAI, (2011)A Conditional Constructive Logic for Access Control and Its Sequent Calculus., , , и . TABLEAUX, том 6793 из Lecture Notes in Computer Science, стр. 164-179. Springer, (2011)A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $DL-Lite_core$., , , и . AI*IA, том 6934 из Lecture Notes in Computer Science, стр. 164-176. Springer, (2011)A Multi-engine Theorem Prover for a Description Logic of Typicality., , , , и . AI*IA, том 9336 из Lecture Notes in Computer Science, стр. 164-178. Springer, (2015)On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps., , и . CILC, том 2710 из CEUR Workshop Proceedings, стр. 127-140. CEUR-WS.org, (2020)A Constructive Conditional Logic for Access Control., , , и . CILC, том 598 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality., , , и . ICTCS/CILC, том 1949 из CEUR Workshop Proceedings, стр. 306-320. CEUR-WS.org, (2017)