| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Alexander Bolotov Alexander Bolotov, Artie Basukoski : A Clausal Resolution Method for Branching-Time Logic ECTL+. TIME 2004 : 140-147 Alexander Bolotov: A Clausal Resolution Method for Extended Computation Tree Logic ECTL. TIME 2003 : 107-117 Clare Dixon , Michael Fisher , Alexander Bolotov: Clausal resolution in a logic of rational agency. Artif. Intell. 139 (1): 47-89 (2002) 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) Alexander Bolotov, Clare Dixon : Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. TIME 2000 : 163-172 Alexander Bolotov, Clare Dixon , Michael Fisher : Clausal Resolution for CTL * . MFCS 1999 : 137-148 Alexander Bolotov, Michael Fisher : A clausal resolution method for CTL branching-time temporal logic. J. Exp. Theor. Artif. Intell. 11 (1): 77-93 (1999) 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) Alexander Bolotov, Michael Fisher : A Resolution Method For CTL Branching-Time Temporal Logic. TIME 1997 : 20-27 1 [ 2 ] 2 [ 2 ] 3 [ 9 ] 4 [ 2 ] 5 [ 4 ] [ 5 ] [ 6 ] [ 7 ] 6 [ 1 ] [ 3 ] [ 4 ] [ 6 ] [ 7 ] 7 [ 2 ] 8 [ 2 ] 9 [ 2 ] 10 [ 2 ] 11 [ 2 ]  ©2005 Association for Computing Machinery |
