The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alexander Bolotov" ( http://dblp.L3S.de/Authors/Alexander_Bolotov )

  Author page on DBLP  Author page in RDF  Community of Alexander Bolotov in ASPL-2

Publication years (Num. hits)
1997-2006 (18) 2007-2019 (15) 2020-2022 (5)
Publication types (Num. hits)
article(10) inproceedings(27) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 14 keywords

Results
Found 39 publication records. Showing 38 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alexander Bolotov On the Expressive Power of the Normal Form for Branching-Time Temporal Logics. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Natalia Yerashenia, David Chan You Fee, Alexander Bolotov Developing a Generic Predictive Computational Model using Semantic data Pre-Processing with Machine Learning Techniques and its application for Stock Market Prediction Purposes. Search on Bibsonomy CBI (1) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov, Montserrat Hermo, Paqui Lucio Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio One-Pass Context-Based Tableaux Systems for CTL and ECTL. Search on Bibsonomy TIME The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Natalia Yerashenia, Alexander Bolotov, David Chan You Fee, Gabriele Pierantoni Semantic Data Pre-Processing for Machine Learning Based Bankruptcy Prediction Computational Model. Search on Bibsonomy CBI (1) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Alex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio Towards Certified Model Checking for PLTL Using One-Pass Tableaux. Search on Bibsonomy TIME The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Natalia Yerashenia, Alexander Bolotov Computational Modelling for Bankruptcy Prediction: Semantic Data Analysis Integrating Graph Database and Financial Ontology. Search on Bibsonomy CBI (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov, Daniil Kozhemiachenko, Vasilyi Shangin Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexander Bolotov, Gabriele Pierantoni, Ayleen Wisudha, Zebokhon Abduraimova, David Chan You Fee EnAbled: A Psychology Profile based Academic Compass to Build and Navigate Students' Learning Paths. Search on Bibsonomy EC-TEL (Practitioner Proceedings) The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexander Bolotov, Montserrat Hermo, Paqui Lucio Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hridesh Rajan, Alexander Bolotov, Chang Xu Message from SETA 2017 Program Chairs. Search on Bibsonomy COMPSAC (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov, Vasilyi Shangin Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting. Search on Bibsonomy COMPSAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov, Vasilyi Shangin Natural Deduction System in Paraconsistent Setting: Proof Search for PCont. Search on Bibsonomy J. Intell. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov Handling Periodic Properties: Deductive Verification for Quantified Temporal Logic Specifications. Search on Bibsonomy SSIRI (Companion) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov, Vasilyi Shangin Natural Deduction System in Paraconsistent Setting: proof search for PCont. Search on Bibsonomy IICAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Alessandro Basso, Alexander Bolotov, Vladimir Getov Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment. Search on Bibsonomy SSIRI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Grid Component Model, Grid IDE, Automated Reconfiguration, Formal Specification, Deductive Reasoning
1Alexander Bolotov, Alessandro Basso, Oleg M. Grigoriev Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus. Search on Bibsonomy IICAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic. Search on Bibsonomy IICAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Alessandro Basso, Alexander Bolotov Towards gcm re-configuration - extending specification by norms. Search on Bibsonomy CoreGRID Workshop - Making Grids Work The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin Automated Natural Deduction for Propositional Linear-Time Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov, Artie Basukoski A clausal resolution method for branching-time logic ECTL+. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF AMS subject classification 03B35, 03B44, 68Q60, 68Q85, 68T15, 68N30
1Alexander Bolotov, Artie Basukoski A clausal resolution method for extended computation tree logic ECTL. Search on Bibsonomy J. Appl. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin Natural Deduction Calculus for Computation Tree Logic. Search on Bibsonomy John Vincent Atanasoff Symposium The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev, Vasilyi Shangin Natural Deduction Calculus for Linear-Time Temporal Logic. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Clare Dixon, Alexander Bolotov, Michael Fisher 0001 Alternating automata and temporal logic normal forms. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov, Vyacheslav Bocharov, Alexander Gorchakov, Vasilyi Shangin Automated First Order Natural Deduction. Search on Bibsonomy IICAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Artie Basukoski, Alexander Bolotov Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity. Search on Bibsonomy TIME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov, Artie Basukoski A Clausal Resolution Method for Branching-Time Logic ECTL+. Search on Bibsonomy TIME The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov A Clausal Resolution Method for Extended Computation Tree Logic ECTL. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Clare Dixon, Michael Fisher 0001, Alexander Bolotov Clausal resolution in a logic of rational agency. Search on Bibsonomy Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov, Michael Fisher 0001, Clare Dixon On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms. Search on Bibsonomy J. Log. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov Automata on Infinite Words and Temporal Logic Normal Forms. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Alexander Bolotov, Clare Dixon Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. Search on Bibsonomy TIME The full citation details ... 2000 DBLP  DOI  BibTeX  RDF loop detection algorithm, temporal logics, resolution, automated deduction, branching-time
1Alexander Bolotov Clausal resolution for branching-time temporal logic. Search on Bibsonomy 2000   RDF
1Alexander Bolotov, Michael Fisher 0001 A clausal resolution method for CTL branching-time temporal logic. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov, Clare Dixon, Michael Fisher 0001 Clausal Resolution for CTL*. Search on Bibsonomy MFCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Klaus-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. Search on Bibsonomy Artif. Intell. Medicine The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov, Michael Fisher 0001 A Resolution Method For CTL Branching-Time Temporal Logic. Search on Bibsonomy TIME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF resolution method, CTL branching-time temporal logic, clausal resolution method, extended CTL, fairness operators, step resolution, temporal resolution rule, linear-time temporal resolution, temporal logic, completeness, normal form, linear temporal logic, computation tree logic, CTL*
Displaying result #1 - #38 of 38 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license