Matches in SemOpenAlex for { <https://semopenalex.org/work/W2997841294> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2997841294 abstract "This paper presents a sound and complete procedure with respect to the 3-valued stable model semantics. The procedure is regarded as an extension of Eshghi and Kowalski abductive proof procedure, i..." @default.
- W2997841294 created "2020-01-10" @default.
- W2997841294 creator A5014219986 @default.
- W2997841294 creator A5034540297 @default.
- W2997841294 date "2001-09-06" @default.
- W2997841294 modified "2023-09-23" @default.
- W2997841294 title "A sound and complete procedure for a general logic program in non- floundering derivations with respect to the 3-valued stable model semantics" @default.
- W2997841294 hasPublicationYear "2001" @default.
- W2997841294 type Work @default.
- W2997841294 sameAs 2997841294 @default.
- W2997841294 citedByCount "0" @default.
- W2997841294 crossrefType "journal-article" @default.
- W2997841294 hasAuthorship W2997841294A5014219986 @default.
- W2997841294 hasAuthorship W2997841294A5034540297 @default.
- W2997841294 hasConcept C127001435 @default.
- W2997841294 hasConcept C156325763 @default.
- W2997841294 hasConcept C184337299 @default.
- W2997841294 hasConcept C199343813 @default.
- W2997841294 hasConcept C199360897 @default.
- W2997841294 hasConcept C2777686260 @default.
- W2997841294 hasConcept C2778029271 @default.
- W2997841294 hasConcept C33923547 @default.
- W2997841294 hasConcept C41008148 @default.
- W2997841294 hasConcept C71924100 @default.
- W2997841294 hasConceptScore W2997841294C127001435 @default.
- W2997841294 hasConceptScore W2997841294C156325763 @default.
- W2997841294 hasConceptScore W2997841294C184337299 @default.
- W2997841294 hasConceptScore W2997841294C199343813 @default.
- W2997841294 hasConceptScore W2997841294C199360897 @default.
- W2997841294 hasConceptScore W2997841294C2777686260 @default.
- W2997841294 hasConceptScore W2997841294C2778029271 @default.
- W2997841294 hasConceptScore W2997841294C33923547 @default.
- W2997841294 hasConceptScore W2997841294C41008148 @default.
- W2997841294 hasConceptScore W2997841294C71924100 @default.
- W2997841294 hasLocation W29978412941 @default.
- W2997841294 hasOpenAccess W2997841294 @default.
- W2997841294 hasPrimaryLocation W29978412941 @default.
- W2997841294 hasRelatedWork W1505779129 @default.
- W2997841294 hasRelatedWork W1511401088 @default.
- W2997841294 hasRelatedWork W1541690799 @default.
- W2997841294 hasRelatedWork W1591945660 @default.
- W2997841294 hasRelatedWork W1598668400 @default.
- W2997841294 hasRelatedWork W1968708002 @default.
- W2997841294 hasRelatedWork W1971697289 @default.
- W2997841294 hasRelatedWork W1994943823 @default.
- W2997841294 hasRelatedWork W2020595717 @default.
- W2997841294 hasRelatedWork W2026063860 @default.
- W2997841294 hasRelatedWork W206604210 @default.
- W2997841294 hasRelatedWork W2076410236 @default.
- W2997841294 hasRelatedWork W2082367267 @default.
- W2997841294 hasRelatedWork W2087505639 @default.
- W2997841294 hasRelatedWork W2148256560 @default.
- W2997841294 hasRelatedWork W2152251233 @default.
- W2997841294 hasRelatedWork W2153265271 @default.
- W2997841294 hasRelatedWork W2547303773 @default.
- W2997841294 hasRelatedWork W2594569804 @default.
- W2997841294 hasRelatedWork W3092732582 @default.
- W2997841294 isParatext "false" @default.
- W2997841294 isRetracted "false" @default.
- W2997841294 magId "2997841294" @default.
- W2997841294 workType "article" @default.