Proceedings of the 4th Indian International Conference on Artificial Intelligence, IICAI 2009, Tumkur, Karnataka, India, December 16-18, 2009сборник
Статьи, опубликованные в сборнике
-
-
2009
Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus
-
Bolotov Alexander,
Basso Alessandro,
Grigoriev Oleg
-
в сборнике Proceedings of the 4th Indian International Conference on Artificial Intelligence, IICAI 2009, Tumkur, Karnataka, India, December 16-18, 2009, место издания IICAI, с. 166-185