Matches in SemOpenAlex for { <https://semopenalex.org/work/W62879400> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W62879400 endingPage "448" @default.
- W62879400 startingPage "444" @default.
- W62879400 abstract "In spite of the existence of a close relationship between logic programming and non-monotonic reasoning, in the past the two research areas have progressed largely independently of each other. Recently, however, a new declarative semantics of logic programs has been proposed and it has been shown to be equivalent to suitable forms of four major non-monotonic formalisms: McCarthy's circumscription, Reiter's closed world assumption, Moore's autoepistemic logic and Reiter's default logic.The importance of these results stems not only from the fact that they shed new light on the relationship between logic programming and nonmonotonic reasoning, but also from the fact that they establish a close relationship between four major formalizations of non-monotonic reasoning for an important class of theories." @default.
- W62879400 created "2016-06-24" @default.
- W62879400 creator A5084802338 @default.
- W62879400 date "1988-08-21" @default.
- W62879400 modified "2023-09-24" @default.
- W62879400 title "On the relationship between logic programming and non-monotonic reasoning" @default.
- W62879400 cites W101701348 @default.
- W62879400 cites W125328907 @default.
- W62879400 cites W1541434994 @default.
- W62879400 cites W1924904173 @default.
- W62879400 cites W1966552757 @default.
- W62879400 cites W1995303925 @default.
- W62879400 cites W1998363560 @default.
- W62879400 cites W2000141049 @default.
- W62879400 cites W2004352874 @default.
- W62879400 cites W2008294142 @default.
- W62879400 cites W203924617 @default.
- W62879400 cites W2039303449 @default.
- W62879400 cites W2058656940 @default.
- W62879400 cites W2127659271 @default.
- W62879400 cites W2134046100 @default.
- W62879400 cites W2411085520 @default.
- W62879400 cites W2899987233 @default.
- W62879400 cites W2945259913 @default.
- W62879400 cites W332512381 @default.
- W62879400 hasPublicationYear "1988" @default.
- W62879400 type Work @default.
- W62879400 sameAs 62879400 @default.
- W62879400 citedByCount "4" @default.
- W62879400 countsByYear W628794002012 @default.
- W62879400 crossrefType "proceedings-article" @default.
- W62879400 hasAuthorship W62879400A5084802338 @default.
- W62879400 hasConcept C102993220 @default.
- W62879400 hasConcept C127001435 @default.
- W62879400 hasConcept C128838566 @default.
- W62879400 hasConcept C134306372 @default.
- W62879400 hasConcept C154945302 @default.
- W62879400 hasConcept C159032336 @default.
- W62879400 hasConcept C160236029 @default.
- W62879400 hasConcept C171018156 @default.
- W62879400 hasConcept C182620335 @default.
- W62879400 hasConcept C199360897 @default.
- W62879400 hasConcept C203659156 @default.
- W62879400 hasConcept C2524010 @default.
- W62879400 hasConcept C33923547 @default.
- W62879400 hasConcept C3845977 @default.
- W62879400 hasConcept C41008148 @default.
- W62879400 hasConcept C62360110 @default.
- W62879400 hasConcept C72169020 @default.
- W62879400 hasConcept C97364631 @default.
- W62879400 hasConceptScore W62879400C102993220 @default.
- W62879400 hasConceptScore W62879400C127001435 @default.
- W62879400 hasConceptScore W62879400C128838566 @default.
- W62879400 hasConceptScore W62879400C134306372 @default.
- W62879400 hasConceptScore W62879400C154945302 @default.
- W62879400 hasConceptScore W62879400C159032336 @default.
- W62879400 hasConceptScore W62879400C160236029 @default.
- W62879400 hasConceptScore W62879400C171018156 @default.
- W62879400 hasConceptScore W62879400C182620335 @default.
- W62879400 hasConceptScore W62879400C199360897 @default.
- W62879400 hasConceptScore W62879400C203659156 @default.
- W62879400 hasConceptScore W62879400C2524010 @default.
- W62879400 hasConceptScore W62879400C33923547 @default.
- W62879400 hasConceptScore W62879400C3845977 @default.
- W62879400 hasConceptScore W62879400C41008148 @default.
- W62879400 hasConceptScore W62879400C62360110 @default.
- W62879400 hasConceptScore W62879400C72169020 @default.
- W62879400 hasConceptScore W62879400C97364631 @default.
- W62879400 hasLocation W628794001 @default.
- W62879400 hasOpenAccess W62879400 @default.
- W62879400 hasPrimaryLocation W628794001 @default.
- W62879400 hasRelatedWork W1497274966 @default.
- W62879400 hasRelatedWork W1501530641 @default.
- W62879400 hasRelatedWork W1505832130 @default.
- W62879400 hasRelatedWork W1510566887 @default.
- W62879400 hasRelatedWork W1515990520 @default.
- W62879400 hasRelatedWork W1541434994 @default.
- W62879400 hasRelatedWork W1581384476 @default.
- W62879400 hasRelatedWork W1609266027 @default.
- W62879400 hasRelatedWork W1672891595 @default.
- W62879400 hasRelatedWork W1748629811 @default.
- W62879400 hasRelatedWork W1966552757 @default.
- W62879400 hasRelatedWork W1998363560 @default.
- W62879400 hasRelatedWork W2001794777 @default.
- W62879400 hasRelatedWork W2034572172 @default.
- W62879400 hasRelatedWork W204153282 @default.
- W62879400 hasRelatedWork W2112122101 @default.
- W62879400 hasRelatedWork W2115400533 @default.
- W62879400 hasRelatedWork W2155322595 @default.
- W62879400 hasRelatedWork W2539709470 @default.
- W62879400 hasRelatedWork W610916638 @default.
- W62879400 isParatext "false" @default.
- W62879400 isRetracted "false" @default.
- W62879400 magId "62879400" @default.
- W62879400 workType "article" @default.