Karel Chvalovský

According to our database1, Karel Chvalovský authored at least 7 papers between 2012 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description).
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019
Top-Down Neural Model For Formulae.
Proceedings of the 7th International Conference on Learning Representations, 2019

ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E.
Proceedings of the Automated Deduction - CADE 27, 2019

2016
Full Lambek Calculus with Contraction is Undecidable.
J. Symb. Log., 2016

2015
Undecidability of Consequence Relation in Full non-Associative Lambek Calculus.
J. Symb. Log., 2015

2012
Note on Deduction Theorems in contraction-free logics.
Math. Log. Q., 2012

On the independence of axioms in BL and MTL.
Fuzzy Sets Syst., 2012


  Loading...