Browse by People

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

Article

Bolotov, Alexander and Shangin, Vasilyi (2012) Natural deduction system in paraconsistent setting: proof search for PCont. Journal of Intelligent Systems, 21 (1). pp. 1-24. ISSN 0334-1860

Book Section

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: Proceedings of the 13th International Congress of Logic Methodology and Philosophy of Science. Kings College Publications.

Bolotov, Alexander and Basukoski, Artie and Gregoryev, O. and Shangin, Vasilyi (2008) Natural deduction system for linear time temporal logic. In: Logical Investigations. Nauka, Moscow, pp. 17-95. ISBN 5020351520

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) 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 and 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 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

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

Bolotov, Alexander and Bocharov, Vyacheslav and Gorchakov, Alexander and Shangin, Vasilyi (2005) Automated first order natural deduction. In: Proceedings of the 2nd Indian International Conference on Artificial Intelligence, Pune, India, December 20-22, 2005. IICAI 2005. ISCAI, pp. 1292-1311. ISBN 0972741216

Bolotov, Alexander and Bocharov, Vyacheslav and Gorchakov, Alexander and Shangin, Vasilyi (2005) Proof-searching algorithm in first order classical natural deduction calculus. In: Logic, methodology and philosophy of science: proceedings of the twelfth international congress. King's College Publications. ISBN 9781904987215

Conference or Workshop Item

Bolotov, Alexander and Shangin, Vasilyi (2011) Natural deduction system in paraconsistent setting: proof search for PCont. In: In the Proceedings of the 5th Indian International Conference on Artificial Intelligence (IICAI-2011), 14th - 16th December 2011, Tumkur, Karnataka State, India.

Book

Bolotov, Alexander and Bocharov, Vyacheslav and Gorchakov, Alexander and Makarov, V. and Shangin, Vasilyi (2004) Let the computer prove it. Logis and Computer, 5 . Nauka, Moscow, Russia. ISBN 5020328596

This list was generated on Sun Jul 5 23:26:48 2015 BST.