Edit Profile (opens in new tab) Štěpánková, Olga Compute Distance To: Compute Author ID: stepankova.olga Published as: Štěpánková, Olga; Stepankova, Olga; Štepánková, Olga; Stepankova, O.; Štěpanková, O.; Štěpánková, O. more...less Homepage: https://nit.felk.cvut.cz/drupal/users/step Documents Indexed: 20 Publications since 1972 4 Contributions as Editor Reviewing Activity: 66 Reviews Co-Authors: 14 Co-Authors with 13 Joint Publications 180 Co-Co-Authors all top 5 Co-Authors 4 single-authored 6 Mařík, Vladimír 3 Havel, Ivan M. 3 Pěchouček, Michal 2 Bárta, Jaroslav 2 Luck, Michael 1 Hric, Jan 1 Krautwurmová, Hana 1 Krupka, Demeter 1 Ochozka, Vít 1 Retschitzegger, Werner 1 Trappl, Robert 1 Zdráhal, Zdeněk 1 Železný, Filip 1 Zídgek, Jiří all top 5 Serials 4 Lecture Notes in Computer Science 1 Artificial Intelligence 1 Commentationes Mathematicae Universitatis Carolinae 1 Kybernetika 1 Annales Societatis Mathematicae Polonae. Series IV 1 The Journal of Logic Programming all top 5 Fields 21 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Global analysis, analysis on manifolds (58-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Mechanics of particles and systems (70-XX) 1 Relativity and gravitational theory (83-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 5 Publications have been cited 18 times in 15 Documents Cited by ▼ Year ▼ A logical theory of robot problem solving. Zbl 0328.68081Stepankova, Olga; Havel, Ivan M. 7 1976 Incidental and state-dependent phenomena in robot problem solving. Zbl 0366.68062Stepankova, Olga; Havel, Ivan M. 4 1977 On the Hamilton form in second order calculus of variations. Zbl 0548.49020Krupka, Demeter; Štěpánková, Olga 4 1983 Transformations of logic programs. Zbl 0581.68019Štěpánková, Olga; Štěpánek, Petr 2 1984 Planning in uncertain environments through situation calculus. Zbl 0412.68084Stepankova, Olga 1 1979 Transformations of logic programs. Zbl 0581.68019Štěpánková, Olga; Štěpánek, Petr 2 1984 On the Hamilton form in second order calculus of variations. Zbl 0548.49020Krupka, Demeter; Štěpánková, Olga 4 1983 Planning in uncertain environments through situation calculus. Zbl 0412.68084Stepankova, Olga 1 1979 Incidental and state-dependent phenomena in robot problem solving. Zbl 0366.68062Stepankova, Olga; Havel, Ivan M. 4 1977 A logical theory of robot problem solving. Zbl 0328.68081Stepankova, Olga; Havel, Ivan M. 7 1976 all cited Publications top 5 cited Publications all top 5 Cited by 13 Authors 4 Havel, Ivan M. 4 Kramosil, Ivan 2 Rossi, Olga 2 Štěpánková, Olga 1 Capriotti, Santiago 1 Gaset, Jordi 1 Kramer, Thomas Rollin 1 Muñoz Masqué, Jaime 1 Polak, Vaclav 1 Polakova, Nadezda 1 Román-Roy, Narciso 1 Rosado María, Eugenia 1 Salomone, Leandro M. all top 5 Cited in 10 Serials 4 Kybernetika 2 The Journal of Symbolic Logic 1 Artificial Intelligence 1 Communications in Mathematical Physics 1 General Relativity and Gravitation 1 Journal of Geometry and Physics 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Theoretical Computer Science 1 Mathematical Social Sciences 1 Journal of Automated Reasoning all top 5 Cited in 13 Fields 9 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 3 Statistics (62-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Mechanics of particles and systems (70-XX) 2 Relativity and gravitational theory (83-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Differential geometry (53-XX) 1 Algebraic topology (55-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year