Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489494983> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1489494983 abstract "The noMoRe system (first prototype) implements answer set semantics for propositional normal logic programs. It uses an alternative implementation paradigm to compute answer sets by computing non-standard graph colorings of labeled directed graphs associated with logic programs. Therefore noMoRe is an interesting experimental tool for scientists working with logic programs on a theoretical or practical basis. Furthermore, we have included a tool for visualization of those graphs corresponding to programs." @default.
- W1489494983 created "2016-06-24" @default.
- W1489494983 creator A5027813485 @default.
- W1489494983 creator A5040256280 @default.
- W1489494983 creator A5086714178 @default.
- W1489494983 date "2001-01-01" @default.
- W1489494983 modified "2023-09-27" @default.
- W1489494983 title "NoMoRe: A System for Non-Monotonic Reasoning with Logic Programs under Answer Set Semantics" @default.
- W1489494983 cites W1503579182 @default.
- W1489494983 cites W1974299393 @default.
- W1489494983 cites W2048746006 @default.
- W1489494983 cites W2076698873 @default.
- W1489494983 cites W4248795502 @default.
- W1489494983 doi "https://doi.org/10.1007/3-540-45744-5_24" @default.
- W1489494983 hasPublicationYear "2001" @default.
- W1489494983 type Work @default.
- W1489494983 sameAs 1489494983 @default.
- W1489494983 citedByCount "3" @default.
- W1489494983 countsByYear W14894949832021 @default.
- W1489494983 crossrefType "book-chapter" @default.
- W1489494983 hasAuthorship W1489494983A5027813485 @default.
- W1489494983 hasAuthorship W1489494983A5040256280 @default.
- W1489494983 hasAuthorship W1489494983A5086714178 @default.
- W1489494983 hasConcept C127001435 @default.
- W1489494983 hasConcept C132525143 @default.
- W1489494983 hasConcept C156325763 @default.
- W1489494983 hasConcept C177264268 @default.
- W1489494983 hasConcept C182620335 @default.
- W1489494983 hasConcept C184337299 @default.
- W1489494983 hasConcept C199360897 @default.
- W1489494983 hasConcept C41008148 @default.
- W1489494983 hasConcept C62360110 @default.
- W1489494983 hasConcept C69562738 @default.
- W1489494983 hasConcept C80444323 @default.
- W1489494983 hasConceptScore W1489494983C127001435 @default.
- W1489494983 hasConceptScore W1489494983C132525143 @default.
- W1489494983 hasConceptScore W1489494983C156325763 @default.
- W1489494983 hasConceptScore W1489494983C177264268 @default.
- W1489494983 hasConceptScore W1489494983C182620335 @default.
- W1489494983 hasConceptScore W1489494983C184337299 @default.
- W1489494983 hasConceptScore W1489494983C199360897 @default.
- W1489494983 hasConceptScore W1489494983C41008148 @default.
- W1489494983 hasConceptScore W1489494983C62360110 @default.
- W1489494983 hasConceptScore W1489494983C69562738 @default.
- W1489494983 hasConceptScore W1489494983C80444323 @default.
- W1489494983 hasLocation W14894949831 @default.
- W1489494983 hasOpenAccess W1489494983 @default.
- W1489494983 hasPrimaryLocation W14894949831 @default.
- W1489494983 hasRelatedWork W1489615098 @default.
- W1489494983 hasRelatedWork W1489867543 @default.
- W1489494983 hasRelatedWork W1499746183 @default.
- W1489494983 hasRelatedWork W1507798223 @default.
- W1489494983 hasRelatedWork W1529282350 @default.
- W1489494983 hasRelatedWork W1537847104 @default.
- W1489494983 hasRelatedWork W1552969790 @default.
- W1489494983 hasRelatedWork W1598230960 @default.
- W1489494983 hasRelatedWork W1599587354 @default.
- W1489494983 hasRelatedWork W1599910133 @default.
- W1489494983 hasRelatedWork W1607346335 @default.
- W1489494983 hasRelatedWork W1607801167 @default.
- W1489494983 hasRelatedWork W1860427877 @default.
- W1489494983 hasRelatedWork W1937160721 @default.
- W1489494983 hasRelatedWork W2024943265 @default.
- W1489494983 hasRelatedWork W2039985169 @default.
- W1489494983 hasRelatedWork W2073311296 @default.
- W1489494983 hasRelatedWork W2164833657 @default.
- W1489494983 hasRelatedWork W2167765443 @default.
- W1489494983 hasRelatedWork W2730529061 @default.
- W1489494983 isParatext "false" @default.
- W1489494983 isRetracted "false" @default.
- W1489494983 magId "1489494983" @default.
- W1489494983 workType "book-chapter" @default.