Petr Stepánek

Orcid: 0000-0001-5000-8180

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Smart City Through Design: Preparation of a New Wayfinding System in Prague.
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.
Kybernetes, 2019

2018
Validation and Extension of the Smart City Ontology.
Proceedings of the 20th International Conference on Enterprise Information Systems, 2018

2017
IT-Enabled Digital Service Design Principles - Lessons Learned from Digital Cities.
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.
J. Comput. Chem., 2015

2013
Computation of magnetic circular dichroism by sum-over-states summations.
J. Comput. Chem., 2013

2012
Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking.
Proceedings of the 2012 International Workshop on Description Logics, 2012

2011
MaLeCoP Machine Learning Connection Prover.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

2007
Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation.
Proceedings of the MICAI 2007: Advances in Artificial Intelligence, 2007

2004
Speedup of Logic Programs by Binarization and Partial Deduction.
Theory Pract. Log. Program., 2004

2002
Schema-Based Transformations of Logic Programs in lambda-Prolog.
Proceedings of the Logic Programming, 18th International Conference, 2002

2000
Binary Speed Up for Logic Programs.
Proceedings of the Computational Logic, 2000

1997
Extendible meta-interpreters.
Kybernetika, 1997

1992
Prolog: A Step towards the Future of Programming.
Proceedings of the Advanced Topics in Artificial Intelligence, 1992

1989
Stratification of Definite Clause Programs and of General Logic Programs.
Proceedings of the CSL '89, 1989

AI Education and Logic.
Proceedings of the Artificial Intelligence in Higher Education, 1989

1988
Normal Forms and the Complexity of Computations of Logic Programs.
Proceedings of the CSL '88, 1988

1987
Developing Logic Programs: Computing Through Normalizing.
Proceedings of the CSL '87, 1987

1986
Logic Programs and Alternation.
Proceedings of the Third International Conference on Logic Programming, 1986

1984
Transformations of Logic Programs.
J. Log. Program., 1984

Computation Trees and Transformations of Logic Programs.
Proceedings of the Second International Logic Programming Conference, 1984

1982
Graphs as Data in Prolog Programs.
Proceedings of the First International Logic Programming Conference, 1982

1978
Cardinal Collapsing and Ordinal Definability.
J. Symb. Log., 1978

1977
Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets.
J. Symb. Log., 1977


  Loading...