FRINK Linked Data Fragments server

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

• W1489785129 endingPage "583" @default.
• W1489785129 startingPage "521" @default.
• W1489785129 abstract "Negation as failure is the version of negation commonly used in logic programming. It decrees that a (ground) goal A succeeds if A fails and fails if A succeeds. It is not sound with respect to the straightforward classical reading of a program. This paper surveys the ways in which different types of logic—classical two-valued, three-valued, intuitionistic, modal, autoepistemic, linear—have been used to provide declarative semantics for negation as failure." @default.
• W1489785129 created "2016-06-24" @default.
• W1489785129 creator A5061853263 @default.
• W1489785129 date "1992-01-01" @default.
• W1489785129 modified "2023-09-27" @default.
• W1489785129 title "Logics for Negation as Failure" @default.
• W1489785129 cites W1480674898 @default.
• W1489785129 cites W1494051470 @default.
• W1489785129 cites W1524811847 @default.
• W1489785129 cites W1526625950 @default.
• W1489785129 cites W1585256267 @default.
• W1489785129 cites W1766332311 @default.
• W1489785129 cites W1946987616 @default.
• W1489785129 cites W1966552757 @default.
• W1489785129 cites W1981549588 @default.
• W1489785129 cites W1985819576 @default.
• W1489785129 cites W1987764156 @default.
• W1489785129 cites W1993979893 @default.
• W1489785129 cites W1998162300 @default.
• W1489785129 cites W2003531456 @default.
• W1489785129 cites W2010104109 @default.
• W1489785129 cites W2014551756 @default.
• W1489785129 cites W2017637575 @default.
• W1489785129 cites W2029753048 @default.
• W1489785129 cites W2038232291 @default.
• W1489785129 cites W2041706386 @default.
• W1489785129 cites W2050559123 @default.
• W1489785129 cites W2051223322 @default.
• W1489785129 cites W2054246648 @default.
• W1489785129 cites W2056976608 @default.
• W1489785129 cites W2057124712 @default.
• W1489785129 cites W2058656940 @default.
• W1489785129 cites W2059933820 @default.
• W1489785129 cites W2061490938 @default.
• W1489785129 cites W2066989651 @default.
• W1489785129 cites W2069767473 @default.
• W1489785129 cites W2069972706 @default.
• W1489785129 cites W2083474880 @default.
• W1489785129 cites W2092054572 @default.
• W1489785129 cites W2105486835 @default.
• W1489785129 cites W2111353076 @default.
• W1489785129 cites W2134046100 @default.
• W1489785129 cites W2143382644 @default.
• W1489785129 cites W2321068082 @default.
• W1489785129 cites W3021487187 @default.
• W1489785129 cites W4206370914 @default.
• W1489785129 cites W4212824748 @default.
• W1489785129 cites W4247645305 @default.
• W1489785129 cites W4300668781 @default.
• W1489785129 cites W68868215 @default.
• W1489785129 doi "https://doi.org/10.1007/978-1-4612-2822-6_20" @default.
• W1489785129 hasPublicationYear "1992" @default.
• W1489785129 type Work @default.
• W1489785129 sameAs 1489785129 @default.
• W1489785129 citedByCount "7" @default.
• W1489785129 countsByYear W14897851292018 @default.
• W1489785129 crossrefType "book-chapter" @default.
• W1489785129 hasAuthorship W1489785129A5061853263 @default.
• W1489785129 hasConcept C102993220 @default.
• W1489785129 hasConcept C127001435 @default.
• W1489785129 hasConcept C128838566 @default.
• W1489785129 hasConcept C136119220 @default.
• W1489785129 hasConcept C156325763 @default.
• W1489785129 hasConcept C160131679 @default.
• W1489785129 hasConcept C184337299 @default.
• W1489785129 hasConcept C194146651 @default.
• W1489785129 hasConcept C199343813 @default.
• W1489785129 hasConcept C199360897 @default.
• W1489785129 hasConcept C202444582 @default.
• W1489785129 hasConcept C203659156 @default.
• W1489785129 hasConcept C2185349 @default.
• W1489785129 hasConcept C2777686260 @default.
• W1489785129 hasConcept C33923547 @default.
• W1489785129 hasConcept C3845977 @default.
• W1489785129 hasConcept C41008148 @default.
• W1489785129 hasConcept C71924100 @default.
• W1489785129 hasConceptScore W1489785129C102993220 @default.
• W1489785129 hasConceptScore W1489785129C127001435 @default.
• W1489785129 hasConceptScore W1489785129C128838566 @default.
• W1489785129 hasConceptScore W1489785129C136119220 @default.
• W1489785129 hasConceptScore W1489785129C156325763 @default.
• W1489785129 hasConceptScore W1489785129C160131679 @default.
• W1489785129 hasConceptScore W1489785129C184337299 @default.
• W1489785129 hasConceptScore W1489785129C194146651 @default.
• W1489785129 hasConceptScore W1489785129C199343813 @default.
• W1489785129 hasConceptScore W1489785129C199360897 @default.
• W1489785129 hasConceptScore W1489785129C202444582 @default.
• W1489785129 hasConceptScore W1489785129C203659156 @default.
• W1489785129 hasConceptScore W1489785129C2185349 @default.
• W1489785129 hasConceptScore W1489785129C2777686260 @default.
• W1489785129 hasConceptScore W1489785129C33923547 @default.
• W1489785129 hasConceptScore W1489785129C3845977 @default.
• W1489785129 hasConceptScore W1489785129C41008148 @default.
• W1489785129 hasConceptScore W1489785129C71924100 @default.
• W1489785129 hasLocation W14897851291 @default.
• W1489785129 hasOpenAccess W1489785129 @default.
• W1489785129 hasPrimaryLocation W14897851291 @default.
• W1489785129 hasRelatedWork W109550358 @default.

• next