Matches in SemOpenAlex for { <https://semopenalex.org/work/W2399487384> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2399487384 abstract "Adding interaction to logic programming is an essential task. Expressive logics such as linear logic provide a theoretical basis for such a mechanism. Unfortunately, none of the existing linear logic languages can model interactions with the user. This is because they uses provability as the sole basis for computation. We propose to use the game semantics instead of provability as the basis for computation to allow for more active participation from the user. We illustrate our idea via muprolog, an extension of Prolog with choice-disjunctive clauses." @default.
- W2399487384 created "2016-06-24" @default.
- W2399487384 creator A5007182198 @default.
- W2399487384 date "2013-07-29" @default.
- W2399487384 modified "2023-09-27" @default.
- W2399487384 title "Interactive Logic Programming via Choice-Disjunctive Clauses." @default.
- W2399487384 cites W1964882086 @default.
- W2399487384 cites W2015274054 @default.
- W2399487384 cites W2052436826 @default.
- W2399487384 cites W2093111544 @default.
- W2399487384 cites W2106458801 @default.
- W2399487384 hasPublicationYear "2013" @default.
- W2399487384 type Work @default.
- W2399487384 sameAs 2399487384 @default.
- W2399487384 citedByCount "0" @default.
- W2399487384 crossrefType "posted-content" @default.
- W2399487384 hasAuthorship W2399487384A5007182198 @default.
- W2399487384 hasConcept C12426560 @default.
- W2399487384 hasConcept C125950753 @default.
- W2399487384 hasConcept C127001435 @default.
- W2399487384 hasConcept C128838566 @default.
- W2399487384 hasConcept C156325763 @default.
- W2399487384 hasConcept C184337299 @default.
- W2399487384 hasConcept C186644900 @default.
- W2399487384 hasConcept C189790780 @default.
- W2399487384 hasConcept C199360897 @default.
- W2399487384 hasConcept C207648694 @default.
- W2399487384 hasConcept C2524010 @default.
- W2399487384 hasConcept C2778029271 @default.
- W2399487384 hasConcept C28077239 @default.
- W2399487384 hasConcept C33923547 @default.
- W2399487384 hasConcept C41008148 @default.
- W2399487384 hasConcept C4777664 @default.
- W2399487384 hasConcept C80444323 @default.
- W2399487384 hasConcept C81721847 @default.
- W2399487384 hasConcept C9672783 @default.
- W2399487384 hasConcept C97169998 @default.
- W2399487384 hasConcept C97212296 @default.
- W2399487384 hasConceptScore W2399487384C12426560 @default.
- W2399487384 hasConceptScore W2399487384C125950753 @default.
- W2399487384 hasConceptScore W2399487384C127001435 @default.
- W2399487384 hasConceptScore W2399487384C128838566 @default.
- W2399487384 hasConceptScore W2399487384C156325763 @default.
- W2399487384 hasConceptScore W2399487384C184337299 @default.
- W2399487384 hasConceptScore W2399487384C186644900 @default.
- W2399487384 hasConceptScore W2399487384C189790780 @default.
- W2399487384 hasConceptScore W2399487384C199360897 @default.
- W2399487384 hasConceptScore W2399487384C207648694 @default.
- W2399487384 hasConceptScore W2399487384C2524010 @default.
- W2399487384 hasConceptScore W2399487384C2778029271 @default.
- W2399487384 hasConceptScore W2399487384C28077239 @default.
- W2399487384 hasConceptScore W2399487384C33923547 @default.
- W2399487384 hasConceptScore W2399487384C41008148 @default.
- W2399487384 hasConceptScore W2399487384C4777664 @default.
- W2399487384 hasConceptScore W2399487384C80444323 @default.
- W2399487384 hasConceptScore W2399487384C81721847 @default.
- W2399487384 hasConceptScore W2399487384C9672783 @default.
- W2399487384 hasConceptScore W2399487384C97169998 @default.
- W2399487384 hasConceptScore W2399487384C97212296 @default.
- W2399487384 hasLocation W23994873841 @default.
- W2399487384 hasOpenAccess W2399487384 @default.
- W2399487384 hasPrimaryLocation W23994873841 @default.
- W2399487384 hasRelatedWork W107040879 @default.
- W2399487384 hasRelatedWork W1493799155 @default.
- W2399487384 hasRelatedWork W1500392125 @default.
- W2399487384 hasRelatedWork W1502827829 @default.
- W2399487384 hasRelatedWork W1502855507 @default.
- W2399487384 hasRelatedWork W1553033886 @default.
- W2399487384 hasRelatedWork W1570730663 @default.
- W2399487384 hasRelatedWork W1578725873 @default.
- W2399487384 hasRelatedWork W1594369397 @default.
- W2399487384 hasRelatedWork W1639901403 @default.
- W2399487384 hasRelatedWork W1757790192 @default.
- W2399487384 hasRelatedWork W2010291760 @default.
- W2399487384 hasRelatedWork W2022951178 @default.
- W2399487384 hasRelatedWork W2199122555 @default.
- W2399487384 hasRelatedWork W2241042849 @default.
- W2399487384 hasRelatedWork W2540298533 @default.
- W2399487384 hasRelatedWork W294427244 @default.
- W2399487384 hasRelatedWork W2949956002 @default.
- W2399487384 hasRelatedWork W3104255688 @default.
- W2399487384 hasRelatedWork W348564150 @default.
- W2399487384 isParatext "false" @default.
- W2399487384 isRetracted "false" @default.
- W2399487384 magId "2399487384" @default.
- W2399487384 workType "article" @default.