Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514552166> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1514552166 abstract "An adaptative theorem prover is a system able to modify its current set of inference rules in order to improve its performance on a specific domain. We address here the issue of the generation of inference rules, without considering the selection and deletion issues. We especially develop the treatment of repeating events within a proof. We specify a general representation for objects to be learned in this framework, that is macro-connectives and macro-inference-rules and show how they may be generated from the primitive set of inference rules. Our main contribution consists to show that a form of analytical, static learning, is possible in this domain." @default.
- W1514552166 created "2016-06-24" @default.
- W1514552166 creator A5006160656 @default.
- W1514552166 creator A5052474408 @default.
- W1514552166 date "1991-01-01" @default.
- W1514552166 modified "2023-09-24" @default.
- W1514552166 title "Static learning for an adaptative theorem prover" @default.
- W1514552166 cites W1986156613 @default.
- W1514552166 cites W2020149918 @default.
- W1514552166 cites W2110415190 @default.
- W1514552166 cites W2318194046 @default.
- W1514552166 cites W97556367 @default.
- W1514552166 doi "https://doi.org/10.1007/bfb0017022" @default.
- W1514552166 hasPublicationYear "1991" @default.
- W1514552166 type Work @default.
- W1514552166 sameAs 1514552166 @default.
- W1514552166 citedByCount "1" @default.
- W1514552166 crossrefType "book-chapter" @default.
- W1514552166 hasAuthorship W1514552166A5006160656 @default.
- W1514552166 hasAuthorship W1514552166A5052474408 @default.
- W1514552166 hasConcept C108710211 @default.
- W1514552166 hasConcept C11413529 @default.
- W1514552166 hasConcept C134306372 @default.
- W1514552166 hasConcept C154945302 @default.
- W1514552166 hasConcept C159718280 @default.
- W1514552166 hasConcept C161301231 @default.
- W1514552166 hasConcept C166955791 @default.
- W1514552166 hasConcept C177264268 @default.
- W1514552166 hasConcept C17744445 @default.
- W1514552166 hasConcept C199360897 @default.
- W1514552166 hasConcept C199539241 @default.
- W1514552166 hasConcept C206880738 @default.
- W1514552166 hasConcept C2524010 @default.
- W1514552166 hasConcept C2776214188 @default.
- W1514552166 hasConcept C2776359362 @default.
- W1514552166 hasConcept C33923547 @default.
- W1514552166 hasConcept C36503486 @default.
- W1514552166 hasConcept C3746660 @default.
- W1514552166 hasConcept C41008148 @default.
- W1514552166 hasConcept C80444323 @default.
- W1514552166 hasConcept C81917197 @default.
- W1514552166 hasConcept C94625758 @default.
- W1514552166 hasConceptScore W1514552166C108710211 @default.
- W1514552166 hasConceptScore W1514552166C11413529 @default.
- W1514552166 hasConceptScore W1514552166C134306372 @default.
- W1514552166 hasConceptScore W1514552166C154945302 @default.
- W1514552166 hasConceptScore W1514552166C159718280 @default.
- W1514552166 hasConceptScore W1514552166C161301231 @default.
- W1514552166 hasConceptScore W1514552166C166955791 @default.
- W1514552166 hasConceptScore W1514552166C177264268 @default.
- W1514552166 hasConceptScore W1514552166C17744445 @default.
- W1514552166 hasConceptScore W1514552166C199360897 @default.
- W1514552166 hasConceptScore W1514552166C199539241 @default.
- W1514552166 hasConceptScore W1514552166C206880738 @default.
- W1514552166 hasConceptScore W1514552166C2524010 @default.
- W1514552166 hasConceptScore W1514552166C2776214188 @default.
- W1514552166 hasConceptScore W1514552166C2776359362 @default.
- W1514552166 hasConceptScore W1514552166C33923547 @default.
- W1514552166 hasConceptScore W1514552166C36503486 @default.
- W1514552166 hasConceptScore W1514552166C3746660 @default.
- W1514552166 hasConceptScore W1514552166C41008148 @default.
- W1514552166 hasConceptScore W1514552166C80444323 @default.
- W1514552166 hasConceptScore W1514552166C81917197 @default.
- W1514552166 hasConceptScore W1514552166C94625758 @default.
- W1514552166 hasLocation W15145521661 @default.
- W1514552166 hasOpenAccess W1514552166 @default.
- W1514552166 hasPrimaryLocation W15145521661 @default.
- W1514552166 hasRelatedWork W102722814 @default.
- W1514552166 hasRelatedWork W138687145 @default.
- W1514552166 hasRelatedWork W1487533857 @default.
- W1514552166 hasRelatedWork W1498675708 @default.
- W1514552166 hasRelatedWork W1534554596 @default.
- W1514552166 hasRelatedWork W1556427327 @default.
- W1514552166 hasRelatedWork W1601813778 @default.
- W1514552166 hasRelatedWork W163012990 @default.
- W1514552166 hasRelatedWork W1679836515 @default.
- W1514552166 hasRelatedWork W1780472831 @default.
- W1514552166 hasRelatedWork W1862061328 @default.
- W1514552166 hasRelatedWork W2074882899 @default.
- W1514552166 hasRelatedWork W2134567445 @default.
- W1514552166 hasRelatedWork W2901805906 @default.
- W1514552166 hasRelatedWork W2964077831 @default.
- W1514552166 hasRelatedWork W3118113274 @default.
- W1514552166 hasRelatedWork W60445782 @default.
- W1514552166 hasRelatedWork W63122532 @default.
- W1514552166 hasRelatedWork W1941283076 @default.
- W1514552166 hasRelatedWork W2147046421 @default.
- W1514552166 isParatext "false" @default.
- W1514552166 isRetracted "false" @default.
- W1514552166 magId "1514552166" @default.
- W1514552166 workType "book-chapter" @default.