Browse by People

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

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, 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, Basukoski, Artie, 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, 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

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

Book

Bolotov, Alexander, Bocharov, Vyacheslav, Gorchakov, Alexander, 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 Thu Dec 8 23:23:09 2016 GMT.