Alexander Bolotov

	2011
22		Alexander Bolotov, Vasilyi Shangin: Natural Deduction System in Paraconsistent Setting: proof search for PCont. IICAI 2011: 632-640
	2009
21		Alexander Bolotov, Alessandro Basso, Oleg Grigoriev: Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus. IICAI 2009: 166-185
20		Alessandro Basso, Alexander Bolotov, Vladimir Getov: Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment. SSIRI 2009: 379-386
	2007
19		Alessandro Basso, Alexander Bolotov: Towards gcm re-configuration - extending specification by norms. CoreGRID Workshop - Making Grids Work 2007: 17-29
18		Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin: A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic. IICAI 2007: 1253-1266
17		Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin: Automated Natural Deduction for Propositional Linear-Time Temporal Logic. TIME 2007: 47-58
	2006
16		Alexander Bolotov, Artie Basukoski, Oleg Grigoriev, Vasilyi Shangin: Natural Deduction Calculus for Linear-Time Temporal Logic. JELIA 2006: 56-68
15		Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin: Natural Deduction Calculus for Computation Tree Logic. John Vincent Atanasoff Symposium 2006: 175-183
14		Alexander Bolotov, Artie Basukoski: A clausal resolution method for branching-time logic ECTL+. Ann. Math. Artif. Intell. 46(3): 235-263 (2006)
13		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		Artie Basukoski, Alexander Bolotov: Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity. TIME 2005: 195-197
10		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		Alexander Bolotov, Artie Basukoski: A Clausal Resolution Method for Branching-Time Logic ECTL+. TIME 2004: 140-147
	2003
8		Alexander Bolotov: A Clausal Resolution Method for Extended Computation Tree Logic ECTL. TIME 2003: 107-117
	2002
7		Clare Dixon, Michael Fisher, Alexander Bolotov: Clausal resolution in a logic of rational agency. Artif. Intell. 139(1): 47-89 (2002)
6		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		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		Alexander Bolotov, Michael Fisher: A Resolution Method For CTL Branching-Time Temporal Logic. TIME 1997: 20-27

Coauthor Index

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page