FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2145480060> ?p ?o ?g. }

• W2145480060 abstract "Systems which combine various forms of reasoning such as deductive inference and symbolic manipulation have repeatedly been shown to be more effective than stand-alone systems. In general, however, the combined systems are ad-hoc and designed for a single task. We present a generic framework for combining reasoning processes which is based on the theory of the Global Workspace Architecture. Within this blackboard-style framework, processes attached to a workspace propose information to be broadcast, along with a rating of the importance of the information, and only the most important is broadcast to all the processes, which react accordingly. To begin to demonstrate the value of the framework, we show that the tasks undertaken by previous ad-hoc systems can be performed by a configuration of the framework. To this end, we describe configurations for theorem discovery and conjecture making respectively, which produce comparable results to the previous ICARUS and HOMER systems. We further describe a novel application where we use a configuration of the framework to identify potentially interesting specialisations of finite algebras." @default.
• W2145480060 created "2016-06-24" @default.
• W2145480060 creator A5037055429 @default.
• W2145480060 creator A5040830236 @default.
• W2145480060 date "2008-01-01" @default.
• W2145480060 modified "2023-09-23" @default.
• W2145480060 title "Applications of a Global Workspace Framework to Mathematical Discovery" @default.
• W2145480060 cites W140277042 @default.
• W2145480060 cites W1484028341 @default.
• W2145480060 cites W1492725293 @default.
• W2145480060 cites W149787140 @default.
• W2145480060 cites W1502527706 @default.
• W2145480060 cites W1510368738 @default.
• W2145480060 cites W1511715654 @default.
• W2145480060 cites W1515278398 @default.
• W2145480060 cites W1524104002 @default.
• W2145480060 cites W1524949188 @default.
• W2145480060 cites W1544876072 @default.
• W2145480060 cites W1555144148 @default.
• W2145480060 cites W1556453281 @default.
• W2145480060 cites W1565995751 @default.
• W2145480060 cites W1574042277 @default.
• W2145480060 cites W1580392756 @default.
• W2145480060 cites W1585537805 @default.
• W2145480060 cites W1589464585 @default.
• W2145480060 cites W1592435576 @default.
• W2145480060 cites W1597356853 @default.
• W2145480060 cites W1603344051 @default.
• W2145480060 cites W1607806544 @default.
• W2145480060 cites W1769049439 @default.
• W2145480060 cites W1826979233 @default.
• W2145480060 cites W1911287697 @default.
• W2145480060 cites W1924552249 @default.
• W2145480060 cites W1969189678 @default.
• W2145480060 cites W1982269703 @default.
• W2145480060 cites W1989576180 @default.
• W2145480060 cites W1993021247 @default.
• W2145480060 cites W1993254132 @default.
• W2145480060 cites W1995025865 @default.
• W2145480060 cites W2012741612 @default.
• W2145480060 cites W2024337605 @default.
• W2145480060 cites W2033561430 @default.
• W2145480060 cites W2039977878 @default.
• W2145480060 cites W2056806931 @default.
• W2145480060 cites W2076862903 @default.
• W2145480060 cites W2077585224 @default.
• W2145480060 cites W2092775861 @default.
• W2145480060 cites W2107062658 @default.
• W2145480060 cites W2113711982 @default.
• W2145480060 cites W2117600025 @default.
• W2145480060 cites W2125115665 @default.
• W2145480060 cites W2151463894 @default.
• W2145480060 cites W2154098055 @default.
• W2145480060 cites W2154750111 @default.
• W2145480060 cites W2160922416 @default.
• W2145480060 cites W2199058998 @default.
• W2145480060 cites W22657303 @default.
• W2145480060 cites W80684329 @default.
• W2145480060 hasPublicationYear "2008" @default.
• W2145480060 type Work @default.
• W2145480060 sameAs 2145480060 @default.
• W2145480060 citedByCount "2" @default.
• W2145480060 countsByYear W21454800602013 @default.
• W2145480060 crossrefType "journal-article" @default.
• W2145480060 hasAuthorship W2145480060A5037055429 @default.
• W2145480060 hasAuthorship W2145480060A5040830236 @default.
• W2145480060 hasConcept C115903868 @default.
• W2145480060 hasConcept C123657996 @default.
• W2145480060 hasConcept C127413603 @default.
• W2145480060 hasConcept C142362112 @default.
• W2145480060 hasConcept C153349607 @default.
• W2145480060 hasConcept C154945302 @default.
• W2145480060 hasConcept C157273737 @default.
• W2145480060 hasConcept C201995342 @default.
• W2145480060 hasConcept C2776214188 @default.
• W2145480060 hasConcept C2778308757 @default.
• W2145480060 hasConcept C2780451532 @default.
• W2145480060 hasConcept C41008148 @default.
• W2145480060 hasConcept C58581272 @default.
• W2145480060 hasConcept C80444323 @default.
• W2145480060 hasConcept C90509273 @default.
• W2145480060 hasConceptScore W2145480060C115903868 @default.
• W2145480060 hasConceptScore W2145480060C123657996 @default.
• W2145480060 hasConceptScore W2145480060C127413603 @default.
• W2145480060 hasConceptScore W2145480060C142362112 @default.
• W2145480060 hasConceptScore W2145480060C153349607 @default.
• W2145480060 hasConceptScore W2145480060C154945302 @default.
• W2145480060 hasConceptScore W2145480060C157273737 @default.
• W2145480060 hasConceptScore W2145480060C201995342 @default.
• W2145480060 hasConceptScore W2145480060C2776214188 @default.
• W2145480060 hasConceptScore W2145480060C2778308757 @default.
• W2145480060 hasConceptScore W2145480060C2780451532 @default.
• W2145480060 hasConceptScore W2145480060C41008148 @default.
• W2145480060 hasConceptScore W2145480060C58581272 @default.
• W2145480060 hasConceptScore W2145480060C80444323 @default.
• W2145480060 hasConceptScore W2145480060C90509273 @default.
• W2145480060 hasLocation W21454800601 @default.
• W2145480060 hasOpenAccess W2145480060 @default.
• W2145480060 hasPrimaryLocation W21454800601 @default.
• W2145480060 hasRelatedWork W108981635 @default.

• next