Samuel Novotný

According to our database, Samuel Novotný authored at least 4 papers between 2022 and 2025.

Collaborative distances:

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

2025

Towards Resolving Type Incoherence in Transparent Intensional Logic.

Samuel Novotný, Marie Duzí, William Steingartner, Ján Perhác

Proceedings of the Information Modelling and Knowledge Bases XXXVII: Proceedings of the 35th International Conference on Information Modelling and Knowledge Bases, 2025

Implementation of Transparent Intensional Logic Framework in Haskell.

Samuel Novotný, Marie Duzí, William Steingartner

Proceedings of the Information Modelling and Knowledge Bases XXXVII: Proceedings of the 35th International Conference on Information Modelling and Knowledge Bases, 2025

2024

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs.

Ján Perhác, Samuel Novotný, Sergej Chodarev, Joachim Tilsted Kristensen, Lars Tveito, Oleks Shturmov, Michael Kirkedal Thomsen

Proceedings of the Proceedings The 13th International Workshop on Theorem proving components for Educational software, May, 2024

2022

Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic.

Samuel Novotný, Miroslav Michalko, Ján Perhác, Valerie Novitzká, Frantisek Jakab

Symmetry, 2022