Matches in SemOpenAlex for { <https://semopenalex.org/work/W1579055686> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1579055686 abstract "Dale Miller describes a logic programming language as an abstract logic programming language plus a quantifier elimination method. We present a new abstract logic programming language for disjunctive logic programming, extension of the SLD system: the SLOU system and a new quantifier elimination method for disjunctive logic programming, result of the combination of Robinson resolution and case-analysis: the OU-resolution method." @default.
- W1579055686 created "2016-06-24" @default.
- W1579055686 creator A5058760922 @default.
- W1579055686 date "1998-01-01" @default.
- W1579055686 modified "2023-09-23" @default.
- W1579055686 title "A new abstract logic programming language and its quantifier elimination method for disjunctive logic programming" @default.
- W1579055686 cites W1505787149 @default.
- W1579055686 cites W1586338668 @default.
- W1579055686 cites W1816816118 @default.
- W1579055686 cites W1995908030 @default.
- W1579055686 cites W2042551813 @default.
- W1579055686 cites W2054628190 @default.
- W1579055686 cites W207962917 @default.
- W1579055686 cites W2090798572 @default.
- W1579055686 cites W2091615084 @default.
- W1579055686 cites W2093111544 @default.
- W1579055686 cites W2100738443 @default.
- W1579055686 cites W2108911687 @default.
- W1579055686 cites W2156950788 @default.
- W1579055686 cites W2612793397 @default.
- W1579055686 cites W3021872309 @default.
- W1579055686 cites W411536136 @default.
- W1579055686 cites W81066175 @default.
- W1579055686 cites W2121583255 @default.
- W1579055686 doi "https://doi.org/10.1007/bfb0057462" @default.
- W1579055686 hasPublicationYear "1998" @default.
- W1579055686 type Work @default.
- W1579055686 sameAs 1579055686 @default.
- W1579055686 citedByCount "0" @default.
- W1579055686 crossrefType "book-chapter" @default.
- W1579055686 hasAuthorship W1579055686A5058760922 @default.
- W1579055686 hasConcept C11413529 @default.
- W1579055686 hasConcept C128838566 @default.
- W1579055686 hasConcept C138268822 @default.
- W1579055686 hasConcept C189790780 @default.
- W1579055686 hasConcept C199305712 @default.
- W1579055686 hasConcept C199360897 @default.
- W1579055686 hasConcept C32278780 @default.
- W1579055686 hasConcept C34165917 @default.
- W1579055686 hasConcept C41008148 @default.
- W1579055686 hasConcept C50033165 @default.
- W1579055686 hasConcept C81721847 @default.
- W1579055686 hasConcept C96315309 @default.
- W1579055686 hasConceptScore W1579055686C11413529 @default.
- W1579055686 hasConceptScore W1579055686C128838566 @default.
- W1579055686 hasConceptScore W1579055686C138268822 @default.
- W1579055686 hasConceptScore W1579055686C189790780 @default.
- W1579055686 hasConceptScore W1579055686C199305712 @default.
- W1579055686 hasConceptScore W1579055686C199360897 @default.
- W1579055686 hasConceptScore W1579055686C32278780 @default.
- W1579055686 hasConceptScore W1579055686C34165917 @default.
- W1579055686 hasConceptScore W1579055686C41008148 @default.
- W1579055686 hasConceptScore W1579055686C50033165 @default.
- W1579055686 hasConceptScore W1579055686C81721847 @default.
- W1579055686 hasConceptScore W1579055686C96315309 @default.
- W1579055686 hasLocation W15790556861 @default.
- W1579055686 hasOpenAccess W1579055686 @default.
- W1579055686 hasPrimaryLocation W15790556861 @default.
- W1579055686 hasRelatedWork W130203622 @default.
- W1579055686 hasRelatedWork W1488887276 @default.
- W1579055686 hasRelatedWork W1505955281 @default.
- W1579055686 hasRelatedWork W1508237628 @default.
- W1579055686 hasRelatedWork W1512767 @default.
- W1579055686 hasRelatedWork W1529790367 @default.
- W1579055686 hasRelatedWork W1556072255 @default.
- W1579055686 hasRelatedWork W1579536519 @default.
- W1579055686 hasRelatedWork W1597806819 @default.
- W1579055686 hasRelatedWork W1608088675 @default.
- W1579055686 hasRelatedWork W1962497992 @default.
- W1579055686 hasRelatedWork W1969965298 @default.
- W1579055686 hasRelatedWork W2060632369 @default.
- W1579055686 hasRelatedWork W2581682598 @default.
- W1579055686 hasRelatedWork W2788403648 @default.
- W1579055686 hasRelatedWork W41489173 @default.
- W1579055686 hasRelatedWork W574022443 @default.
- W1579055686 hasRelatedWork W77859606 @default.
- W1579055686 hasRelatedWork W97526693 @default.
- W1579055686 hasRelatedWork W196701684 @default.
- W1579055686 isParatext "false" @default.
- W1579055686 isRetracted "false" @default.
- W1579055686 magId "1579055686" @default.
- W1579055686 workType "book-chapter" @default.