Matches in SemOpenAlex for { <https://semopenalex.org/work/W4286987346> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4286987346 abstract "Several formal systems, such as resolution and minimal model semantics, provide a framework for logic programming. In this paper, we will survey the use of structural proof theory as an alternative foundation. Researchers have been using this foundation for the past 35 years to elevate logic programming from its roots in first-order classical logic into higher-order versions of intuitionistic and linear logic. These more expressive logic programming languages allow for capturing stateful computations and rich forms of abstractions, including higher-order programming, modularity, and abstract data types. Term-level bindings are another kind of abstraction, and these are given an elegant and direct treatment within both proof theory and these extended logic programming languages. Logic programming has also inspired new results in proof theory, such as those involving polarity and focused proofs. These recent results provide a high-level means for presenting the differences between forward-chaining and backward-chaining style inferences. Anchoring logic programming in proof theory has also helped identify its connections and differences with functional programming, deductive databases, and model checking." @default.
- W4286987346 created "2022-07-25" @default.
- W4286987346 creator A5018394339 @default.
- W4286987346 date "2021-09-03" @default.
- W4286987346 modified "2023-09-29" @default.
- W4286987346 title "A Survey of the Proof-Theoretic Foundations of Logic Programming" @default.
- W4286987346 doi "https://doi.org/10.48550/arxiv.2109.01483" @default.
- W4286987346 hasPublicationYear "2021" @default.
- W4286987346 type Work @default.
- W4286987346 citedByCount "0" @default.
- W4286987346 crossrefType "posted-content" @default.
- W4286987346 hasAuthorship W4286987346A5018394339 @default.
- W4286987346 hasBestOaLocation W42869873461 @default.
- W4286987346 hasConcept C101874905 @default.
- W4286987346 hasConcept C102993220 @default.
- W4286987346 hasConcept C108710211 @default.
- W4286987346 hasConcept C121332964 @default.
- W4286987346 hasConcept C124047733 @default.
- W4286987346 hasConcept C128838566 @default.
- W4286987346 hasConcept C15744967 @default.
- W4286987346 hasConcept C165801399 @default.
- W4286987346 hasConcept C169896238 @default.
- W4286987346 hasConcept C172385210 @default.
- W4286987346 hasConcept C189790780 @default.
- W4286987346 hasConcept C199360897 @default.
- W4286987346 hasConcept C2318724 @default.
- W4286987346 hasConcept C2524010 @default.
- W4286987346 hasConcept C2777796570 @default.
- W4286987346 hasConcept C33923547 @default.
- W4286987346 hasConcept C34165917 @default.
- W4286987346 hasConcept C41008148 @default.
- W4286987346 hasConcept C49020025 @default.
- W4286987346 hasConcept C50033165 @default.
- W4286987346 hasConcept C542102704 @default.
- W4286987346 hasConcept C62520636 @default.
- W4286987346 hasConcept C80444323 @default.
- W4286987346 hasConcept C81721847 @default.
- W4286987346 hasConcept C96315309 @default.
- W4286987346 hasConceptScore W4286987346C101874905 @default.
- W4286987346 hasConceptScore W4286987346C102993220 @default.
- W4286987346 hasConceptScore W4286987346C108710211 @default.
- W4286987346 hasConceptScore W4286987346C121332964 @default.
- W4286987346 hasConceptScore W4286987346C124047733 @default.
- W4286987346 hasConceptScore W4286987346C128838566 @default.
- W4286987346 hasConceptScore W4286987346C15744967 @default.
- W4286987346 hasConceptScore W4286987346C165801399 @default.
- W4286987346 hasConceptScore W4286987346C169896238 @default.
- W4286987346 hasConceptScore W4286987346C172385210 @default.
- W4286987346 hasConceptScore W4286987346C189790780 @default.
- W4286987346 hasConceptScore W4286987346C199360897 @default.
- W4286987346 hasConceptScore W4286987346C2318724 @default.
- W4286987346 hasConceptScore W4286987346C2524010 @default.
- W4286987346 hasConceptScore W4286987346C2777796570 @default.
- W4286987346 hasConceptScore W4286987346C33923547 @default.
- W4286987346 hasConceptScore W4286987346C34165917 @default.
- W4286987346 hasConceptScore W4286987346C41008148 @default.
- W4286987346 hasConceptScore W4286987346C49020025 @default.
- W4286987346 hasConceptScore W4286987346C50033165 @default.
- W4286987346 hasConceptScore W4286987346C542102704 @default.
- W4286987346 hasConceptScore W4286987346C62520636 @default.
- W4286987346 hasConceptScore W4286987346C80444323 @default.
- W4286987346 hasConceptScore W4286987346C81721847 @default.
- W4286987346 hasConceptScore W4286987346C96315309 @default.
- W4286987346 hasLocation W42869873461 @default.
- W4286987346 hasLocation W42869873462 @default.
- W4286987346 hasOpenAccess W4286987346 @default.
- W4286987346 hasPrimaryLocation W42869873461 @default.
- W4286987346 hasRelatedWork W1498885309 @default.
- W4286987346 hasRelatedWork W1564303565 @default.
- W4286987346 hasRelatedWork W2348463574 @default.
- W4286987346 hasRelatedWork W2553706208 @default.
- W4286987346 hasRelatedWork W3101754999 @default.
- W4286987346 hasRelatedWork W3196415809 @default.
- W4286987346 hasRelatedWork W3216378269 @default.
- W4286987346 hasRelatedWork W4286987346 @default.
- W4286987346 hasRelatedWork W4367190606 @default.
- W4286987346 hasRelatedWork W1235103349 @default.
- W4286987346 isParatext "false" @default.
- W4286987346 isRetracted "false" @default.
- W4286987346 workType "article" @default.