FRINK Linked Data Fragments server

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

• W104321364 abstract "We explore the range of propositional logics suitable for logic programs under the stable semantics, starting with the logic of here-and-there as a primary representative. It will be shown, however, that there are other potential logics in the range. Still, all such logics are based on essentially the same semantics, so their differences are largely due to choice of the underlying language. Our representation suggests a more tolerant answer to the question ‘What is the Logic of Logic Programming?', as well as some further expressive opportunities in using logic programs as a general knowledge representation formalism." @default.
• W104321364 created "2016-06-24" @default.
• W104321364 creator A5080306219 @default.
• W104321364 date "2012-01-01" @default.
• W104321364 modified "2023-09-27" @default.
• W104321364 title "Here and There among Logics for Logic Programming" @default.
• W104321364 cites W1487409515 @default.
• W104321364 cites W1582030611 @default.
• W104321364 cites W1601726121 @default.
• W104321364 cites W1694306392 @default.
• W104321364 cites W1985274317 @default.
• W104321364 cites W1985819576 @default.
• W104321364 cites W2027379370 @default.
• W104321364 cites W2034572172 @default.
• W104321364 cites W2075664221 @default.
• W104321364 cites W2079250929 @default.
• W104321364 cites W2090184124 @default.
• W104321364 cites W2914398864 @default.
• W104321364 doi "https://doi.org/10.1007/978-3-642-30743-0_7" @default.
• W104321364 hasPublicationYear "2012" @default.
• W104321364 type Work @default.
• W104321364 sameAs 104321364 @default.
• W104321364 citedByCount "0" @default.
• W104321364 crossrefType "book-chapter" @default.
• W104321364 hasAuthorship W104321364A5080306219 @default.
• W104321364 hasConcept C102993220 @default.
• W104321364 hasConcept C121332964 @default.
• W104321364 hasConcept C128838566 @default.
• W104321364 hasConcept C142362112 @default.
• W104321364 hasConcept C153349607 @default.
• W104321364 hasConcept C154945302 @default.
• W104321364 hasConcept C165801399 @default.
• W104321364 hasConcept C169896238 @default.
• W104321364 hasConcept C172385210 @default.
• W104321364 hasConcept C184337299 @default.
• W104321364 hasConcept C199360897 @default.
• W104321364 hasConcept C203659156 @default.
• W104321364 hasConcept C2777796570 @default.
• W104321364 hasConcept C32241873 @default.
• W104321364 hasConcept C33203268 @default.
• W104321364 hasConcept C3845977 @default.
• W104321364 hasConcept C41008148 @default.
• W104321364 hasConcept C42011625 @default.
• W104321364 hasConcept C5263885 @default.
• W104321364 hasConcept C558565934 @default.
• W104321364 hasConcept C58166 @default.
• W104321364 hasConcept C62520636 @default.
• W104321364 hasConcept C69562738 @default.
• W104321364 hasConcept C73301696 @default.
• W104321364 hasConcept C80444323 @default.
• W104321364 hasConcept C86602344 @default.
• W104321364 hasConceptScore W104321364C102993220 @default.
• W104321364 hasConceptScore W104321364C121332964 @default.
• W104321364 hasConceptScore W104321364C128838566 @default.
• W104321364 hasConceptScore W104321364C142362112 @default.
• W104321364 hasConceptScore W104321364C153349607 @default.
• W104321364 hasConceptScore W104321364C154945302 @default.
• W104321364 hasConceptScore W104321364C165801399 @default.
• W104321364 hasConceptScore W104321364C169896238 @default.
• W104321364 hasConceptScore W104321364C172385210 @default.
• W104321364 hasConceptScore W104321364C184337299 @default.
• W104321364 hasConceptScore W104321364C199360897 @default.
• W104321364 hasConceptScore W104321364C203659156 @default.
• W104321364 hasConceptScore W104321364C2777796570 @default.
• W104321364 hasConceptScore W104321364C32241873 @default.
• W104321364 hasConceptScore W104321364C33203268 @default.
• W104321364 hasConceptScore W104321364C3845977 @default.
• W104321364 hasConceptScore W104321364C41008148 @default.
• W104321364 hasConceptScore W104321364C42011625 @default.
• W104321364 hasConceptScore W104321364C5263885 @default.
• W104321364 hasConceptScore W104321364C558565934 @default.
• W104321364 hasConceptScore W104321364C58166 @default.
• W104321364 hasConceptScore W104321364C62520636 @default.
• W104321364 hasConceptScore W104321364C69562738 @default.
• W104321364 hasConceptScore W104321364C73301696 @default.
• W104321364 hasConceptScore W104321364C80444323 @default.
• W104321364 hasConceptScore W104321364C86602344 @default.
• W104321364 hasLocation W1043213641 @default.
• W104321364 hasOpenAccess W104321364 @default.
• W104321364 hasPrimaryLocation W1043213641 @default.
• W104321364 hasRelatedWork W110963011 @default.
• W104321364 hasRelatedWork W120291815 @default.
• W104321364 hasRelatedWork W1547086511 @default.
• W104321364 hasRelatedWork W1548242045 @default.
• W104321364 hasRelatedWork W1598297969 @default.
• W104321364 hasRelatedWork W1720348857 @default.
• W104321364 hasRelatedWork W1799934009 @default.
• W104321364 hasRelatedWork W191728435 @default.
• W104321364 hasRelatedWork W2058110538 @default.
• W104321364 hasRelatedWork W2061319273 @default.
• W104321364 hasRelatedWork W2515579183 @default.
• W104321364 hasRelatedWork W2519911856 @default.
• W104321364 hasRelatedWork W2741314474 @default.
• W104321364 hasRelatedWork W2908263265 @default.
• W104321364 hasRelatedWork W2913428631 @default.
• W104321364 hasRelatedWork W3027956517 @default.
• W104321364 hasRelatedWork W3082758730 @default.
• W104321364 hasRelatedWork W637098627 @default.
• W104321364 hasRelatedWork W76633974 @default.
• W104321364 hasRelatedWork W2182005681 @default.

• next