FRINK Linked Data Fragments server

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

• W2120607043 endingPage "243" @default.
• W2120607043 startingPage "200" @default.
• W2120607043 abstract "The $-calculus is the extension of the π -calculus, built around the central notion of cost and allowing infinity in its operators. We propose the $-calculus as a more complete model for problem solving to provide a support to handle intractability and undecidability. It goes beyond the Turing Machine model. We define the semantics of the $-calculus using a novel optimization method (the k Ω -optimization), which approximates a nonexisting universal search algorithm and allows the simulation of many other search methods. In particular, the notion of total optimality has been utilized to provide an automatic way to deal with intractability of problem solving by optimizing together the quality of solutions and search costs. The sufficient conditions needed for completeness, optimality and total optimality of problem solving search are defined. A very flexible classification scheme of problem solving methods into easy, hard and solvable in the limit classes has been proposed. In particular, the third class deals with non-recursive solutions of undecidable problems. The approach is illustrated by solutions of some intractable and undecidable problems. We also briefly overview two possible implementations of the $-calculus." @default.
• W2120607043 created "2016-06-24" @default.
• W2120607043 creator A5000449082 @default.
• W2120607043 date "2007-09-01" @default.
• W2120607043 modified "2023-09-24" @default.
• W2120607043 title "The $-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems" @default.
• W2120607043 cites W1503960328 @default.
• W2120607043 cites W1969483458 @default.
• W2120607043 cites W1976503857 @default.
• W2120607043 cites W2004565795 @default.
• W2120607043 cites W2048362629 @default.
• W2120607043 cites W2093236316 @default.
• W2120607043 cites W2095832552 @default.
• W2120607043 cites W2103683274 @default.
• W2120607043 cites W2113997779 @default.
• W2120607043 cites W2116976042 @default.
• W2120607043 cites W2128932399 @default.
• W2120607043 cites W2140035418 @default.
• W2120607043 cites W2141955344 @default.
• W2120607043 cites W2144310744 @default.
• W2120607043 cites W2151554678 @default.
• W2120607043 cites W2155916019 @default.
• W2120607043 cites W2156622046 @default.
• W2120607043 cites W2323777246 @default.
• W2120607043 cites W4241698733 @default.
• W2120607043 cites W4291166496 @default.
• W2120607043 doi "https://doi.org/10.1016/j.tcs.2007.04.012" @default.
• W2120607043 hasPublicationYear "2007" @default.
• W2120607043 type Work @default.
• W2120607043 sameAs 2120607043 @default.
• W2120607043 citedByCount "18" @default.
• W2120607043 countsByYear W21206070432012 @default.
• W2120607043 countsByYear W21206070432014 @default.
• W2120607043 countsByYear W21206070432015 @default.
• W2120607043 countsByYear W21206070432017 @default.
• W2120607043 countsByYear W21206070432018 @default.
• W2120607043 countsByYear W21206070432019 @default.
• W2120607043 countsByYear W21206070432020 @default.
• W2120607043 countsByYear W21206070432021 @default.
• W2120607043 countsByYear W21206070432022 @default.
• W2120607043 countsByYear W21206070432023 @default.
• W2120607043 crossrefType "journal-article" @default.
• W2120607043 hasAuthorship W2120607043A5000449082 @default.
• W2120607043 hasConcept C11413529 @default.
• W2120607043 hasConcept C118615104 @default.
• W2120607043 hasConcept C126255220 @default.
• W2120607043 hasConcept C134306372 @default.
• W2120607043 hasConcept C153269930 @default.
• W2120607043 hasConcept C154945302 @default.
• W2120607043 hasConcept C161771561 @default.
• W2120607043 hasConcept C17231256 @default.
• W2120607043 hasConcept C192034797 @default.
• W2120607043 hasConcept C199343813 @default.
• W2120607043 hasConcept C199360897 @default.
• W2120607043 hasConcept C22497172 @default.
• W2120607043 hasConcept C2777212361 @default.
• W2120607043 hasConcept C2777686260 @default.
• W2120607043 hasConcept C2778029271 @default.
• W2120607043 hasConcept C2780069185 @default.
• W2120607043 hasConcept C29248071 @default.
• W2120607043 hasConcept C33923547 @default.
• W2120607043 hasConcept C41008148 @default.
• W2120607043 hasConcept C45374587 @default.
• W2120607043 hasConcept C71924100 @default.
• W2120607043 hasConcept C80444323 @default.
• W2120607043 hasConceptScore W2120607043C11413529 @default.
• W2120607043 hasConceptScore W2120607043C118615104 @default.
• W2120607043 hasConceptScore W2120607043C126255220 @default.
• W2120607043 hasConceptScore W2120607043C134306372 @default.
• W2120607043 hasConceptScore W2120607043C153269930 @default.
• W2120607043 hasConceptScore W2120607043C154945302 @default.
• W2120607043 hasConceptScore W2120607043C161771561 @default.
• W2120607043 hasConceptScore W2120607043C17231256 @default.
• W2120607043 hasConceptScore W2120607043C192034797 @default.
• W2120607043 hasConceptScore W2120607043C199343813 @default.
• W2120607043 hasConceptScore W2120607043C199360897 @default.
• W2120607043 hasConceptScore W2120607043C22497172 @default.
• W2120607043 hasConceptScore W2120607043C2777212361 @default.
• W2120607043 hasConceptScore W2120607043C2777686260 @default.
• W2120607043 hasConceptScore W2120607043C2778029271 @default.
• W2120607043 hasConceptScore W2120607043C2780069185 @default.
• W2120607043 hasConceptScore W2120607043C29248071 @default.
• W2120607043 hasConceptScore W2120607043C33923547 @default.
• W2120607043 hasConceptScore W2120607043C41008148 @default.
• W2120607043 hasConceptScore W2120607043C45374587 @default.
• W2120607043 hasConceptScore W2120607043C71924100 @default.
• W2120607043 hasConceptScore W2120607043C80444323 @default.
• W2120607043 hasIssue "2-3" @default.
• W2120607043 hasLocation W21206070431 @default.
• W2120607043 hasOpenAccess W2120607043 @default.
• W2120607043 hasPrimaryLocation W21206070431 @default.
• W2120607043 hasRelatedWork W131177182 @default.
• W2120607043 hasRelatedWork W1538905248 @default.
• W2120607043 hasRelatedWork W1565338810 @default.
• W2120607043 hasRelatedWork W1985873105 @default.
• W2120607043 hasRelatedWork W2069997585 @default.
• W2120607043 hasRelatedWork W2120607043 @default.
• W2120607043 hasRelatedWork W2153273838 @default.

• next