FRINK Linked Data Fragments server

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

• W2066734765 endingPage "111" @default.
• W2066734765 startingPage "75" @default.
• W2066734765 abstract "This paper illustrates extensively the theoretical properties, the implementation issues, and the programming style underlying finitary programs. They are a class of normal logic programs whose consequences under the stable model semantics can be effectively computed, despite the fact that finitary programs admit function symbols (hence infinite domains) and recursion. From a theoretical point of view, finitary programs are interesting because they enjoy properties that are extremely unusual for a nonmonotonic formalism, such as compactness. From the application point of view, the theory of finitary programs shows how the existing technology for answer set programming can be extended from problem solving below the second level of the polynomial hierarchy to all semidecidable problems. Moreover, finitary programs allow a more natural encoding of recursive data structures and may increase the performance of credulous reasoners." @default.
• W2066734765 created "2016-06-24" @default.
• W2066734765 creator A5046243825 @default.
• W2066734765 date "2004-06-01" @default.
• W2066734765 modified "2023-09-27" @default.
• W2066734765 title "Reasoning with infinite stable models" @default.
• W2066734765 cites W1536278125 @default.
• W2066734765 cites W1536469384 @default.
• W2066734765 cites W1966552757 @default.
• W2066734765 cites W1969965298 @default.
• W2066734765 cites W1991972474 @default.
• W2066734765 cites W1997714358 @default.
• W2066734765 cites W2011124182 @default.
• W2066734765 cites W2014810198 @default.
• W2066734765 cites W2017956822 @default.
• W2066734765 cites W2038181165 @default.
• W2066734765 cites W2049129243 @default.
• W2066734765 cites W2076698873 @default.
• W2066734765 cites W2155322595 @default.
• W2066734765 cites W2295882966 @default.
• W2066734765 cites W2945259913 @default.
• W2066734765 cites W4205307202 @default.
• W2066734765 cites W4231492400 @default.
• W2066734765 doi "https://doi.org/10.1016/j.artint.2004.02.001" @default.
• W2066734765 hasPublicationYear "2004" @default.
• W2066734765 type Work @default.
• W2066734765 sameAs 2066734765 @default.
• W2066734765 citedByCount "70" @default.
• W2066734765 countsByYear W20667347652012 @default.
• W2066734765 countsByYear W20667347652013 @default.
• W2066734765 countsByYear W20667347652014 @default.
• W2066734765 countsByYear W20667347652015 @default.
• W2066734765 countsByYear W20667347652016 @default.
• W2066734765 countsByYear W20667347652017 @default.
• W2066734765 countsByYear W20667347652020 @default.
• W2066734765 countsByYear W20667347652021 @default.
• W2066734765 countsByYear W20667347652022 @default.
• W2066734765 crossrefType "journal-article" @default.
• W2066734765 hasAuthorship W2066734765A5046243825 @default.
• W2066734765 hasConcept C11413529 @default.
• W2066734765 hasConcept C118615104 @default.
• W2066734765 hasConcept C128838566 @default.
• W2066734765 hasConcept C134306372 @default.
• W2066734765 hasConcept C136119220 @default.
• W2066734765 hasConcept C142362112 @default.
• W2066734765 hasConcept C153349607 @default.
• W2066734765 hasConcept C154945302 @default.
• W2066734765 hasConcept C162324750 @default.
• W2066734765 hasConcept C168773036 @default.
• W2066734765 hasConcept C182620335 @default.
• W2066734765 hasConcept C199360897 @default.
• W2066734765 hasConcept C202444582 @default.
• W2066734765 hasConcept C2777212361 @default.
• W2066734765 hasConcept C2778003309 @default.
• W2066734765 hasConcept C31170391 @default.
• W2066734765 hasConcept C33923547 @default.
• W2066734765 hasConcept C34447519 @default.
• W2066734765 hasConcept C41008148 @default.
• W2066734765 hasConcept C558565934 @default.
• W2066734765 hasConcept C61445026 @default.
• W2066734765 hasConcept C73301696 @default.
• W2066734765 hasConcept C80444323 @default.
• W2066734765 hasConceptScore W2066734765C11413529 @default.
• W2066734765 hasConceptScore W2066734765C118615104 @default.
• W2066734765 hasConceptScore W2066734765C128838566 @default.
• W2066734765 hasConceptScore W2066734765C134306372 @default.
• W2066734765 hasConceptScore W2066734765C136119220 @default.
• W2066734765 hasConceptScore W2066734765C142362112 @default.
• W2066734765 hasConceptScore W2066734765C153349607 @default.
• W2066734765 hasConceptScore W2066734765C154945302 @default.
• W2066734765 hasConceptScore W2066734765C162324750 @default.
• W2066734765 hasConceptScore W2066734765C168773036 @default.
• W2066734765 hasConceptScore W2066734765C182620335 @default.
• W2066734765 hasConceptScore W2066734765C199360897 @default.
• W2066734765 hasConceptScore W2066734765C202444582 @default.
• W2066734765 hasConceptScore W2066734765C2777212361 @default.
• W2066734765 hasConceptScore W2066734765C2778003309 @default.
• W2066734765 hasConceptScore W2066734765C31170391 @default.
• W2066734765 hasConceptScore W2066734765C33923547 @default.
• W2066734765 hasConceptScore W2066734765C34447519 @default.
• W2066734765 hasConceptScore W2066734765C41008148 @default.
• W2066734765 hasConceptScore W2066734765C558565934 @default.
• W2066734765 hasConceptScore W2066734765C61445026 @default.
• W2066734765 hasConceptScore W2066734765C73301696 @default.
• W2066734765 hasConceptScore W2066734765C80444323 @default.
• W2066734765 hasIssue "1" @default.
• W2066734765 hasLocation W20667347651 @default.
• W2066734765 hasOpenAccess W2066734765 @default.
• W2066734765 hasPrimaryLocation W20667347651 @default.
• W2066734765 hasRelatedWork W1489186918 @default.
• W2066734765 hasRelatedWork W1526476951 @default.
• W2066734765 hasRelatedWork W1554939680 @default.
• W2066734765 hasRelatedWork W1855927527 @default.
• W2066734765 hasRelatedWork W2150695558 @default.
• W2066734765 hasRelatedWork W2161960556 @default.
• W2066734765 hasRelatedWork W3101690952 @default.
• W2066734765 hasRelatedWork W4210378422 @default.
• W2066734765 hasRelatedWork W2504286793 @default.

• next