Matches in SemOpenAlex for { <https://semopenalex.org/work/W2468368071> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2468368071 abstract "One of the long-standing problems on logic programming is to express exception handling in a high-level way. We argue that this problem can be solved by adopting computability logic and sequential-choice disjunctive goal formulas of the form $G_0 bigtriangledown G_1$ where $G_0, G_1$ are goals. These goals have the following intended semantics: sequentially $choose$ the first true goal $G_i$ and execute $G_i$ where $i (= 0 {rm or} 1)$. These goals thus allow us to specify a task $G_0$ with the failure-handling (exception handling) routine $G_1$." @default.
- W2468368071 created "2016-07-22" @default.
- W2468368071 creator A5007182198 @default.
- W2468368071 date "2016-07-03" @default.
- W2468368071 modified "2023-09-27" @default.
- W2468368071 title "Exception Handling in Logic Programming." @default.
- W2468368071 cites W1964882086 @default.
- W2468368071 cites W2015274054 @default.
- W2468368071 cites W2052436826 @default.
- W2468368071 cites W2093111544 @default.
- W2468368071 cites W2106458801 @default.
- W2468368071 cites W2153652776 @default.
- W2468368071 hasPublicationYear "2016" @default.
- W2468368071 type Work @default.
- W2468368071 sameAs 2468368071 @default.
- W2468368071 citedByCount "0" @default.
- W2468368071 crossrefType "posted-content" @default.
- W2468368071 hasAuthorship W2468368071A5007182198 @default.
- W2468368071 hasConcept C127413603 @default.
- W2468368071 hasConcept C128838566 @default.
- W2468368071 hasConcept C145428669 @default.
- W2468368071 hasConcept C152062344 @default.
- W2468368071 hasConcept C184337299 @default.
- W2468368071 hasConcept C199360897 @default.
- W2468368071 hasConcept C201995342 @default.
- W2468368071 hasConcept C2780451532 @default.
- W2468368071 hasConcept C2987117450 @default.
- W2468368071 hasConcept C33923547 @default.
- W2468368071 hasConcept C41008148 @default.
- W2468368071 hasConcept C80444323 @default.
- W2468368071 hasConcept C81721847 @default.
- W2468368071 hasConcept C94375191 @default.
- W2468368071 hasConceptScore W2468368071C127413603 @default.
- W2468368071 hasConceptScore W2468368071C128838566 @default.
- W2468368071 hasConceptScore W2468368071C145428669 @default.
- W2468368071 hasConceptScore W2468368071C152062344 @default.
- W2468368071 hasConceptScore W2468368071C184337299 @default.
- W2468368071 hasConceptScore W2468368071C199360897 @default.
- W2468368071 hasConceptScore W2468368071C201995342 @default.
- W2468368071 hasConceptScore W2468368071C2780451532 @default.
- W2468368071 hasConceptScore W2468368071C2987117450 @default.
- W2468368071 hasConceptScore W2468368071C33923547 @default.
- W2468368071 hasConceptScore W2468368071C41008148 @default.
- W2468368071 hasConceptScore W2468368071C80444323 @default.
- W2468368071 hasConceptScore W2468368071C81721847 @default.
- W2468368071 hasConceptScore W2468368071C94375191 @default.
- W2468368071 hasLocation W24683680711 @default.
- W2468368071 hasOpenAccess W2468368071 @default.
- W2468368071 hasPrimaryLocation W24683680711 @default.
- W2468368071 hasRelatedWork W1503552388 @default.
- W2468368071 hasRelatedWork W1534348627 @default.
- W2468368071 hasRelatedWork W1550435668 @default.
- W2468368071 hasRelatedWork W1594075998 @default.
- W2468368071 hasRelatedWork W1714514560 @default.
- W2468368071 hasRelatedWork W1970558816 @default.
- W2468368071 hasRelatedWork W1972712449 @default.
- W2468368071 hasRelatedWork W2004200215 @default.
- W2468368071 hasRelatedWork W2021519440 @default.
- W2468368071 hasRelatedWork W2036315030 @default.
- W2468368071 hasRelatedWork W2037008576 @default.
- W2468368071 hasRelatedWork W2039139011 @default.
- W2468368071 hasRelatedWork W2061456508 @default.
- W2468368071 hasRelatedWork W2221309524 @default.
- W2468368071 hasRelatedWork W2535930729 @default.
- W2468368071 hasRelatedWork W2621223372 @default.
- W2468368071 hasRelatedWork W2754878989 @default.
- W2468368071 hasRelatedWork W3103318063 @default.
- W2468368071 hasRelatedWork W77191609 @default.
- W2468368071 hasRelatedWork W979826707 @default.
- W2468368071 isParatext "false" @default.
- W2468368071 isRetracted "false" @default.
- W2468368071 magId "2468368071" @default.
- W2468368071 workType "article" @default.