Matches in SemOpenAlex for { <https://semopenalex.org/work/W1511862481> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1511862481 abstract "We present a proof theoretic approach to the problem of negation in logic programming. We introduce a quantifier-free sequent calculus which is sound for Negation as Failure. Some extensions of the calculus have 3-valued or intuitionistic interpretations." @default.
- W1511862481 created "2016-06-24" @default.
- W1511862481 creator A5043480289 @default.
- W1511862481 date "1990-01-01" @default.
- W1511862481 modified "2023-09-24" @default.
- W1511862481 title "A quantifier-free completion of logic programs" @default.
- W1511862481 cites W1987764156 @default.
- W1511862481 cites W2006673623 @default.
- W1511862481 cites W2010104109 @default.
- W1511862481 cites W4206370914 @default.
- W1511862481 cites W649438156 @default.
- W1511862481 doi "https://doi.org/10.1007/3-540-52753-2_53" @default.
- W1511862481 hasPublicationYear "1990" @default.
- W1511862481 type Work @default.
- W1511862481 sameAs 1511862481 @default.
- W1511862481 citedByCount "1" @default.
- W1511862481 crossrefType "book-chapter" @default.
- W1511862481 hasAuthorship W1511862481A5043480289 @default.
- W1511862481 hasConcept C102993220 @default.
- W1511862481 hasConcept C108710211 @default.
- W1511862481 hasConcept C111404639 @default.
- W1511862481 hasConcept C11413529 @default.
- W1511862481 hasConcept C127001435 @default.
- W1511862481 hasConcept C128838566 @default.
- W1511862481 hasConcept C136119220 @default.
- W1511862481 hasConcept C154945302 @default.
- W1511862481 hasConcept C194146651 @default.
- W1511862481 hasConcept C199343813 @default.
- W1511862481 hasConcept C199360897 @default.
- W1511862481 hasConcept C202444582 @default.
- W1511862481 hasConcept C203659156 @default.
- W1511862481 hasConcept C2185349 @default.
- W1511862481 hasConcept C2318724 @default.
- W1511862481 hasConcept C2524010 @default.
- W1511862481 hasConcept C2777686260 @default.
- W1511862481 hasConcept C2778523021 @default.
- W1511862481 hasConcept C2987117450 @default.
- W1511862481 hasConcept C32278780 @default.
- W1511862481 hasConcept C33923547 @default.
- W1511862481 hasConcept C41008148 @default.
- W1511862481 hasConcept C62073222 @default.
- W1511862481 hasConcept C6489637 @default.
- W1511862481 hasConcept C65880906 @default.
- W1511862481 hasConcept C71924100 @default.
- W1511862481 hasConcept C89421646 @default.
- W1511862481 hasConceptScore W1511862481C102993220 @default.
- W1511862481 hasConceptScore W1511862481C108710211 @default.
- W1511862481 hasConceptScore W1511862481C111404639 @default.
- W1511862481 hasConceptScore W1511862481C11413529 @default.
- W1511862481 hasConceptScore W1511862481C127001435 @default.
- W1511862481 hasConceptScore W1511862481C128838566 @default.
- W1511862481 hasConceptScore W1511862481C136119220 @default.
- W1511862481 hasConceptScore W1511862481C154945302 @default.
- W1511862481 hasConceptScore W1511862481C194146651 @default.
- W1511862481 hasConceptScore W1511862481C199343813 @default.
- W1511862481 hasConceptScore W1511862481C199360897 @default.
- W1511862481 hasConceptScore W1511862481C202444582 @default.
- W1511862481 hasConceptScore W1511862481C203659156 @default.
- W1511862481 hasConceptScore W1511862481C2185349 @default.
- W1511862481 hasConceptScore W1511862481C2318724 @default.
- W1511862481 hasConceptScore W1511862481C2524010 @default.
- W1511862481 hasConceptScore W1511862481C2777686260 @default.
- W1511862481 hasConceptScore W1511862481C2778523021 @default.
- W1511862481 hasConceptScore W1511862481C2987117450 @default.
- W1511862481 hasConceptScore W1511862481C32278780 @default.
- W1511862481 hasConceptScore W1511862481C33923547 @default.
- W1511862481 hasConceptScore W1511862481C41008148 @default.
- W1511862481 hasConceptScore W1511862481C62073222 @default.
- W1511862481 hasConceptScore W1511862481C6489637 @default.
- W1511862481 hasConceptScore W1511862481C65880906 @default.
- W1511862481 hasConceptScore W1511862481C71924100 @default.
- W1511862481 hasConceptScore W1511862481C89421646 @default.
- W1511862481 hasLocation W15118624811 @default.
- W1511862481 hasOpenAccess W1511862481 @default.
- W1511862481 hasPrimaryLocation W15118624811 @default.
- W1511862481 hasRelatedWork W1528927668 @default.
- W1511862481 hasRelatedWork W1563057666 @default.
- W1511862481 hasRelatedWork W1590795174 @default.
- W1511862481 hasRelatedWork W1807903125 @default.
- W1511862481 hasRelatedWork W1810306334 @default.
- W1511862481 hasRelatedWork W1835518415 @default.
- W1511862481 hasRelatedWork W1847803379 @default.
- W1511862481 hasRelatedWork W1854821975 @default.
- W1511862481 hasRelatedWork W2055279698 @default.
- W1511862481 hasRelatedWork W2055558461 @default.
- W1511862481 hasRelatedWork W2056025285 @default.
- W1511862481 hasRelatedWork W2122866233 @default.
- W1511862481 hasRelatedWork W2140189867 @default.
- W1511862481 hasRelatedWork W2147768374 @default.
- W1511862481 hasRelatedWork W2151669156 @default.
- W1511862481 hasRelatedWork W2158542561 @default.
- W1511862481 hasRelatedWork W26812405 @default.
- W1511862481 hasRelatedWork W2951101271 @default.
- W1511862481 hasRelatedWork W2963852730 @default.
- W1511862481 hasRelatedWork W162254089 @default.
- W1511862481 isParatext "false" @default.
- W1511862481 isRetracted "false" @default.
- W1511862481 magId "1511862481" @default.
- W1511862481 workType "book-chapter" @default.