Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566167375> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1566167375 abstract "Reasoning theories can be used to specify heterogeneous reasoning systems. In this paper we present an equational version of reasoning theories, and we study their structuring and composition, and the use of annotated assertions for the control of search, as mappings between reasoning theories. We define composability and composition using the notion of faithful inclusion mapping , we define annotated reasoning theories using the notion of erasing mapping , and we lift composability and composition to consider also annotations. As an example, we give a modular specification of the top-level control (known as waterfall ) of NQTHM, the Boyer-Moore theorem prover." @default.
- W1566167375 created "2016-06-24" @default.
- W1566167375 creator A5001227032 @default.
- W1566167375 creator A5007839082 @default.
- W1566167375 creator A5027174237 @default.
- W1566167375 creator A5090498111 @default.
- W1566167375 date "2000-01-01" @default.
- W1566167375 modified "2023-09-26" @default.
- W1566167375 title "Composing and Controlling Search in Reasoning Theories Using Mappings" @default.
- W1566167375 cites W1484746672 @default.
- W1566167375 cites W1496607686 @default.
- W1566167375 cites W1552894491 @default.
- W1566167375 cites W1577509186 @default.
- W1566167375 cites W1678943029 @default.
- W1566167375 cites W1702235018 @default.
- W1566167375 cites W1817234554 @default.
- W1566167375 cites W1980498809 @default.
- W1566167375 cites W2016263729 @default.
- W1566167375 cites W2029176884 @default.
- W1566167375 cites W2145592911 @default.
- W1566167375 cites W4251578430 @default.
- W1566167375 doi "https://doi.org/10.1007/10720084_14" @default.
- W1566167375 hasPublicationYear "2000" @default.
- W1566167375 type Work @default.
- W1566167375 sameAs 1566167375 @default.
- W1566167375 citedByCount "4" @default.
- W1566167375 crossrefType "book-chapter" @default.
- W1566167375 hasAuthorship W1566167375A5001227032 @default.
- W1566167375 hasAuthorship W1566167375A5007839082 @default.
- W1566167375 hasAuthorship W1566167375A5027174237 @default.
- W1566167375 hasAuthorship W1566167375A5090498111 @default.
- W1566167375 hasConcept C10138342 @default.
- W1566167375 hasConcept C101468663 @default.
- W1566167375 hasConcept C108710211 @default.
- W1566167375 hasConcept C138885662 @default.
- W1566167375 hasConcept C159718280 @default.
- W1566167375 hasConcept C162324750 @default.
- W1566167375 hasConcept C195344581 @default.
- W1566167375 hasConcept C199360897 @default.
- W1566167375 hasConcept C206880738 @default.
- W1566167375 hasConcept C2524010 @default.
- W1566167375 hasConcept C2775945657 @default.
- W1566167375 hasConcept C2778814252 @default.
- W1566167375 hasConcept C33923547 @default.
- W1566167375 hasConcept C40231798 @default.
- W1566167375 hasConcept C41008148 @default.
- W1566167375 hasConcept C41895202 @default.
- W1566167375 hasConcept C80444323 @default.
- W1566167375 hasConceptScore W1566167375C10138342 @default.
- W1566167375 hasConceptScore W1566167375C101468663 @default.
- W1566167375 hasConceptScore W1566167375C108710211 @default.
- W1566167375 hasConceptScore W1566167375C138885662 @default.
- W1566167375 hasConceptScore W1566167375C159718280 @default.
- W1566167375 hasConceptScore W1566167375C162324750 @default.
- W1566167375 hasConceptScore W1566167375C195344581 @default.
- W1566167375 hasConceptScore W1566167375C199360897 @default.
- W1566167375 hasConceptScore W1566167375C206880738 @default.
- W1566167375 hasConceptScore W1566167375C2524010 @default.
- W1566167375 hasConceptScore W1566167375C2775945657 @default.
- W1566167375 hasConceptScore W1566167375C2778814252 @default.
- W1566167375 hasConceptScore W1566167375C33923547 @default.
- W1566167375 hasConceptScore W1566167375C40231798 @default.
- W1566167375 hasConceptScore W1566167375C41008148 @default.
- W1566167375 hasConceptScore W1566167375C41895202 @default.
- W1566167375 hasConceptScore W1566167375C80444323 @default.
- W1566167375 hasLocation W15661673751 @default.
- W1566167375 hasOpenAccess W1566167375 @default.
- W1566167375 hasPrimaryLocation W15661673751 @default.
- W1566167375 hasRelatedWork W1434142985 @default.
- W1566167375 hasRelatedWork W1505463372 @default.
- W1566167375 hasRelatedWork W1539736846 @default.
- W1566167375 hasRelatedWork W1563695504 @default.
- W1566167375 hasRelatedWork W1988964526 @default.
- W1566167375 hasRelatedWork W2040883471 @default.
- W1566167375 hasRelatedWork W2062768986 @default.
- W1566167375 hasRelatedWork W2068082871 @default.
- W1566167375 hasRelatedWork W2129653161 @default.
- W1566167375 hasRelatedWork W2150680956 @default.
- W1566167375 hasRelatedWork W2157515101 @default.
- W1566167375 hasRelatedWork W2167554611 @default.
- W1566167375 hasRelatedWork W2170673304 @default.
- W1566167375 hasRelatedWork W2396100351 @default.
- W1566167375 hasRelatedWork W2612793292 @default.
- W1566167375 hasRelatedWork W2624694575 @default.
- W1566167375 hasRelatedWork W2967565264 @default.
- W1566167375 hasRelatedWork W3134436023 @default.
- W1566167375 hasRelatedWork W336329025 @default.
- W1566167375 hasRelatedWork W3023317403 @default.
- W1566167375 isParatext "false" @default.
- W1566167375 isRetracted "false" @default.
- W1566167375 magId "1566167375" @default.
- W1566167375 workType "book-chapter" @default.