Petr Stepánek

According to our database, Petr Stepánek authored at least 24 papers between 1977 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Smart City Through Design: Preparation of a New Wayfinding System in Prague.

Petr Stepánek

Proceedings of the HCI International 2020 - Late Breaking Papers: User Experience Design and Case Studies, 2020

2019

Towards a systems thinking based view for the governance of a smart city's ecosystem.

Francesco Caputo, Leonard Walletzký, Petr Stepánek

Kybernetes, 2019

2018

Validation and Extension of the Smart City Ontology.

Petr Stepánek, Mouzhi Ge

Proceedings of the 20th International Conference on Enterprise Information Systems, 2018

2017

IT-Enabled Digital Service Design Principles - Lessons Learned from Digital Cities.

Petr Stepánek, Mouzhi Ge, Leonard Walletzký

Proceedings of the Information Systems, 2017

2015

Origin-independent sum over states simulations of magnetic and electronic circular dichroism spectra via the localized orbital/local origin method.

Petr Stepánek, Petr Bour

J. Comput. Chem., 2015

2013

Computation of magnetic circular dichroism by sum-over-states summations.

Petr Stepánek, Petr Bour

J. Comput. Chem., 2013

2012

Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking.

Jaromir Malenko, Petr Stepánek

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

MaLeCoP Machine Learning Connection Prover.

Josef Urban, Jirí Vyskocil, Petr Stepánek

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

2007

Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation.

Jirí Vyskocil, Petr Stepánek

Proceedings of the MICAI 2007: Advances in Artificial Intelligence, 2007

2004

Speedup of Logic Programs by Binarization and Partial Deduction.

Jan Hruza, Petr Stepánek

Theory Pract. Log. Program., 2004

2002

Schema-Based Transformations of Logic Programs in lambda-Prolog.

Petr Olmer, Petr Stepánek

Proceedings of the Logic Programming, 18th International Conference, 2002

2000

Binary Speed Up for Logic Programs.

Jan Hruza, Petr Stepánek

Proceedings of the Computational Logic, 2000

1997

Extendible meta-interpreters.

Roman Barták, Petr Stepánek

Kybernetika, 1997

1992

Prolog: A Step towards the Future of Programming.

Olga Stepánková, Petr Stepánek

Proceedings of the Advanced Topics in Artificial Intelligence, 1992

1989

Stratification of Definite Clause Programs and of General Logic Programs.

Olga Stepánková, Petr Stepánek

Proceedings of the CSL '89, 1989

AI Education and Logic.

Olga Stepánková, Petr Stepánek

Proceedings of the Artificial Intelligence in Higher Education, 1989

1988

Normal Forms and the Complexity of Computations of Logic Programs.

Vít Ochozka, Olga Stepánková, Petr Stepánek

Proceedings of the CSL '88, 1988

1987

Developing Logic Programs: Computing Through Normalizing.

Olga Stepánková, Petr Stepánek

Proceedings of the CSL '87, 1987

1986

Logic Programs and Alternation.

Petr Stepánek, Olga Stepánková

Proceedings of the Third International Conference on Logic Programming, 1986

1984

Transformations of Logic Programs.

Olga Stepánková, Petr Stepánek

J. Log. Program., 1984

Computation Trees and Transformations of Logic Programs.

Olga Stepánková, Petr Stepánek

Proceedings of the Second International Logic Programming Conference, 1984

1982

Graphs as Data in Prolog Programs.

Jan Sebelík, Petr Stepánek

Proceedings of the First International Logic Programming Conference, 1982

1978

Cardinal Collapsing and Ordinal Definability.

Petr Stepánek

J. Symb. Log., 1978

1977

Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets.

Petr Stepánek, Bohuslav Balcar

J. Symb. Log., 1977