Matches in SemOpenAlex for { <https://semopenalex.org/work/W1495244370> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1495244370 abstract "Extended execution is an extension of SLDNF resolution which was shown useful for proving properties of logic programs. It was meant for definite programs and an extension to normal ones was proposed afterwards. The correctness of the extended framework has been shown and in this paper we investigate the question of its completeness. We give results at the propositional level and discuss a possible alternative to achieve completeness at the non propositional one." @default.
- W1495244370 created "2016-06-24" @default.
- W1495244370 creator A5063544098 @default.
- W1495244370 date "1996-01-01" @default.
- W1495244370 modified "2023-09-27" @default.
- W1495244370 title "Towards a complete proof procedure to prove properties of normal logic programs under the completion" @default.
- W1495244370 cites W1574765160 @default.
- W1495244370 cites W1968513265 @default.
- W1495244370 cites W2003531456 @default.
- W1495244370 cites W2010104109 @default.
- W1495244370 cites W2034075659 @default.
- W1495244370 cites W2072224912 @default.
- W1495244370 cites W2082994045 @default.
- W1495244370 cites W2088350978 @default.
- W1495244370 cites W2097366413 @default.
- W1495244370 cites W2100738443 @default.
- W1495244370 cites W2114658236 @default.
- W1495244370 cites W4206370914 @default.
- W1495244370 doi "https://doi.org/10.1007/3-540-60939-3_16" @default.
- W1495244370 hasPublicationYear "1996" @default.
- W1495244370 type Work @default.
- W1495244370 sameAs 1495244370 @default.
- W1495244370 citedByCount "0" @default.
- W1495244370 crossrefType "book-chapter" @default.
- W1495244370 hasAuthorship W1495244370A5063544098 @default.
- W1495244370 hasConcept C102993220 @default.
- W1495244370 hasConcept C11413529 @default.
- W1495244370 hasConcept C134306372 @default.
- W1495244370 hasConcept C138268822 @default.
- W1495244370 hasConcept C14523651 @default.
- W1495244370 hasConcept C16221470 @default.
- W1495244370 hasConcept C17231256 @default.
- W1495244370 hasConcept C199343813 @default.
- W1495244370 hasConcept C199360897 @default.
- W1495244370 hasConcept C2777686260 @default.
- W1495244370 hasConcept C2778029271 @default.
- W1495244370 hasConcept C33203268 @default.
- W1495244370 hasConcept C33923547 @default.
- W1495244370 hasConcept C41008148 @default.
- W1495244370 hasConcept C55439883 @default.
- W1495244370 hasConcept C69562738 @default.
- W1495244370 hasConcept C71924100 @default.
- W1495244370 hasConcept C74640108 @default.
- W1495244370 hasConcept C80444323 @default.
- W1495244370 hasConceptScore W1495244370C102993220 @default.
- W1495244370 hasConceptScore W1495244370C11413529 @default.
- W1495244370 hasConceptScore W1495244370C134306372 @default.
- W1495244370 hasConceptScore W1495244370C138268822 @default.
- W1495244370 hasConceptScore W1495244370C14523651 @default.
- W1495244370 hasConceptScore W1495244370C16221470 @default.
- W1495244370 hasConceptScore W1495244370C17231256 @default.
- W1495244370 hasConceptScore W1495244370C199343813 @default.
- W1495244370 hasConceptScore W1495244370C199360897 @default.
- W1495244370 hasConceptScore W1495244370C2777686260 @default.
- W1495244370 hasConceptScore W1495244370C2778029271 @default.
- W1495244370 hasConceptScore W1495244370C33203268 @default.
- W1495244370 hasConceptScore W1495244370C33923547 @default.
- W1495244370 hasConceptScore W1495244370C41008148 @default.
- W1495244370 hasConceptScore W1495244370C55439883 @default.
- W1495244370 hasConceptScore W1495244370C69562738 @default.
- W1495244370 hasConceptScore W1495244370C71924100 @default.
- W1495244370 hasConceptScore W1495244370C74640108 @default.
- W1495244370 hasConceptScore W1495244370C80444323 @default.
- W1495244370 hasLocation W14952443701 @default.
- W1495244370 hasOpenAccess W1495244370 @default.
- W1495244370 hasPrimaryLocation W14952443701 @default.
- W1495244370 hasRelatedWork W100246148 @default.
- W1495244370 hasRelatedWork W1484059545 @default.
- W1495244370 hasRelatedWork W1547013458 @default.
- W1495244370 hasRelatedWork W1560909155 @default.
- W1495244370 hasRelatedWork W1575892537 @default.
- W1495244370 hasRelatedWork W1804654308 @default.
- W1495244370 hasRelatedWork W1937022991 @default.
- W1495244370 hasRelatedWork W1970434055 @default.
- W1495244370 hasRelatedWork W1975850471 @default.
- W1495244370 hasRelatedWork W2010333114 @default.
- W1495244370 hasRelatedWork W2130524429 @default.
- W1495244370 hasRelatedWork W2221067658 @default.
- W1495244370 hasRelatedWork W2279194953 @default.
- W1495244370 hasRelatedWork W2394529788 @default.
- W1495244370 hasRelatedWork W2540616122 @default.
- W1495244370 hasRelatedWork W2576910171 @default.
- W1495244370 hasRelatedWork W2950567239 @default.
- W1495244370 hasRelatedWork W2952026790 @default.
- W1495244370 hasRelatedWork W2986106598 @default.
- W1495244370 hasRelatedWork W40848811 @default.
- W1495244370 isParatext "false" @default.
- W1495244370 isRetracted "false" @default.
- W1495244370 magId "1495244370" @default.
- W1495244370 workType "book-chapter" @default.