Search the dblp DataBase

Publications of Author

1. Alexander Bolotov, Vyacheslav Bocharov, Alexander Gorchakov, Vasilyi Shangin
   Automated First Order Natural Deduction. [Citation Graph (0, 0)][DBLP]
   IICAI, 2005, pp:1292-1311 [Conf]
   
2. Alexander Bolotov, Artie Basukoski, Oleg Grigoriev, Vasilyi Shangin
   Natural Deduction Calculus for Linear-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
   JELIA, 2006, pp:56-68 [Conf]
   
3. Alexander Bolotov, Clare Dixon, Michael Fisher
   Clausal Resolution for CTL^*. [Citation Graph (0, 0)][DBLP]
   MFCS, 1999, pp:137-148 [Conf]
   
4. Artie Basukoski, Alexander Bolotov
   Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity. [Citation Graph (0, 0)][DBLP]
   TIME, 2005, pp:195-197 [Conf]
   
5. Alexander Bolotov
   A Clausal Resolution Method for Extended Computation Tree Logic ECTL. [Citation Graph (0, 0)][DBLP]
   TIME, 2003, pp:107-117 [Conf]
   
6. Alexander Bolotov, Artie Basukoski
   A Clausal Resolution Method for Branching-Time Logic ECTL+. [Citation Graph (0, 0)][DBLP]
   TIME, 2004, pp:140-147 [Conf]
   
7. Alexander Bolotov, Clare Dixon
   Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. [Citation Graph (0, 0)][DBLP]
   TIME, 2000, pp:163-172 [Conf]
   
8. Alexander Bolotov, Michael Fisher
   A Resolution Method For CTL Branching-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
   TIME, 1997, pp:20-27 [Conf]
   
9. Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin
   Natural Deduction Calculus for Computation Tree Logic. [Citation Graph (0, 0)][DBLP]
   John Vincent Atanasoff Symposium, 2006, pp:175-183 [Conf]
   
10. Clare Dixon, Michael Fisher, Alexander Bolotov
    Clausal resolution in a logic of rational agency. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:139, n:1, pp:47-89 [Journal]
    
11. Alexander Bolotov, Artie Basukoski
    A clausal resolution method for branching-time logic ECTL⁺. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2006, v:46, n:3, pp:235-263 [Journal]
    
12. Clare Dixon, Alexander Bolotov, Michael Fisher
    Alternating automata and temporal logic normal forms. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:135, n:1-3, pp:263-285 [Journal]
    
13. 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. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence in Medicine, 1998, v:12, n:1, pp:25-41 [Journal]
    
14. Alexander Bolotov, Artie Basukoski
    A clausal resolution method for extended computation tree logic ECTL. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:2, pp:141-167 [Journal]
    
15. Alexander Bolotov, Michael Fisher
    A clausal resolution method for CTL branching-time temporal logic. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 1999, v:11, n:1, pp:77-93 [Journal]
    
16. Alexander Bolotov, Michael Fisher, Clare Dixon
    On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:4, pp:561-581 [Journal]
    
17. Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin
    Automated Natural Deduction for Propositional Linear-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TIME, 2007, pp:47-58 [Conf]
    
18. 
    A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic. [Citation Graph (, )][DBLP]
    
    
19. 
    Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus. [Citation Graph (, )][DBLP]
    
    
20. 
    Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment. [Citation Graph (, )][DBLP]