Publications

Title of the publication:
Large Language Models in SAT Reasoning
Authors:
Petr Hyner, František Dušek, David Adamczyk, Jan Hůla
Published:
February 6, 2026
Publisher:
Ostravská univerzita
DOI:
10.15452/978-80-7599-515-5.2026.09
 
Title of the publication:
Properties of Graded Peterson’s Square of Opposition as Immediate Inferences
Authors:
Karel Fiala, Petra Murinová
Published:
February 6, 2026
Publisher:
Ostravská univerzita
DOI:
10.15452/978-80-7599-515-5.2026.08
 
Title of the publication:
Linguistic Interpretation of Natural Data Using Intermediate Quantifiers Relate to Graded Cube of Opposition
Authors:
Petra Murinová, Karel Fiala
Published:
January 28, 2026
Publisher:
Springer Nature Switzerland AG
DOI:
10.1007/978-3-032-15632-7_30
 
Title of the publication:
Ability Transfer Through Language Mixing
Authors:
Petr Hyner, Jan Mrógala, Jan Hula
Published:
December 24, 2025
Publisher:
The Asian Federation of Natural Language Processing and The Association for Computational Linguistics
DOI:
N/A
 
Title of the publication:
The Language of Polarization: Linguistic and Dissemination Strategies of Economic Disinformation on Facebook
Authors:
Milan Pišl
Published:
December 23, 2025
Publisher:
Bratislava University of Economics and Business, Vydavateľstvo Ekonóm
DOI:
10.53465/JAP.2025.9788022552806.406-422
 
Title of the publication:
Neural approaches to SAT solving: Design choices and interpretability
Authors:
David Mojžíšek, Jan Hůla, Ziwei Li, Ziyu Zhou, Mikoláš Janota
Published:
December 5, 2025
Publisher:
International Journal of Approximate Reasoning
DOI:
10.1016/j.ijar.2025.109609
 
Title of the publication:
Tuning of Language Models in Eastern European Languages on Twitter/X
Authors:
Tomáš Filip, Martin Pavlíček, Petr Sosík
Published:
November 13, 2025
Publisher:
CEUR-WS Proceedings
DOI:
10.5281/zenodo.17723755
 
Title of the publication:
From human artefact to machine output: automating the "art" of psychological measurement
Authors:
Fernando Marmolejo-Ramos, Okan Bulut, Luis Anunciaçáo, Louise Marques, Abhinava Barthakur, Josef Kundrát, Karel Rečka, Özge Karakale, Juan C. Correa, Luis Alberto Pinos-Ullauri, Raydonal Ospina and Julian Tejada
Published:
October 9, 2025
Publisher:
Informa UK Limited
DOI:
10.1080/29974100.2025.2561692
 
Title of the publication:
Learning to Search with Subgoals
Authors:
Petr Hyner, Jan Mrógala, Kryštof Krmaschek, Jan Hůla
Published:
October 1, 2025
Publisher:
Springer Nature Switzerland AG
DOI:
10.1007/978-3-032-02725-2_24
 
Title of the publication:
Reframing the concept of disinformation in social work: The case of a disadvantaged neighbourhood from the Czech Republic
Authors:
Kateřina Mikulcová
Published:
September 17, 2025
Publisher:
Oxford University Press
DOI:
10.1093/bjsw/bcaf180
 
Title of the publication:
BenCzechMark : A Czech-Centric Multitask and Multimetric Benchmark for Large Language Models with Duel Scoring Mechanism
Authors:
Martin Fajcik Corresponding Author, Martin Docekal, Jan Dolezal, Karel Ondrej, Karel Beneš, Jan Kapsa, Pavel Smrz, Alexander Polok, Michal Hradis, Zuzana Neverilova, Ales Horak, Radoslav Sabol, Michal Stefanik, Adam Jirkovsky, David Adamczyk, Petr Hyner, Jan Hula, Hynek Kydlicek
Published:
September 2, 2025
Publisher:
Transactions of the Association for Computational Linguistics
DOI:
10.1162/TACL.a.32
 
Title of the publication:
Safety and Strong Completeness via Reducibility for Many-Valued Coalgebraic Dynamic Logics
Authors:
Helle Hvid Hansen, Wolfgang Poiger
Published:
July 28, 2025
Publisher:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI:
10.4230/LIPIcs.CALCO.2025.9
 
Title of the publication:
Verification of Validity of Generalized Logical Syllogisms Applying the Contraposition
Authors:
Karel Fiala, Petra Murinová
Published:
July 9, 2025
Publisher:
Springer Nature Switzerland AG
DOI:
10.1007/978-3-031-97225-6_13
 
Title of the publication:
A Survey on Learning Models of Spiking Neural Membrane Systems
Authors:
Petr Sosík, Prithwineel Paul & Lucie Ciencialová
Published:
July 8, 2025
Publisher:
Natural Computing
DOI:
10.1007/s11047-025-10026-9


Updated: 19. 03. 2026