Machine Learning Guidance for Connection Tableaux
Work
Year: 2020
Type: article
Abstract: Connection calculi allow for very compact implementations of goal-directed proof search. We give an overview of our work related to connection tableaux calculi: first, we show optimised functional im... more
Source: Journal of Automated Reasoning
Cites: 89
Cited by: 13
Related to: 10
FWCI: 0.826
Citation percentile (by year/subfield): 69
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: hybrid
APC paid (est): $2,890
Grant ID CZ.02.1.01/0.0/0.0/15_003/0000466