dblp.uni-trier.dewww.uni-trier.de

Alexander Bolotov

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
18 Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin: A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic. IICAI 2007: 1253-1266
17EEAlexander Bolotov, Oleg Grigoriev, Vasilyi Shangin: Automated Natural Deduction for Propositional Linear-Time Temporal Logic. TIME 2007: 47-58
2006
16EEAlexander Bolotov, Artie Basukoski, Oleg Grigoriev, Vasilyi Shangin: Natural Deduction Calculus for Linear-Time Temporal Logic. JELIA 2006: 56-68
15EEAlexander Bolotov, Oleg Grigoriev, Vasilyi Shangin: Natural Deduction Calculus for Computation Tree Logic. John Vincent Atanasoff Symposium 2006: 175-183
14EEAlexander Bolotov, Artie Basukoski: A clausal resolution method for branching-time logic ECTL+. Ann. Math. Artif. Intell. 46(3): 235-263 (2006)
13EEAlexander 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
11EEArtie Basukoski, Alexander Bolotov: Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity. TIME 2005: 195-197
10EEClare Dixon, Alexander Bolotov, Michael Fisher: Alternating automata and temporal logic normal forms. Ann. Pure Appl. Logic 135(1-3): 263-285 (2005)
2004
9EEAlexander Bolotov, Artie Basukoski: A Clausal Resolution Method for Branching-Time Logic ECTL+. TIME 2004: 140-147
2003
8EEAlexander Bolotov: A Clausal Resolution Method for Extended Computation Tree Logic ECTL. TIME 2003: 107-117
2002
7EEClare Dixon, Michael Fisher, Alexander Bolotov: Clausal resolution in a logic of rational agency. Artif. Intell. 139(1): 47-89 (2002)
6EEAlexander 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
5EEAlexander 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
1EEAlexander Bolotov, Michael Fisher: A Resolution Method For CTL Branching-Time Temporal Logic. TIME 1997: 20-27

Coauthor Index

1Klaus-Dieter Althoff [2]
2Eric Auriol [2]
3Artie Basukoski [9] [11] [13] [14] [16]
4Ralph Bergmann [2]
5Vyacheslav Bocharov [12]
6Clare Dixon [4] [5] [6] [7] [10]
7Michael Fisher [1] [3] [4] [6] [7] [10]
8Alexander Gorchakov [12]
9Oleg Grigoriev [15] [16] [17] [18]
10Serge I. Gurov [2]
11Oleg I. Larichev [2]
12Michel Manago [2]
13Vasilyi Shangin [12] [15] [16] [17] [18]
14Stefan Wess [2]
15Yurii I. Zhuravlev [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)