( en | de | ru )

 

Disambiguation of "Chvalovský, Karel"

Author of the publication

copydeleteadd this publication to your clipboard
Note on Deduction Theorems in contraction-free logics.

, and . Math. Log. Q., 58 (3): 236-243 (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

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)Note on Deduction Theorems in contraction-free logics., and . Math. Log. Q., 58 (3): 236-243 (2012)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)Guiding an Instantiation Prover with Graph Neural Networks., , , and . LPAR, volume 94 of EPiC Series in Computing, page 112-123. EasyChair, (2023)On the independence of axioms in BL and MTL.. Fuzzy Sets Syst., (2012)Top-Down Neural Model For Formulae.. ICLR (Poster), OpenReview.net, (2019)Fast and Slow Enigmas and Parental Guidance., , , , and . FroCoS, volume 12941 of Lecture Notes in Computer Science, page 173-191. Springer, (2021)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)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)