Matches in SemOpenAlex for { <https://semopenalex.org/work/W1628777965> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1628777965 abstract "The saturation-based reasoning methods are among the most theoretically developed ones and are used by most of the state-of-the-art first-order logic reasoners. In the last decade there was a sharp increase in performance of such systems, which I attribute to the use of advanced calculi and the intensified research in implementation techniques. However, nowadays we are witnessing a slowdown in performance progress, which may be considered as a sign that the saturation-based technology is reaching its inherent limits. The position I am trying to put forward in this paper is that such scepticism is premature and a sharp improvement in performance may potentially be reached by adopting new architectural principles for saturation. The top-level algorithms and corresponding designs used in the state-of-the-art saturation-based theorem provers have (at least) two inherent drawbacks: the insufficient flexibility of the used inference selection mechanisms and the lack of means for intelligent prioritising of search directions. In this position paper I analyse these drawbacks and present two ideas on how they could be overcome. In particular, I propose a flexible low-cost high-precision mechanism for inference selection, intended to overcome problems associated with the currently used instances of clause selection-based procedures. I also outline a method for intelligent prioritising of search directions, based on probing the search space by exploring generalised search directions. I discuss some technical issues related to implementation of the proposed architectural principles and outline possible solutions." @default.
- W1628777965 created "2016-06-24" @default.
- W1628777965 creator A5014954456 @default.
- W1628777965 date "2008-02-15" @default.
- W1628777965 modified "2023-09-27" @default.
- W1628777965 title "New Implementation Framework for Saturation-Based Reasoning" @default.
- W1628777965 cites W123168770 @default.
- W1628777965 cites W1491353074 @default.
- W1628777965 cites W1495433690 @default.
- W1628777965 cites W1507112684 @default.
- W1628777965 cites W1510333080 @default.
- W1628777965 cites W1510723842 @default.
- W1628777965 cites W1513576223 @default.
- W1628777965 cites W1521419290 @default.
- W1628777965 cites W1527306917 @default.
- W1628777965 cites W1529963680 @default.
- W1628777965 cites W1538688579 @default.
- W1628777965 cites W1561855821 @default.
- W1628777965 cites W1582207541 @default.
- W1628777965 cites W1642570649 @default.
- W1628777965 cites W1780472831 @default.
- W1628777965 cites W1807555267 @default.
- W1628777965 cites W1841089713 @default.
- W1628777965 cites W184671686 @default.
- W1628777965 cites W1859039449 @default.
- W1628777965 cites W1916724661 @default.
- W1628777965 cites W1998720940 @default.
- W1628777965 cites W2025339139 @default.
- W1628777965 cites W2063042358 @default.
- W1628777965 cites W2079786086 @default.
- W1628777965 cites W2107658650 @default.
- W1628777965 cites W2107995193 @default.
- W1628777965 cites W2126869384 @default.
- W1628777965 cites W2912330988 @default.
- W1628777965 cites W3023540311 @default.
- W1628777965 hasPublicationYear "2008" @default.
- W1628777965 type Work @default.
- W1628777965 sameAs 1628777965 @default.
- W1628777965 citedByCount "0" @default.
- W1628777965 crossrefType "posted-content" @default.
- W1628777965 hasAuthorship W1628777965A5014954456 @default.
- W1628777965 hasConcept C10138342 @default.
- W1628777965 hasConcept C105795698 @default.
- W1628777965 hasConcept C154945302 @default.
- W1628777965 hasConcept C162324750 @default.
- W1628777965 hasConcept C198082294 @default.
- W1628777965 hasConcept C2776214188 @default.
- W1628777965 hasConcept C2780598303 @default.
- W1628777965 hasConcept C33923547 @default.
- W1628777965 hasConcept C41008148 @default.
- W1628777965 hasConcept C81917197 @default.
- W1628777965 hasConceptScore W1628777965C10138342 @default.
- W1628777965 hasConceptScore W1628777965C105795698 @default.
- W1628777965 hasConceptScore W1628777965C154945302 @default.
- W1628777965 hasConceptScore W1628777965C162324750 @default.
- W1628777965 hasConceptScore W1628777965C198082294 @default.
- W1628777965 hasConceptScore W1628777965C2776214188 @default.
- W1628777965 hasConceptScore W1628777965C2780598303 @default.
- W1628777965 hasConceptScore W1628777965C33923547 @default.
- W1628777965 hasConceptScore W1628777965C41008148 @default.
- W1628777965 hasConceptScore W1628777965C81917197 @default.
- W1628777965 hasLocation W16287779651 @default.
- W1628777965 hasOpenAccess W1628777965 @default.
- W1628777965 hasPrimaryLocation W16287779651 @default.
- W1628777965 hasRelatedWork W103492007 @default.
- W1628777965 hasRelatedWork W1483540919 @default.
- W1628777965 hasRelatedWork W1516926506 @default.
- W1628777965 hasRelatedWork W1542278897 @default.
- W1628777965 hasRelatedWork W1586901438 @default.
- W1628777965 hasRelatedWork W2023693590 @default.
- W1628777965 hasRelatedWork W2037109212 @default.
- W1628777965 hasRelatedWork W2059310502 @default.
- W1628777965 hasRelatedWork W2143374246 @default.
- W1628777965 hasRelatedWork W2178584730 @default.
- W1628777965 hasRelatedWork W2200756088 @default.
- W1628777965 hasRelatedWork W2493150344 @default.
- W1628777965 hasRelatedWork W266245875 @default.
- W1628777965 hasRelatedWork W277405949 @default.
- W1628777965 hasRelatedWork W29246692 @default.
- W1628777965 hasRelatedWork W3106681712 @default.
- W1628777965 hasRelatedWork W316813971 @default.
- W1628777965 hasRelatedWork W40852939 @default.
- W1628777965 hasRelatedWork W575344949 @default.
- W1628777965 hasRelatedWork W267960450 @default.
- W1628777965 isParatext "false" @default.
- W1628777965 isRetracted "false" @default.
- W1628777965 magId "1628777965" @default.
- W1628777965 workType "article" @default.