( en | de | ru )

 

Disambiguation of "Chvalovský, Karel"

Author of the publication

copydeleteadd this publication to your clipboard
On the independence of axioms in BL and MTL.

. Fuzzy Sets Syst., (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Charalambos Karela

Anna Karelina

Sophie Karela

Heiko Karels

Arnold Karelitzki

 

Other publications of authors with the same name

On the independence of axioms in BL and MTL.. Fuzzy Sets Syst., (2012)Top-Down Neural Model For Formulae.. ICLR (Poster), OpenReview.net, (2019)Guiding an Instantiation Prover with Graph Neural Networks., , , and . LPAR, volume 94 of EPiC Series in Computing, page 112-123. EasyChair, (2023)Note on Deduction Theorems in contraction-free logics., and . Math. Log. Q., 58 (3): 236-243 (2012)ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E., , , and . CADE, volume 11716 of Lecture Notes in Computer Science, page 197-215. Springer, (2019)Learning Theorem Proving Components., , , and . TABLEAUX, volume 12842 of Lecture Notes in Computer Science, page 266-278. Springer, (2021)Regularization in Spider-Style Strategy Discovery and Schedule Construction., , and . IJCAR (1), volume 14739 of Lecture Notes in Computer Science, page 194-213. Springer, (2024)ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)., , , , , and . IJCAR (2), volume 12167 of Lecture Notes in Computer Science, page 448-463. Springer, (2020)MizAR 60 for Mizar 50., , , , , , , , and . ITP, volume 268 of LIPIcs, page 19:1-19:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Note on Deduction Theorems in Contraction-Free Logics., and . LPAR short papers(Yogyakarta), volume 13 of EPiC Series in Computing, page 26-29. EasyChair, (2010)