FRINK Linked Data Fragments server

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

• W2098622500 endingPage "233" @default.
• W2098622500 startingPage "229" @default.
• W2098622500 abstract "The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver such as consistency check, constraint inference, as well as the search for instantiations. However, off-the-shelf constraint solvers need to be extended in order to be be integrated appropriately: In particular, for correctness, the context of constraints and Eigenvariable-conditions have to be taken into account. Moreover, symbolic and numeric constraint inference are combined. This paper discusses the extensions to constraint solving for proof planning, namely the combination of symbolic and numeric inference, first-class constraints, and context trees. We also describe the implementation of these extensions in the constraint solver CoSIℇ." @default.
• W2098622500 created "2016-06-24" @default.
• W2098622500 creator A5026218173 @default.
• W2098622500 creator A5077475001 @default.
• W2098622500 creator A5081181060 @default.
• W2098622500 date "2000-08-20" @default.
• W2098622500 modified "2023-09-26" @default.
• W2098622500 title "Extensions of constraint solving for proof planning" @default.
• W2098622500 cites W127345038 @default.
• W2098622500 cites W1480066506 @default.
• W2098622500 cites W1491353074 @default.
• W2098622500 cites W1508864129 @default.
• W2098622500 cites W1531813767 @default.
• W2098622500 cites W153230822 @default.
• W2098622500 cites W1565847800 @default.
• W2098622500 cites W1612963278 @default.
• W2098622500 cites W1794643995 @default.
• W2098622500 cites W1972550579 @default.
• W2098622500 cites W2009660429 @default.
• W2098622500 cites W2039977878 @default.
• W2098622500 cites W2042236049 @default.
• W2098622500 cites W2047669821 @default.
• W2098622500 cites W2135432705 @default.
• W2098622500 cites W2337392266 @default.
• W2098622500 cites W65041068 @default.
• W2098622500 cites W1591023137 @default.
• W2098622500 cites W2467711735 @default.
• W2098622500 hasPublicationYear "2000" @default.
• W2098622500 type Work @default.
• W2098622500 sameAs 2098622500 @default.
• W2098622500 citedByCount "4" @default.
• W2098622500 crossrefType "proceedings-article" @default.
• W2098622500 hasAuthorship W2098622500A5026218173 @default.
• W2098622500 hasAuthorship W2098622500A5077475001 @default.
• W2098622500 hasAuthorship W2098622500A5081181060 @default.
• W2098622500 hasConcept C126255220 @default.
• W2098622500 hasConcept C137105694 @default.
• W2098622500 hasConcept C137631369 @default.
• W2098622500 hasConcept C151730666 @default.
• W2098622500 hasConcept C154945302 @default.
• W2098622500 hasConcept C173404611 @default.
• W2098622500 hasConcept C176783269 @default.
• W2098622500 hasConcept C178481205 @default.
• W2098622500 hasConcept C199360897 @default.
• W2098622500 hasConcept C199622910 @default.
• W2098622500 hasConcept C2524010 @default.
• W2098622500 hasConcept C2776036281 @default.
• W2098622500 hasConcept C2776214188 @default.
• W2098622500 hasConcept C2776436953 @default.
• W2098622500 hasConcept C2778770139 @default.
• W2098622500 hasConcept C2779343474 @default.
• W2098622500 hasConcept C33923547 @default.
• W2098622500 hasConcept C41008148 @default.
• W2098622500 hasConcept C44616089 @default.
• W2098622500 hasConcept C49937458 @default.
• W2098622500 hasConcept C55439883 @default.
• W2098622500 hasConcept C79475747 @default.
• W2098622500 hasConcept C80444323 @default.
• W2098622500 hasConcept C86803240 @default.
• W2098622500 hasConceptScore W2098622500C126255220 @default.
• W2098622500 hasConceptScore W2098622500C137105694 @default.
• W2098622500 hasConceptScore W2098622500C137631369 @default.
• W2098622500 hasConceptScore W2098622500C151730666 @default.
• W2098622500 hasConceptScore W2098622500C154945302 @default.
• W2098622500 hasConceptScore W2098622500C173404611 @default.
• W2098622500 hasConceptScore W2098622500C176783269 @default.
• W2098622500 hasConceptScore W2098622500C178481205 @default.
• W2098622500 hasConceptScore W2098622500C199360897 @default.
• W2098622500 hasConceptScore W2098622500C199622910 @default.
• W2098622500 hasConceptScore W2098622500C2524010 @default.
• W2098622500 hasConceptScore W2098622500C2776036281 @default.
• W2098622500 hasConceptScore W2098622500C2776214188 @default.
• W2098622500 hasConceptScore W2098622500C2776436953 @default.
• W2098622500 hasConceptScore W2098622500C2778770139 @default.
• W2098622500 hasConceptScore W2098622500C2779343474 @default.
• W2098622500 hasConceptScore W2098622500C33923547 @default.
• W2098622500 hasConceptScore W2098622500C41008148 @default.
• W2098622500 hasConceptScore W2098622500C44616089 @default.
• W2098622500 hasConceptScore W2098622500C49937458 @default.
• W2098622500 hasConceptScore W2098622500C55439883 @default.
• W2098622500 hasConceptScore W2098622500C79475747 @default.
• W2098622500 hasConceptScore W2098622500C80444323 @default.
• W2098622500 hasConceptScore W2098622500C86803240 @default.
• W2098622500 hasLocation W20986225001 @default.
• W2098622500 hasOpenAccess W2098622500 @default.
• W2098622500 hasPrimaryLocation W20986225001 @default.
• W2098622500 hasRelatedWork W118485681 @default.
• W2098622500 hasRelatedWork W1486916474 @default.
• W2098622500 hasRelatedWork W1505402803 @default.
• W2098622500 hasRelatedWork W1516905216 @default.
• W2098622500 hasRelatedWork W1536755315 @default.
• W2098622500 hasRelatedWork W1564783277 @default.
• W2098622500 hasRelatedWork W1590910789 @default.
• W2098622500 hasRelatedWork W1602856035 @default.
• W2098622500 hasRelatedWork W1603221820 @default.
• W2098622500 hasRelatedWork W1606290396 @default.
• W2098622500 hasRelatedWork W1612963278 @default.
• W2098622500 hasRelatedWork W2022621945 @default.

• next