Matches in SemOpenAlex for { <https://semopenalex.org/work/W3102252921> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W3102252921 endingPage "507" @default.
- W3102252921 startingPage "489" @default.
- W3102252921 abstract "We present a reinforcement learning toolkit for experiments with guiding automated theorem proving in the connection calculus. The core of the toolkit is a compact and easy to extend Prolog-based automated theorem prover called plCoP. plCoP builds on the leanCoP Prolog implementation and adds learning-guided Monte-Carlo Tree Search as done in the rlCoP system. Other components include a Python interface to plCoP and machine learners, and an external proof checker that verifies the validity of plCoP proofs. The toolkit is evaluated on two benchmarks and we demonstrate its extendability by two additions: (1) guidance is extended to reduction steps and (2) the standard leanCoP calculus is extended with rewrite steps and their learned guidance. We argue that the Prolog setting is suitable for combining statistical and symbolic learning methods. The complete toolkit is publicly released." @default.
- W3102252921 created "2020-11-23" @default.
- W3102252921 creator A5031019731 @default.
- W3102252921 creator A5031812667 @default.
- W3102252921 creator A5085073547 @default.
- W3102252921 date "2020-01-01" @default.
- W3102252921 modified "2023-10-01" @default.
- W3102252921 title "Prolog Technology Reinforcement Learning Prover" @default.
- W3102252921 cites W102946451 @default.
- W3102252921 cites W1495396426 @default.
- W3102252921 cites W1517155625 @default.
- W3102252921 cites W1573726182 @default.
- W3102252921 cites W1623345509 @default.
- W3102252921 cites W1625390266 @default.
- W3102252921 cites W1781094 @default.
- W3102252921 cites W1815556503 @default.
- W3102252921 cites W1846589774 @default.
- W3102252921 cites W1980717258 @default.
- W3102252921 cites W1982239968 @default.
- W3102252921 cites W1987902506 @default.
- W3102252921 cites W2002963758 @default.
- W3102252921 cites W2040723389 @default.
- W3102252921 cites W2040816116 @default.
- W3102252921 cites W2126316555 @default.
- W3102252921 cites W2141550942 @default.
- W3102252921 cites W2257927474 @default.
- W3102252921 cites W2257979135 @default.
- W3102252921 cites W2581202535 @default.
- W3102252921 cites W2766447205 @default.
- W3102252921 cites W2911601159 @default.
- W3102252921 cites W2969934262 @default.
- W3102252921 cites W2970508922 @default.
- W3102252921 cites W2977777155 @default.
- W3102252921 cites W3102476541 @default.
- W3102252921 cites W4231708524 @default.
- W3102252921 doi "https://doi.org/10.1007/978-3-030-51054-1_33" @default.
- W3102252921 hasPublicationYear "2020" @default.
- W3102252921 type Work @default.
- W3102252921 sameAs 3102252921 @default.
- W3102252921 citedByCount "13" @default.
- W3102252921 countsByYear W31022529212021 @default.
- W3102252921 countsByYear W31022529212022 @default.
- W3102252921 countsByYear W31022529212023 @default.
- W3102252921 crossrefType "book-chapter" @default.
- W3102252921 hasAuthorship W3102252921A5031019731 @default.
- W3102252921 hasAuthorship W3102252921A5031812667 @default.
- W3102252921 hasAuthorship W3102252921A5085073547 @default.
- W3102252921 hasBestOaLocation W31022529211 @default.
- W3102252921 hasConcept C108710211 @default.
- W3102252921 hasConcept C159718280 @default.
- W3102252921 hasConcept C199360897 @default.
- W3102252921 hasConcept C203265346 @default.
- W3102252921 hasConcept C206880738 @default.
- W3102252921 hasConcept C2524010 @default.
- W3102252921 hasConcept C33923547 @default.
- W3102252921 hasConcept C41008148 @default.
- W3102252921 hasConcept C519991488 @default.
- W3102252921 hasConcept C80444323 @default.
- W3102252921 hasConcept C81721847 @default.
- W3102252921 hasConceptScore W3102252921C108710211 @default.
- W3102252921 hasConceptScore W3102252921C159718280 @default.
- W3102252921 hasConceptScore W3102252921C199360897 @default.
- W3102252921 hasConceptScore W3102252921C203265346 @default.
- W3102252921 hasConceptScore W3102252921C206880738 @default.
- W3102252921 hasConceptScore W3102252921C2524010 @default.
- W3102252921 hasConceptScore W3102252921C33923547 @default.
- W3102252921 hasConceptScore W3102252921C41008148 @default.
- W3102252921 hasConceptScore W3102252921C519991488 @default.
- W3102252921 hasConceptScore W3102252921C80444323 @default.
- W3102252921 hasConceptScore W3102252921C81721847 @default.
- W3102252921 hasLocation W31022529211 @default.
- W3102252921 hasLocation W31022529212 @default.
- W3102252921 hasLocation W31022529213 @default.
- W3102252921 hasOpenAccess W3102252921 @default.
- W3102252921 hasPrimaryLocation W31022529211 @default.
- W3102252921 hasRelatedWork W1515169568 @default.
- W3102252921 hasRelatedWork W1523338383 @default.
- W3102252921 hasRelatedWork W2124145386 @default.
- W3102252921 hasRelatedWork W2886069053 @default.
- W3102252921 hasRelatedWork W2951182230 @default.
- W3102252921 hasRelatedWork W3008084236 @default.
- W3102252921 hasRelatedWork W3030807806 @default.
- W3102252921 hasRelatedWork W4281843089 @default.
- W3102252921 hasRelatedWork W4286229302 @default.
- W3102252921 hasRelatedWork W787793384 @default.
- W3102252921 isParatext "false" @default.
- W3102252921 isRetracted "false" @default.
- W3102252921 magId "3102252921" @default.
- W3102252921 workType "book-chapter" @default.