Browse by People

Up a level
Export as [feed] Atom [feed] RSS [feed] RSSPD
Group by: Item Type | No Grouping
Number of items: 11.

Bolotov, Alexander and Grigoriev, Oleg (2009) Combining computation tree logic and deontic logic in natural deduction style calculus. Technical Report. University of Westminster.

Bolotov, Alexander, 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

Bolotov, Alexander and Grigoriev, Oleg (2009) Natural deduction calculus for quantified propositional linear-time temporal logic. Technical Report. University of Westminster.

Bolotov, Alexander and Grigoriev, Oleg (2009) Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL). In: Proceedings of the utomated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdon. Technical Report (ULCS-09-007). Department of Computer Science, University of Liverpool, pp. 7-8.

Bolotov, Alexander, Grigoriev, Oleg and Shangin, Vasilyi (2008) Automating natural deduction for temporal logic. In: Proceedings of the 14th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, ARW 2007. Imperial College, London.

Bolotov, Alexander, Grigoriev, Oleg and Shangin, Vasilyi (2008) Automating natural deduction for temporal logic. In: Proceedings of the 13th International Congress of Logic Methodology and Philosophy of Science. Kings College Publications.

Bolotov, Alexander, Grigoriev, Oleg and Shangin, Vasilyi (2007) Automating natural deduction for linear-time temporal logic. In: 14th International Symposium on Temporal Representation and Reasoning (TIME'07)), 28-30 June 2007, Alicante, Spain. IEEE, Los Alamitos, USA, pp. 47-58. ISBN 9780769528366
[img]

Bolotov, Alexander, Grigoriev, Oleg and Shangin, Vasilyi (2007) Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTL. In: Proceedings of the "Smirnov's Readings", VI International Conference (in Russian). Moscow State University, Moscow, Russia.

Bolotov, Alexander, Grigoriev, Oleg and Shangin, Vasilyi (2007) A Simpler formulation of natural deduction calculus for linear-time temporal logic. In: Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007. IICAI 2007. IICAI, India, pp. 1253-1266. ISBN 9780972741224

Bolotov, Alexander, Grigoriev, Oleg and Shangin, Vasilyi (2006) Natural deduction calculus for computation tree logic. In: IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06). IEEE, Los Alamitos, USA, pp. 175-183. ISBN 0769526438
[img]

Bolotov, Alexander, Basukoski, Artie, Grigoriev, Oleg and Shangin, Vasilyi (2006) Natural deduction calculus for linear-time temporal logic. In: Logics in artificial intelligence: 10th European conference, JELIA 2006: Liverpool, UK September 13-15 2006: proceedings. Lecture notes in computer science. Lecture notes in artificial intelligence (4160). Springer, Berlin, Germany, pp. 56-68. ISBN 354039625X

This list was generated on Mon Sep 26 23:42:17 2016 BST.