How to compute uniform interpolant semantically
Kentaro Yamamoto
(ICS CAS)
Computability of Neural Network Problems
Vít Fojtík
(Bavarian AI Chair for Mathematical Foundations of AI, LMU Munich)
Promise Model Checking Problems over a Fixed Model
Libor Barto
(Charles University, Faculty of Mathematics and Physics)
Zero-cost proxies for neural network performance estimation
Gabriela Kadlecová
(Institute of Computer Science; Charles Univ., Fac Math and Phys)
Maximum local tree counts in G(n,p)
Matas Šileikis
(CAS ISC)
GPT et al.: Generating Texts with Transformer-Based Large Language Models
Rudolf Rosa
(Institute of Formal and Applied Linguistics, Charles University)
Computational Content of a Generalized Kreisel-Putnam Rule
Ivo Pezlar
(Institute of Philosophy, Czech Academy of Sciences)
From ridge functions to neural networks II.
Jan Vybíral
(Department of Mathematics, FNSPE, CTU)
First-Order Proof Schemata and Inductive Proof Analysis
Alexander Leitsch
(Technical University Vienna)
Learning Logic Programs with negation, Predicate Invention, and Higher-Order Definitions Through the learning from Failures Paradigm
David M. Cerna
(Department of Artificial Intelligence, ICS Prague)
One-variable RQ & RS5: A Frame Based Equivalence
Nicholas Ferenz
(Institute of Computer Science, Czech Academy of Sciences)
From discrete to continuous variational inequalities with convex and non-convex constraints.
Pavel Krejčí
(Institute of Mathematics, CAS; Faculty of Civil Engineering, CTU)
Learning Logic Programs with negation, Predicate Invention, and Higher-Order. Definitions Through the learning from Failures Paradigm.
David M. Cerna
(Department of Artificial Intelligence, ICS Prague)
Kleene Algebra With Tests for Weighted Programs
Igor Sedlár
(Institute of Computer Science, Czech Academy of Sciences)
From ridge functions to neural networks
Jan Vybíral
(Department of Mathematics, FNSPE, CTU)
A Parametrised Axiomatization for a Large Number of Restricted Second-Order Logics
Guillermo Badia
(University of Queensland)
How radar interferometry could reconcile fuzzy sets with probability
Lubomír Soukup
(Czech Academy of Sciences, Institute of Information Theory and Automation)
On Many-Valued Coalgebraic Modal Logic
Chun Yu Lin
(Czech Academy of Sciences, ICS)
Model M - an agent-based epidemiological model
S4 Necessity and Comonads
Colin Zwanziger
(Czech Academy of Sciences, Institute of Philosophy)
Beyond Parry: Applications of Intensional Subject-Matter
Thomas M. Ferguson
(Czech Academy of Sciences)
Some implications of high-dimensional geometry for classification by neural networks
The Bi-Intuitionistic Logic of Co-Trees
Miguel Martins
(University of Barcelona)
Autonomous machines and machine minds
Crisp bi-Gödel modal logic and its paraconsistent expansion
Daniil Kozhemiachenko
(INSA Centre Val de Loire)
A module-theoretic approach to multiset consequence relations
Adam Přenosil
(ICS CAS)
On the Complexity of *-Continuous Kleene Algebra With Domain
Igor Sedlár
(ICS CAS)
Perfect pseudo MV-algebra, kite, variety, representation
Michal Botur
(Palacký University Olomouc)
On a logico-algebraic approach to AGM belief contraction theory
Davide Fazio
(University of Cagliari)
One-sorted Kleene algebra with tests
Igor Sedlár
(ICS CAS)
Homomorphisms of Planning Tasks and Heuristic Search
Rostislav Horčík
(Czech Technical University)
Layers of Propositional Types
Vít Punčochář
(FLU CAS)
Layers of Propositional Types
Vít Punčochář
(FLU CAS)
Paths and cycles in random hypergraphs
Oliver Cooley
(Graz University of Technology)
Spravedlivá válka a válečný konflikt na Ukrajině
Michal Rigel, David Černý, Zdeněk Mikulka, Monika Mareková
(Ústav státu a práva AV ČR, v.v.i.)
Integrating Machine Learning into Saturation-based ATPs
Martin Suda
(CIIRC, Czech Technical University)
Kapsner Complementation
Andrew Tedder
(Ruhr University Bochum)
Conditional FDE-logics
Nicholas Ferenz
(ICS CAS)
Minimum degree conditions for powers of cycles and paths
Eng Keat Hng
(ICS CAS)
Learning Higher-Order Logic Programs From Failures
David Cerna
(ICS CAS)
A Generalization of Ultraproducts
Jamie Wannenburg
(ICS CAS)
The automorphism groups of ultrahomogeneous lattices
Kentaro Yamamoto
(ICS CAS)
Reduction procedures and the meaning of proofs
Sara Ayhan
(Ruhr University Bochum)
Decidability of some intuitionistic and Gödel modal logics with transitivity
David Fernández Duque
(ICS CAS and Ghent University)
On the adequacy of temporal logics for modelling European transport regulations
David Fernández Duque
(Ghent University)
Epimorphisms in varieties of semilinear residuated lattices
J. J. Wannenburg
(Czech Academy of Sciences)
Dependent types and finite limits in games
Norihiro Yamada
(University of Minnesota)
A maximality result for bi-intuitionistic propositional logic
Grigory Olkhovikov
(Ruhr University Bochum)
Varieties of necessity in a non-classical setting
Shawn Standefer
(Slovak Academy of Sciences)
Generalized basic logic from a modal point of view
Wesley Fussner
(University of Nice Sophia Antipolis)
The admissible rules of Lax Logic
Iris van der Giessen
(Utrecht University)
The Structure of Reasons: Subtraction and Partiality
Federico Faroldi
(Ghent University)
Two applications of Herzberger’s semantics
Hitoshi Omori
(Ruhr University Bochum)
These Degrees go to Eleven: Fuzzy Logics and Graded Predicates
Berta Grimau and Carles Noguera
(CAS)
Counting Homomorphisms Between Finite Structures
Luca Reggio
(University of Oxford)
Changing the World, Constructively
Igor Sedlár
(ICS CAS)
0-1 Laws in Mathematical Fuzzy Logic
Guillermo Badia
(University of Queensland)
Some algebraic (and topological) tools and their application to logic
Jamie Wannenburg
(University of Pretoria)
Logics of n-filters
Adam Přenosil
(Vanderbilt University)
The combinatorics of finite Heyting algebras and the topological group of the automorphisms of their limit
Kentaro Yamamoto
(ICS CAS)
On Equational Completeness Theorems
Tommaso Moraschini
(University of Barcelona)
Nový pohled na spojitá pravděpodobnostní rozdělení
Admissibility in the multi-conclusion setting
Michal Stronkowski
(Warsaw University of Technology)
Connectivity of random simplicial complexes
Andrew Newman
(Bielefeld University)
Stochastic growth models: asymptotic shape and growth rate
Viktor Bezborodov
(Wrocław University of Science and Technology)
Decomposing graphs into paths and trees
Tereza Klimošová
(Charles University)
Ehrenfeucht-Fraisse methods in the model theory of L-topological spaces over finite MTL-chains
Guillermo Badia
(University of Queensland)
How to deal with data contamination in hypothesis testing
Axiomatic systems of Gödel Modal Logics
Amanda Vidal
(ICS CAS)
Localised codegree conditions for Hamilton cycles in hypergraphs
Simón Piga
(Universität Hamburg)
Craig interpolation in software verification
Martin Blicha
(Charles University)
Random tree recursions: which fixed points correspond to tangible sets of trees?
Fiona Skerman
(Bristol University)
François Lefebvre
(Aix Marseille University, Marseille, France)
Information Flow in Logics in the Vicinity of BB
Andrew Tedder
(ICS CAS)
Probabilistic Bounds on Complexity of Networks Classifying Large Data Sets
Profinite Heyting algebras and the representation problem for Esakia spaces
Frozen percolation on the 3-regular tree
Jan Swart
(Czech Academy of Sciences, UTIA)
Profiniteness and finitely generated varieties
Michał M. Stronkowski
(Warsaw University of Technology)
The Use of Drones and the Problem of Disproportionate Harm to Civilians
Daniel Statman
(University of Haifa, Haifa, Izrael)
Georg Heinze
(Medical University of Vienna, Austria)
Partitioning 2-coloured complete 3-graphs into two monochromatic tight cycles
Renata Tiene de Carvalho Yokota
(Scientific Institute of Public Health, Brussels, Vrije Universiteit Brussel, Belgium)
Mgr. Lubomír Košťál, Ph.D.
(Fyziologický ústav AV ČR)
