Matches in SemOpenAlex for { <https://semopenalex.org/work/W3023297255> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3023297255 abstract "There is an increasing interest in applying recent advances in AI to automated reasoning, as it may provide useful heuristics in reasoning over formalisms in first-order, second-order, or even meta-logics. To facilitate this research, we present MATR, a new framework for automated theorem proving explicitly designed to easily adapt to unusual logics or integrate new reasoning processes. MATR is formalism-agnostic, highly modular, and programmer-friendly. We explain the high-level design of MATR as well as some details of its implementation. To demonstrate MATR's utility, we then describe a formalized metalogic suitable for proofs of Godel's Incompleteness Theorems, and report on our progress using our metalogic in MATR to semi-autonomously generate proofs of both the First and Second Incompleteness Theorems." @default.
- W3023297255 created "2020-05-13" @default.
- W3023297255 creator A5011714722 @default.
- W3023297255 creator A5037647150 @default.
- W3023297255 creator A5074300827 @default.
- W3023297255 date "2020-05-06" @default.
- W3023297255 modified "2023-09-27" @default.
- W3023297255 title "Towards Concise, Machine-discovered Proofs of Godel's Two Incompleteness Theorems" @default.
- W3023297255 cites W124675846 @default.
- W3023297255 cites W1511056241 @default.
- W3023297255 cites W1542036844 @default.
- W3023297255 cites W1556815708 @default.
- W3023297255 cites W1588334983 @default.
- W3023297255 cites W2015224901 @default.
- W3023297255 cites W2091280099 @default.
- W3023297255 cites W2428112462 @default.
- W3023297255 cites W2593925740 @default.
- W3023297255 cites W2804556168 @default.
- W3023297255 cites W2883268853 @default.
- W3023297255 cites W2946187216 @default.
- W3023297255 cites W2963938535 @default.
- W3023297255 hasPublicationYear "2020" @default.
- W3023297255 type Work @default.
- W3023297255 sameAs 3023297255 @default.
- W3023297255 citedByCount "0" @default.
- W3023297255 crossrefType "posted-content" @default.
- W3023297255 hasAuthorship W3023297255A5011714722 @default.
- W3023297255 hasAuthorship W3023297255A5037647150 @default.
- W3023297255 hasAuthorship W3023297255A5074300827 @default.
- W3023297255 hasConcept C101468663 @default.
- W3023297255 hasConcept C108710211 @default.
- W3023297255 hasConcept C111919701 @default.
- W3023297255 hasConcept C127705205 @default.
- W3023297255 hasConcept C142362112 @default.
- W3023297255 hasConcept C153349607 @default.
- W3023297255 hasConcept C171018156 @default.
- W3023297255 hasConcept C195344581 @default.
- W3023297255 hasConcept C199343813 @default.
- W3023297255 hasConcept C199360897 @default.
- W3023297255 hasConcept C206880738 @default.
- W3023297255 hasConcept C2524010 @default.
- W3023297255 hasConcept C2777686260 @default.
- W3023297255 hasConcept C2778514511 @default.
- W3023297255 hasConcept C33923547 @default.
- W3023297255 hasConcept C41008148 @default.
- W3023297255 hasConcept C558565934 @default.
- W3023297255 hasConcept C71924100 @default.
- W3023297255 hasConcept C73301696 @default.
- W3023297255 hasConcept C80444323 @default.
- W3023297255 hasConceptScore W3023297255C101468663 @default.
- W3023297255 hasConceptScore W3023297255C108710211 @default.
- W3023297255 hasConceptScore W3023297255C111919701 @default.
- W3023297255 hasConceptScore W3023297255C127705205 @default.
- W3023297255 hasConceptScore W3023297255C142362112 @default.
- W3023297255 hasConceptScore W3023297255C153349607 @default.
- W3023297255 hasConceptScore W3023297255C171018156 @default.
- W3023297255 hasConceptScore W3023297255C195344581 @default.
- W3023297255 hasConceptScore W3023297255C199343813 @default.
- W3023297255 hasConceptScore W3023297255C199360897 @default.
- W3023297255 hasConceptScore W3023297255C206880738 @default.
- W3023297255 hasConceptScore W3023297255C2524010 @default.
- W3023297255 hasConceptScore W3023297255C2777686260 @default.
- W3023297255 hasConceptScore W3023297255C2778514511 @default.
- W3023297255 hasConceptScore W3023297255C33923547 @default.
- W3023297255 hasConceptScore W3023297255C41008148 @default.
- W3023297255 hasConceptScore W3023297255C558565934 @default.
- W3023297255 hasConceptScore W3023297255C71924100 @default.
- W3023297255 hasConceptScore W3023297255C73301696 @default.
- W3023297255 hasConceptScore W3023297255C80444323 @default.
- W3023297255 hasLocation W30232972551 @default.
- W3023297255 hasOpenAccess W3023297255 @default.
- W3023297255 hasPrimaryLocation W30232972551 @default.
- W3023297255 hasRelatedWork W111239255 @default.
- W3023297255 hasRelatedWork W1520286155 @default.
- W3023297255 hasRelatedWork W1523013478 @default.
- W3023297255 hasRelatedWork W1528431394 @default.
- W3023297255 hasRelatedWork W1585354690 @default.
- W3023297255 hasRelatedWork W1591915883 @default.
- W3023297255 hasRelatedWork W1799122945 @default.
- W3023297255 hasRelatedWork W1927497685 @default.
- W3023297255 hasRelatedWork W1969922231 @default.
- W3023297255 hasRelatedWork W1993773125 @default.
- W3023297255 hasRelatedWork W2042236049 @default.
- W3023297255 hasRelatedWork W2120062651 @default.
- W3023297255 hasRelatedWork W2165163976 @default.
- W3023297255 hasRelatedWork W2399538739 @default.
- W3023297255 hasRelatedWork W2888810578 @default.
- W3023297255 hasRelatedWork W2999767359 @default.
- W3023297255 hasRelatedWork W3005283075 @default.
- W3023297255 hasRelatedWork W3092988953 @default.
- W3023297255 hasRelatedWork W3175856623 @default.
- W3023297255 hasRelatedWork W89828691 @default.
- W3023297255 isParatext "false" @default.
- W3023297255 isRetracted "false" @default.
- W3023297255 magId "3023297255" @default.
- W3023297255 workType "article" @default.