Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045235537> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2045235537 endingPage "183" @default.
- W2045235537 startingPage "169" @default.
- W2045235537 abstract "Nonmonotonic reasoning has been developed to capture common sense inferences. This paper considers nonmonotonic reasoning in logic programs with negation, specifically its implementation using Prolog and its integration with Prolog execution. Even within logic programming frameworks, a variety of inferencing methods, model-theoretic semantics, and language features have been proposed for different forms of nonmonotonic reasoning. A challenging problem is to incorporate them into an integrated system. This paper describes an implementation of such a system in Prolog and different reasoning capabilities that are supported. By combining Prolog technology with various mechanisms of nonmonotonic reasoning, the resulting system offers a more realistic testbed for applications of common sense reasoning." @default.
- W2045235537 created "2016-06-24" @default.
- W2045235537 creator A5024584263 @default.
- W2045235537 date "1996-05-01" @default.
- W2045235537 modified "2023-09-27" @default.
- W2045235537 title "Extending Prolog with nonmonotonic reasoning" @default.
- W2045235537 cites W127451913 @default.
- W2045235537 cites W1519664685 @default.
- W2045235537 cites W1522225310 @default.
- W2045235537 cites W1541434994 @default.
- W2045235537 cites W1672891595 @default.
- W2045235537 cites W176609766 @default.
- W2045235537 cites W1958716211 @default.
- W2045235537 cites W1968513265 @default.
- W2045235537 cites W1969477971 @default.
- W2045235537 cites W1981961379 @default.
- W2045235537 cites W1986999264 @default.
- W2045235537 cites W1987005090 @default.
- W2045235537 cites W1995303925 @default.
- W2045235537 cites W2019968021 @default.
- W2045235537 cites W2024430355 @default.
- W2045235537 cites W2026433347 @default.
- W2045235537 cites W2070598037 @default.
- W2045235537 cites W2076698873 @default.
- W2045235537 cites W2132745831 @default.
- W2045235537 cites W2149225517 @default.
- W2045235537 cites W2611415697 @default.
- W2045235537 cites W65775306 @default.
- W2045235537 cites W81377374 @default.
- W2045235537 doi "https://doi.org/10.1016/0743-1066(95)00151-4" @default.
- W2045235537 hasPublicationYear "1996" @default.
- W2045235537 type Work @default.
- W2045235537 sameAs 2045235537 @default.
- W2045235537 citedByCount "5" @default.
- W2045235537 crossrefType "journal-article" @default.
- W2045235537 hasAuthorship W2045235537A5024584263 @default.
- W2045235537 hasBestOaLocation W20452355371 @default.
- W2045235537 hasConcept C159032336 @default.
- W2045235537 hasConcept C199360897 @default.
- W2045235537 hasConcept C33923547 @default.
- W2045235537 hasConcept C41008148 @default.
- W2045235537 hasConcept C81721847 @default.
- W2045235537 hasConceptScore W2045235537C159032336 @default.
- W2045235537 hasConceptScore W2045235537C199360897 @default.
- W2045235537 hasConceptScore W2045235537C33923547 @default.
- W2045235537 hasConceptScore W2045235537C41008148 @default.
- W2045235537 hasConceptScore W2045235537C81721847 @default.
- W2045235537 hasIssue "2" @default.
- W2045235537 hasLocation W20452355371 @default.
- W2045235537 hasOpenAccess W2045235537 @default.
- W2045235537 hasPrimaryLocation W20452355371 @default.
- W2045235537 hasRelatedWork W120747662 @default.
- W2045235537 hasRelatedWork W1485791179 @default.
- W2045235537 hasRelatedWork W1548535723 @default.
- W2045235537 hasRelatedWork W1597062518 @default.
- W2045235537 hasRelatedWork W1608659702 @default.
- W2045235537 hasRelatedWork W2088007073 @default.
- W2045235537 hasRelatedWork W2089499361 @default.
- W2045235537 hasRelatedWork W2112962394 @default.
- W2045235537 hasRelatedWork W193767869 @default.
- W2045235537 hasRelatedWork W2473250120 @default.
- W2045235537 hasVolume "27" @default.
- W2045235537 isParatext "false" @default.
- W2045235537 isRetracted "false" @default.
- W2045235537 magId "2045235537" @default.
- W2045235537 workType "article" @default.