Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489186918> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1489186918 endingPage "347" @default.
- W1489186918 startingPage "333" @default.
- W1489186918 abstract "The class of finitary normal logic programs—identified recently, in [1]—makes it possible to reason effectively with function symbols, recursion, and infinite stable models. These features may lead to a full integration of the standard logic programming paradigm with the answer set programming paradigm. For all finitary programs, ground goals are decidable, while nonground goals are semidecidable. Moreover, the existing engines (that currently accept only much more restricted programs [11,7]) can be extended to handle finitary programs by replacing their front-ends and keeping their core inference mechanism unchanged. In this paper, the theory of finitary normal programs is extended to disjunctive programs. More precisely, we introduce a suitable generalization of the notion of finitary program and extend all the results of [1] to this class. For this purpose, a consistency result by Fages is extended from normal programs to disjunctive programs. We also correct an error occurring in [1]." @default.
- W1489186918 created "2016-06-24" @default.
- W1489186918 creator A5046243825 @default.
- W1489186918 date "2002-01-01" @default.
- W1489186918 modified "2023-10-16" @default.
- W1489186918 title "Reasoning with Infinite Stable Models II: Disjunctive Programs" @default.
- W1489186918 cites W1488953560 @default.
- W1489186918 cites W1863095476 @default.
- W1489186918 cites W1997714358 @default.
- W1489186918 cites W4375939472 @default.
- W1489186918 doi "https://doi.org/10.1007/3-540-45619-8_23" @default.
- W1489186918 hasPublicationYear "2002" @default.
- W1489186918 type Work @default.
- W1489186918 sameAs 1489186918 @default.
- W1489186918 citedByCount "12" @default.
- W1489186918 countsByYear W14891869182012 @default.
- W1489186918 countsByYear W14891869182013 @default.
- W1489186918 countsByYear W14891869182020 @default.
- W1489186918 crossrefType "book-chapter" @default.
- W1489186918 hasAuthorship W1489186918A5046243825 @default.
- W1489186918 hasConcept C11413529 @default.
- W1489186918 hasConcept C118615104 @default.
- W1489186918 hasConcept C127001435 @default.
- W1489186918 hasConcept C128838566 @default.
- W1489186918 hasConcept C134306372 @default.
- W1489186918 hasConcept C136119220 @default.
- W1489186918 hasConcept C153269930 @default.
- W1489186918 hasConcept C154945302 @default.
- W1489186918 hasConcept C156325763 @default.
- W1489186918 hasConcept C168773036 @default.
- W1489186918 hasConcept C173801870 @default.
- W1489186918 hasConcept C177148314 @default.
- W1489186918 hasConcept C177264268 @default.
- W1489186918 hasConcept C184337299 @default.
- W1489186918 hasConcept C199360897 @default.
- W1489186918 hasConcept C202444582 @default.
- W1489186918 hasConcept C2776436953 @default.
- W1489186918 hasConcept C2777212361 @default.
- W1489186918 hasConcept C2778003309 @default.
- W1489186918 hasConcept C33923547 @default.
- W1489186918 hasConcept C41008148 @default.
- W1489186918 hasConcept C80444323 @default.
- W1489186918 hasConceptScore W1489186918C11413529 @default.
- W1489186918 hasConceptScore W1489186918C118615104 @default.
- W1489186918 hasConceptScore W1489186918C127001435 @default.
- W1489186918 hasConceptScore W1489186918C128838566 @default.
- W1489186918 hasConceptScore W1489186918C134306372 @default.
- W1489186918 hasConceptScore W1489186918C136119220 @default.
- W1489186918 hasConceptScore W1489186918C153269930 @default.
- W1489186918 hasConceptScore W1489186918C154945302 @default.
- W1489186918 hasConceptScore W1489186918C156325763 @default.
- W1489186918 hasConceptScore W1489186918C168773036 @default.
- W1489186918 hasConceptScore W1489186918C173801870 @default.
- W1489186918 hasConceptScore W1489186918C177148314 @default.
- W1489186918 hasConceptScore W1489186918C177264268 @default.
- W1489186918 hasConceptScore W1489186918C184337299 @default.
- W1489186918 hasConceptScore W1489186918C199360897 @default.
- W1489186918 hasConceptScore W1489186918C202444582 @default.
- W1489186918 hasConceptScore W1489186918C2776436953 @default.
- W1489186918 hasConceptScore W1489186918C2777212361 @default.
- W1489186918 hasConceptScore W1489186918C2778003309 @default.
- W1489186918 hasConceptScore W1489186918C33923547 @default.
- W1489186918 hasConceptScore W1489186918C41008148 @default.
- W1489186918 hasConceptScore W1489186918C80444323 @default.
- W1489186918 hasLocation W14891869181 @default.
- W1489186918 hasOpenAccess W1489186918 @default.
- W1489186918 hasPrimaryLocation W14891869181 @default.
- W1489186918 hasRelatedWork W1489186918 @default.
- W1489186918 hasRelatedWork W1604839944 @default.
- W1489186918 hasRelatedWork W1658739789 @default.
- W1489186918 hasRelatedWork W1863095476 @default.
- W1489186918 hasRelatedWork W1965483956 @default.
- W1489186918 hasRelatedWork W2142224267 @default.
- W1489186918 hasRelatedWork W2743782362 @default.
- W1489186918 hasRelatedWork W2952974045 @default.
- W1489186918 hasRelatedWork W4210378422 @default.
- W1489186918 hasRelatedWork W2585994082 @default.
- W1489186918 isParatext "false" @default.
- W1489186918 isRetracted "false" @default.
- W1489186918 magId "1489186918" @default.
- W1489186918 workType "book-chapter" @default.