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, pp. 166-185. ISBN 9780972741279

Full text not available from this repository.
Item Type: Book Section
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 25 Jan 2010 15:14
Last Modified: 17 Jul 2013 09:33
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/7337

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)