Bolotov, Alexander and Basso, Alessandro and Grigoriev, Oleg
Deontic extension of deductive verification of component model: combining computation tree logic and deontic logic in natural deduction style calculus.
Proceedings of the 4th Indian International Conference on Artificial Intelligence (IICAI-09), December 16-18, 2009, SIT, Tumkur, India.
IICAI, pp. 166-185.
Full text not available from this repository.
Actions (login required)
||Edit Item (Repository staff only)