Matches in SemOpenAlex for { <https://semopenalex.org/work/W1857479399> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W1857479399 abstract "Starting from a general dynamic analysis of reasoning and programming, we develop two main dynamic perspectives upon logic programming. First, the standard fixed point semantics for Horn clause programs naturally supports imperative programming styles. Next, we provide axiomatizations for Prolog-type inference engines using calculi of sequents employing modified versions of standard structural rules such as monotonicity or permutation. Finally, we discuss the implications of all this for a broader enterprise of ‘abstract proof theory’." @default.
- W1857479399 created "2016-06-24" @default.
- W1857479399 creator A5083214023 @default.
- W1857479399 date "1992-11-01" @default.
- W1857479399 modified "2023-09-25" @default.
- W1857479399 title "Logic as Programming" @default.
- W1857479399 doi "https://doi.org/10.3233/fi-1992-17402" @default.
- W1857479399 hasPublicationYear "1992" @default.
- W1857479399 type Work @default.
- W1857479399 sameAs 1857479399 @default.
- W1857479399 citedByCount "7" @default.
- W1857479399 crossrefType "journal-article" @default.
- W1857479399 hasAuthorship W1857479399A5083214023 @default.
- W1857479399 hasConcept C128838566 @default.
- W1857479399 hasConcept C199360897 @default.
- W1857479399 hasConcept C41008148 @default.
- W1857479399 hasConcept C80444323 @default.
- W1857479399 hasConceptScore W1857479399C128838566 @default.
- W1857479399 hasConceptScore W1857479399C199360897 @default.
- W1857479399 hasConceptScore W1857479399C41008148 @default.
- W1857479399 hasConceptScore W1857479399C80444323 @default.
- W1857479399 hasLocation W18574793991 @default.
- W1857479399 hasOpenAccess W1857479399 @default.
- W1857479399 hasPrimaryLocation W18574793991 @default.
- W1857479399 hasRelatedWork W1547047997 @default.
- W1857479399 hasRelatedWork W1660731489 @default.
- W1857479399 hasRelatedWork W190092580 @default.
- W1857479399 hasRelatedWork W2055007500 @default.
- W1857479399 hasRelatedWork W2147194283 @default.
- W1857479399 hasRelatedWork W2477232548 @default.
- W1857479399 hasRelatedWork W2490884948 @default.
- W1857479399 hasRelatedWork W2493191740 @default.
- W1857479399 hasRelatedWork W2495209258 @default.
- W1857479399 hasRelatedWork W2497350472 @default.
- W1857479399 hasRelatedWork W2504714631 @default.
- W1857479399 hasRelatedWork W2506829800 @default.
- W1857479399 hasRelatedWork W2612686462 @default.
- W1857479399 hasRelatedWork W3021681915 @default.
- W1857479399 hasRelatedWork W3157947493 @default.
- W1857479399 hasRelatedWork W340663509 @default.
- W1857479399 hasRelatedWork W345808289 @default.
- W1857479399 hasRelatedWork W68012377 @default.
- W1857479399 hasRelatedWork W17353973 @default.
- W1857479399 hasRelatedWork W3099547172 @default.
- W1857479399 isParatext "false" @default.
- W1857479399 isRetracted "false" @default.
- W1857479399 magId "1857479399" @default.
- W1857479399 workType "article" @default.