Matches in SemOpenAlex for { <https://semopenalex.org/work/W2039619910> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2039619910 endingPage "205" @default.
- W2039619910 startingPage "189" @default.
- W2039619910 abstract "We study classes of logic programs, called here unique supported model classes or simply usm- classes, with the property that each member in the class is uniquely determined, that is, possesses a unique supported model. Known classes of uniquely determined programs include the acyclic and the acceptable programs, which have been much studied in the context of termination, and the authors gave a unifying treatment of these and other unique supported model classes in an earlier paper. In the present paper, we complement these earlier results by considering how various standard semantics relate to each other within certain unique supported model classes. In particular, we introduce the natural usm-class of all Φ-accessible programs, which contains the aforementioned classes, and has the property that, for each member of it, the stable, well-founded and weakly perfect-a models all coincide." @default.
- W2039619910 created "2016-06-24" @default.
- W2039619910 creator A5006872667 @default.
- W2039619910 creator A5032694810 @default.
- W2039619910 date "2001-03-01" @default.
- W2039619910 modified "2023-10-18" @default.
- W2039619910 title "On the Coincidence of Semantics for Uniquely Determined Programs" @default.
- W2039619910 cites W1598891747 @default.
- W2039619910 cites W1824588851 @default.
- W2039619910 cites W1995303925 @default.
- W2039619910 cites W2003531456 @default.
- W2039619910 cites W2010160994 @default.
- W2039619910 cites W2016680799 @default.
- W2039619910 cites W2120869002 @default.
- W2039619910 cites W3160120230 @default.
- W2039619910 cites W349962764 @default.
- W2039619910 doi "https://doi.org/10.1016/s1571-0661(05)80047-7" @default.
- W2039619910 hasPublicationYear "2001" @default.
- W2039619910 type Work @default.
- W2039619910 sameAs 2039619910 @default.
- W2039619910 citedByCount "0" @default.
- W2039619910 crossrefType "journal-article" @default.
- W2039619910 hasAuthorship W2039619910A5006872667 @default.
- W2039619910 hasAuthorship W2039619910A5032694810 @default.
- W2039619910 hasBestOaLocation W20396199101 @default.
- W2039619910 hasConcept C104317684 @default.
- W2039619910 hasConcept C111472728 @default.
- W2039619910 hasConcept C112313634 @default.
- W2039619910 hasConcept C127716648 @default.
- W2039619910 hasConcept C138885662 @default.
- W2039619910 hasConcept C142724271 @default.
- W2039619910 hasConcept C151730666 @default.
- W2039619910 hasConcept C154945302 @default.
- W2039619910 hasConcept C184337299 @default.
- W2039619910 hasConcept C185592680 @default.
- W2039619910 hasConcept C188082640 @default.
- W2039619910 hasConcept C189950617 @default.
- W2039619910 hasConcept C199360897 @default.
- W2039619910 hasConcept C204787440 @default.
- W2039619910 hasConcept C2777212361 @default.
- W2039619910 hasConcept C2779343474 @default.
- W2039619910 hasConcept C2779832538 @default.
- W2039619910 hasConcept C33923547 @default.
- W2039619910 hasConcept C41008148 @default.
- W2039619910 hasConcept C55493867 @default.
- W2039619910 hasConcept C71924100 @default.
- W2039619910 hasConcept C80444323 @default.
- W2039619910 hasConcept C86803240 @default.
- W2039619910 hasConceptScore W2039619910C104317684 @default.
- W2039619910 hasConceptScore W2039619910C111472728 @default.
- W2039619910 hasConceptScore W2039619910C112313634 @default.
- W2039619910 hasConceptScore W2039619910C127716648 @default.
- W2039619910 hasConceptScore W2039619910C138885662 @default.
- W2039619910 hasConceptScore W2039619910C142724271 @default.
- W2039619910 hasConceptScore W2039619910C151730666 @default.
- W2039619910 hasConceptScore W2039619910C154945302 @default.
- W2039619910 hasConceptScore W2039619910C184337299 @default.
- W2039619910 hasConceptScore W2039619910C185592680 @default.
- W2039619910 hasConceptScore W2039619910C188082640 @default.
- W2039619910 hasConceptScore W2039619910C189950617 @default.
- W2039619910 hasConceptScore W2039619910C199360897 @default.
- W2039619910 hasConceptScore W2039619910C204787440 @default.
- W2039619910 hasConceptScore W2039619910C2777212361 @default.
- W2039619910 hasConceptScore W2039619910C2779343474 @default.
- W2039619910 hasConceptScore W2039619910C2779832538 @default.
- W2039619910 hasConceptScore W2039619910C33923547 @default.
- W2039619910 hasConceptScore W2039619910C41008148 @default.
- W2039619910 hasConceptScore W2039619910C55493867 @default.
- W2039619910 hasConceptScore W2039619910C71924100 @default.
- W2039619910 hasConceptScore W2039619910C80444323 @default.
- W2039619910 hasConceptScore W2039619910C86803240 @default.
- W2039619910 hasLocation W20396199101 @default.
- W2039619910 hasOpenAccess W2039619910 @default.
- W2039619910 hasPrimaryLocation W20396199101 @default.
- W2039619910 hasRelatedWork W1574611462 @default.
- W2039619910 hasRelatedWork W1587224678 @default.
- W2039619910 hasRelatedWork W1855927527 @default.
- W2039619910 hasRelatedWork W2039619910 @default.
- W2039619910 hasRelatedWork W2047793074 @default.
- W2039619910 hasRelatedWork W2901900876 @default.
- W2039619910 hasRelatedWork W3105912136 @default.
- W2039619910 hasRelatedWork W3173743214 @default.
- W2039619910 hasRelatedWork W3214915308 @default.
- W2039619910 hasRelatedWork W1785605434 @default.
- W2039619910 hasVolume "40" @default.
- W2039619910 isParatext "false" @default.
- W2039619910 isRetracted "false" @default.
- W2039619910 magId "2039619910" @default.
- W2039619910 workType "article" @default.