| 2007 |
|---|
| 18 | | Alexander Bolotov,
Oleg Grigoriev,
Vasilyi Shangin:
A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic.
IICAI 2007: 1253-1266 |
| 17 | EE | Alexander Bolotov,
Oleg Grigoriev,
Vasilyi Shangin:
Automated Natural Deduction for Propositional Linear-Time Temporal Logic.
TIME 2007: 47-58 |
| 2006 |
|---|
| 16 | EE | Alexander Bolotov,
Artie Basukoski,
Oleg Grigoriev,
Vasilyi Shangin:
Natural Deduction Calculus for Linear-Time Temporal Logic.
JELIA 2006: 56-68 |
| 15 | EE | Alexander Bolotov,
Oleg Grigoriev,
Vasilyi Shangin:
Natural Deduction Calculus for Computation Tree Logic.
John Vincent Atanasoff Symposium 2006: 175-183 |
| 14 | EE | Alexander Bolotov,
Artie Basukoski:
A clausal resolution method for branching-time logic ECTL+.
Ann. Math. Artif. Intell. 46(3): 235-263 (2006) |
| 13 | EE | Alexander Bolotov,
Artie Basukoski:
A clausal resolution method for extended computation tree logic ECTL.
J. Applied Logic 4(2): 141-167 (2006) |
| 2005 |
|---|
| 12 | | Alexander Bolotov,
Vyacheslav Bocharov,
Alexander Gorchakov,
Vasilyi Shangin:
Automated First Order Natural Deduction.
IICAI 2005: 1292-1311 |
| 11 | EE | Artie Basukoski,
Alexander Bolotov:
Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity.
TIME 2005: 195-197 |
| 10 | EE | Clare Dixon,
Alexander Bolotov,
Michael Fisher:
Alternating automata and temporal logic normal forms.
Ann. Pure Appl. Logic 135(1-3): 263-285 (2005) |
| 2004 |
|---|
| 9 | EE | Alexander Bolotov,
Artie Basukoski:
A Clausal Resolution Method for Branching-Time Logic ECTL+.
TIME 2004: 140-147 |
| 2003 |
|---|
| 8 | EE | Alexander Bolotov:
A Clausal Resolution Method for Extended Computation Tree Logic ECTL.
TIME 2003: 107-117 |
| 2002 |
|---|
| 7 | EE | Clare Dixon,
Michael Fisher,
Alexander Bolotov:
Clausal resolution in a logic of rational agency.
Artif. Intell. 139(1): 47-89 (2002) |
| 6 | EE | Alexander Bolotov,
Michael Fisher,
Clare Dixon:
On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms.
J. Log. Comput. 12(4): 561-581 (2002) |
| 2000 |
|---|
| 5 | EE | Alexander Bolotov,
Clare Dixon:
Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule.
TIME 2000: 163-172 |
| 1999 |
|---|
| 4 | | Alexander Bolotov,
Clare Dixon,
Michael Fisher:
Clausal Resolution for CTL*.
MFCS 1999: 137-148 |
| 3 | | Alexander Bolotov,
Michael Fisher:
A clausal resolution method for CTL branching-time temporal logic.
J. Exp. Theor. Artif. Intell. 11(1): 77-93 (1999) |
| 1998 |
|---|
| 2 | | Klaus-Dieter Althoff,
Ralph Bergmann,
Stefan Wess,
Michel Manago,
Eric Auriol,
Oleg I. Larichev,
Alexander Bolotov,
Yurii I. Zhuravlev,
Serge I. Gurov:
Case-based reasoning for medical decision support tasks: The Inreca approach.
Artificial Intelligence in Medicine 12(1): 25-41 (1998) |
| 1997 |
|---|
| 1 | EE | Alexander Bolotov,
Michael Fisher:
A Resolution Method For CTL Branching-Time Temporal Logic.
TIME 1997: 20-27 |
