Matches in SemOpenAlex for { <https://semopenalex.org/work/W2621490813> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2621490813 abstract "We compare here two uses of negation -- in logic programming and in Prolog. As in Prolog negation is defined by means of meta-programming facilities and the cut operator, this requires a careful reexamination of the assumptions about the underlying syntax and a precise definition of the computational processes involved. After taking care of these matters we establish a formal result showing an equivalence in appropriate sense between these two uses of negation. This result allows us to argue about correctness of various known Prolog programs which use negation by reasoning about the corresponding general logic programs." @default.
- W2621490813 created "2017-06-15" @default.
- W2621490813 creator A5042418599 @default.
- W2621490813 creator A5087880855 @default.
- W2621490813 date "1994-01-01" @default.
- W2621490813 modified "2023-09-28" @default.
- W2621490813 title "Comparing negation in logic programming and in Prolog" @default.
- W2621490813 hasPublicationYear "1994" @default.
- W2621490813 type Work @default.
- W2621490813 sameAs 2621490813 @default.
- W2621490813 citedByCount "0" @default.
- W2621490813 crossrefType "journal-article" @default.
- W2621490813 hasAuthorship W2621490813A5042418599 @default.
- W2621490813 hasAuthorship W2621490813A5087880855 @default.
- W2621490813 hasConcept C127001435 @default.
- W2621490813 hasConcept C128838566 @default.
- W2621490813 hasConcept C156325763 @default.
- W2621490813 hasConcept C184337299 @default.
- W2621490813 hasConcept C194146651 @default.
- W2621490813 hasConcept C199360897 @default.
- W2621490813 hasConcept C2185349 @default.
- W2621490813 hasConcept C33923547 @default.
- W2621490813 hasConcept C41008148 @default.
- W2621490813 hasConcept C55439883 @default.
- W2621490813 hasConcept C80444323 @default.
- W2621490813 hasConcept C81721847 @default.
- W2621490813 hasConceptScore W2621490813C127001435 @default.
- W2621490813 hasConceptScore W2621490813C128838566 @default.
- W2621490813 hasConceptScore W2621490813C156325763 @default.
- W2621490813 hasConceptScore W2621490813C184337299 @default.
- W2621490813 hasConceptScore W2621490813C194146651 @default.
- W2621490813 hasConceptScore W2621490813C199360897 @default.
- W2621490813 hasConceptScore W2621490813C2185349 @default.
- W2621490813 hasConceptScore W2621490813C33923547 @default.
- W2621490813 hasConceptScore W2621490813C41008148 @default.
- W2621490813 hasConceptScore W2621490813C55439883 @default.
- W2621490813 hasConceptScore W2621490813C80444323 @default.
- W2621490813 hasConceptScore W2621490813C81721847 @default.
- W2621490813 hasLocation W26214908131 @default.
- W2621490813 hasOpenAccess W2621490813 @default.
- W2621490813 hasPrimaryLocation W26214908131 @default.
- W2621490813 hasRelatedWork W1492032611 @default.
- W2621490813 hasRelatedWork W1493824320 @default.
- W2621490813 hasRelatedWork W1537913501 @default.
- W2621490813 hasRelatedWork W1540177454 @default.
- W2621490813 hasRelatedWork W1542916848 @default.
- W2621490813 hasRelatedWork W1575317731 @default.
- W2621490813 hasRelatedWork W1582093579 @default.
- W2621490813 hasRelatedWork W1592619431 @default.
- W2621490813 hasRelatedWork W1607346335 @default.
- W2621490813 hasRelatedWork W1641679873 @default.
- W2621490813 hasRelatedWork W165704037 @default.
- W2621490813 hasRelatedWork W1891438468 @default.
- W2621490813 hasRelatedWork W203410698 @default.
- W2621490813 hasRelatedWork W2075664221 @default.
- W2621490813 hasRelatedWork W2110239019 @default.
- W2621490813 hasRelatedWork W2113565143 @default.
- W2621490813 hasRelatedWork W2147972318 @default.
- W2621490813 hasRelatedWork W2159324306 @default.
- W2621490813 hasRelatedWork W2420082078 @default.
- W2621490813 hasRelatedWork W2542317098 @default.
- W2621490813 isParatext "false" @default.
- W2621490813 isRetracted "false" @default.
- W2621490813 magId "2621490813" @default.
- W2621490813 workType "article" @default.