Petr Stepánek

发表

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

Mouzhi Ge, Petr Stepánek, Leonard Walletzký, 2017, EMCIS.

AI Education and Logic

Petr Stepánek, Olga Stepánková, 1989, Artificial Intelligence in Higher Education.

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

Petr Stepánek, 2020, HCI.

Binary Speed Up for Logic Programs

Petr Stepánek, Jan Hruza, P. Štěpánek, 2000, Computational Logic.

Graphs as Data in Prolog Programs

Petr Stepánek, Jan Sebelík, 1982, ICLP.

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

Petr Stepánek, Francesco Caputo, Leonard Walletzký, 2019, Kybernetes.

Stratification of Definite Clause Programs and of General Logic Programs

Petr Stepánek, Olga Stepánková, 1989, CSL.

Extendible meta-interpreters

Roman Barták, Petr Stepánek, 1997, Kybernetika.

Logic Programs and Alternation

Petr Stepánek, Olga Stepánková, 1986, ICLP.

Validation and Extension of the Smart City Ontology

Mouzhi Ge, Petr Stepánek, Mouzhi Ge, 2018, ICEIS.

fib Bulletin 28. Environmental design

Petr Hájek, Petr Stepánek, Makoto Hisada, 2004 .

Transformations of Logic Programs

Petr Stepánek, Olga Stepánková, P. Štěpánek, 1984, J. Log. Program..

Developing Logic Programs: Computing Through Normalizing

Petr Stepánek, Olga Stepánková, 1987, CSL.

MaLeCoP Machine Learning Connection Prover

Josef Urban, Petr Stepánek, Jirí Vyskocil, 2011, TABLEAUX.

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, P. Bouř, 2015, J. Comput. Chem..

Embedding theorems for boolean algebras and consistency results on ordinal definable sets

Petr Stepánek, Bohuslav Balcar, P. Štěpánek, 1977, Journal of Symbolic Logic.

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

Petr Stepánek, Jirí Vyskocil, P. Štěpánek, 2007, MICAI.

Computation of magnetic circular dichroism by sum‐over‐states summations

Petr Stepánek, Petr Bour, P. Bouř, 2013, J. Comput. Chem..

Schema-Based Transformations of Logic Programs in lambda-Prolog

Petr Stepánek, Petr Olmer, 2002, ICLP.

Prolog: A Step towards the Future of Programming

Petr Stepánek, Olga Stepánková, P. Štěpánek, 1992, Advanced Topics in Artificial Intelligence.

Cardinal Collapsing and Ordinal Definability

Petr Stepánek, 1978, J. Symb. Log..

Normal Forms and the Complexity of Computations of Logic Programs

Petr Stepánek, Olga Stepánková, Vít Ochozka, 1988, CSL.

fib Bulletin 47. Environmental design of concrete structures – general principles

Petr Hájek, Koji Sakai, Petr Stepánek, 2008 .

Computation Trees and Transformations of Logic Programs

Petr Stepánek, Olga Stepánková, 1984, ICLP.

Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking

Petr Stepánek, Jaromir Malenko, 2012, Description Logics.