WestminsterResearch

Items where Author is Grigoriev, Oleg

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] RSSPD [feed] Atom
Group by: Date | Item Type | Creators | No Grouping
Jump to: 2009 | 2008 | 2007 | 2006
Number of items: 11.

2009

Bolotov, Alexander and Grigoriev, Oleg (2009) Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL). In: Hustadt, Ullrich, (ed.) 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 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

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) Combining computation tree logic and deontic logic in natural deduction style calculus. Technical Report. University of Westminster.

2008

Bolotov, Alexander and 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 and Grigoriev, Oleg and Shangin, Vasilyi (2008) Automating natural deduction for temporal logic. In: Glymour, Clark and Wang, Wei and Westerstahl, Dag, (eds.) Proceedings of the 13th International Congress of Logic Methodology and Philosophy of Science. Kings College Publications.

2007

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

Bolotov, Alexander and Grigoriev, Oleg and Shangin, Vasilyi (2007) A Simpler formulation of natural deduction calculus for linear-time temporal logic. In: Bhanu, Prasad, (ed.) 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 and 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.

2006

Bolotov, Alexander and Basukoski, Artie and Grigoriev, Oleg and Shangin, Vasilyi (2006) Natural deduction calculus for linear-time temporal logic. In: Fisher, Michael and van der Hoek, W. and Konev, B. and Lisitsa, A., (eds.) 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

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

This list was generated on Mon Dec 22 04:33:19 2014 GMT.