WestminsterResearch
Login | Create Account

Deontic extension of deductive verification of component model: combining computation tree logic and deontic logic in natural deduction style calculus

Bolotov, Alexander and Basso, Alessandro and Grigoriev, Oleg (2009) Deontic extension of deductive verification of component model: combining computation tree logic and deontic logic in natural deduction style calculus. In: Proceedings of the 4th Indian International Conference on Artificial Intelligence (IICAI-09), December 16-18, 2009, SIT, Tumkur, India. IICAI. ISBN 9780972741279

Full text not available from this repository.


Item Type:Book Section
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:7337
Deposited On:25 Jan 2010 15:14
Last Modified:25 Jan 2010 15:14

Repository Staff Only: item control page

WestminsterResearch is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.