#### Writes About:

#### Filter Results:

- Full text PDF available (7)

#### Publication Year

2003

2016

- This year (0)
- Last 5 years (3)
- Last 10 years (5)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Alexander Bolotov, Alessandro Basso, Oleg Grigoriev
- IICAI
- 2009

In this paper we present a natural deduction calculus for branching-time deontic logic, a combination of the branching-time logic CTL and deontic modalities. We show how this new proof technique canâ€¦ (More)

We present a natural deduction calculus for the quantified propositional linear-time temporal logic (QPTL) and prove its correctness. The system extends previous natural deduction constructions forâ€¦ (More)

- Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin
- 14th International Symposium on Temporalâ€¦
- 2007

We present a proof searching technique for the natural deduction calculus for the prepositional linear-time temporal logic and prove its correctness. This opens the prospect to apply our technique asâ€¦ (More)

- Dmitry Devyatkin, Ilya Tikhomirov, Alexander Shvets, Oleg Grigoriev, Konstantin Popov
- DAMDID/RCDL
- 2015

The paper contains a brief overview of full-text clustering methods for current research directions detection. A novel full-text clustering method is proposed. A dataset is created and experimentalâ€¦ (More)

- Alexander Bolotov Harrow, Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin
- 2006

We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural deduction constructionâ€¦ (More)

- Oleg Grigoriev
- ISNN
- 2016

- Dmitry Devyatkin, Roman Suvorov, Ilya Tikhomirov, Oleg Grigoriev
- 2016 IEEE 8th International Conference onâ€¦
- 2016

In this paper we present an empirical evaluation of various techniques for feature selection that are applicable for analysis of funding decisions - whether of not to award funding to a specificâ€¦ (More)

- Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin
- IICAI
- 2006

We present a natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. The system extends the natural deduction construction of the classicalâ€¦ (More)

- Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin
- IEEE John Vincent Atanasoff 2006 Internationalâ€¦
- 2006

The authors present a natural deduction calculus for the computation tree logic, CTL, defined with the full set of classical and temporal logic operators. The system extends the natural deductionâ€¦ (More)

We present a natural deduction calculus for the Computation Tree Logic, CTL, defined with the full set of classical and temporal logic operators. The system extends the natural deduction constructionâ€¦ (More)