Petr Stepánek

Publication Activity (10 Years)

Years Active: 1977-2020
Publications (10 Years): 4

Top Topics

Design Principles

State Transitions

Efficient Computation

Top Venues

J. Comput. Chem.

Description Logics

Publications

Petr Stepánek
Smart City Through Design: Preparation of a New Wayfinding System in Prague. HCI (41) (2020)
Francesco Caputo, Leonard Walletzký, Petr Stepánek
Towards a systems thinking based view for the governance of a smart city's ecosystem. Kybernetes 48 (1) (2019)
Petr Stepánek, Mouzhi Ge
Validation and Extension of the Smart City Ontology. ICEIS (2) (2018)
Petr Stepánek, Mouzhi Ge, Leonard Walletzký
IT-Enabled Digital Service Design Principles - Lessons Learned from Digital Cities. EMCIS (2017)
Petr Stepánek, Petr Bour
Origin-independent sum over states simulations of magnetic and electronic circular dichroism spectra via the localized orbital/local origin method. J. Comput. Chem. 36 (10) (2015)
Petr Stepánek, Petr Bour
Computation of magnetic circular dichroism by sum-over-states summations. J. Comput. Chem. 34 (18) (2013)
Jaromir Malenko, Petr Stepánek
Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking. Description Logics (2012)
Josef Urban, Jirí Vyskocil, Petr Stepánek
MaLeCoP Machine Learning Connection Prover. TABLEAUX (2011)
Jirí Vyskocil, Petr Stepánek
Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation. MICAI (2007)
Jan Hruza, Petr Stepánek
Speedup of Logic Programs by Binarization and Partial Deduction. Theory Pract. Log. Program. 4 (3) (2004)
Jan Hruza, Petr Stepánek
Speedup of Logic Programs by Binarization and Partial Deduction CoRR (2003)
Petr Olmer, Petr Stepánek
Schema-Based Transformations of Logic Programs in lambda-Prolog. ICLP (2002)
Jan Hruza, Petr Stepánek
Binary Speed Up for Logic Programs. Computational Logic (2000)
Roman Barták, Petr Stepánek
Extendible meta-interpreters. Kybernetika 33 (3) (1997)
Olga Stepánková, Petr Stepánek
Prolog: A Step towards the Future of Programming. Advanced Topics in Artificial Intelligence (1992)
Olga Stepánková, Petr Stepánek
Stratification of Definite Clause Programs and of General Logic Programs. CSL (1989)
Olga Stepánková, Petr Stepánek
AI Education and Logic. Artificial Intelligence in Higher Education (1989)
Vít Ochozka, Olga Stepánková, Petr Stepánek
Normal Forms and the Complexity of Computations of Logic Programs. CSL (1988)
Olga Stepánková, Petr Stepánek
Developing Logic Programs: Computing Through Normalizing. CSL (1987)
Petr Stepánek, Olga Stepánková
Logic Programs and Alternation. ICLP (1986)
Olga Stepánková, Petr Stepánek
Computation Trees and Transformations of Logic Programs. ICLP (1984)
Olga Stepánková, Petr Stepánek
Transformations of Logic Programs. J. Log. Program. 1 (4) (1984)
Jan Sebelík, Petr Stepánek
Graphs as Data in Prolog Programs. ICLP (1982)
Petr Stepánek
Cardinal Collapsing and Ordinal Definability. J. Symb. Log. 43 (4) (1978)
Petr Stepánek, Bohuslav Balcar
Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets. J. Symb. Log. 42 (1) (1977)