FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W103897470> ?p ?o ?g. }

• W103897470 endingPage "437" @default.
• W103897470 startingPage "427" @default.
• W103897470 abstract "The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal theory satisfying the Negation As Default principle (alias Closed World Assumption). Moreover, unlike well-known translations of logic programs to other nonmonotonic formalisms, the established correspondence between logic programs and causal theories is bidirectional in the sense that, for an appropriate causal logic, any causal theory is reducible to a logic program. The correspondence is shown to hold for logic programs of a most general kind involving disjunctions and default negations in heads of the rules. It is shown also to be adequate for a broad range of logic programming semantics, including stable, supported and partial stable models. The results strongly suggest that the causal logic can serve as a (long missing) logic of logic programming." @default.
• W103897470 created "2016-06-24" @default.
• W103897470 creator A5080306219 @default.
• W103897470 date "2004-06-02" @default.
• W103897470 modified "2023-09-23" @default.
• W103897470 title "A causal logic of logic programming" @default.
• W103897470 cites W111873265 @default.
• W103897470 cites W136232721 @default.
• W103897470 cites W1485332185 @default.
• W103897470 cites W1487409515 @default.
• W103897470 cites W1505359507 @default.
• W103897470 cites W1558326452 @default.
• W103897470 cites W1567252621 @default.
• W103897470 cites W160917527 @default.
• W103897470 cites W1672891595 @default.
• W103897470 cites W1694306392 @default.
• W103897470 cites W1766332311 @default.
• W103897470 cites W189303310 @default.
• W103897470 cites W19526939 @default.
• W103897470 cites W1969037975 @default.
• W103897470 cites W1985274317 @default.
• W103897470 cites W1985819576 @default.
• W103897470 cites W1986999264 @default.
• W103897470 cites W2001805670 @default.
• W103897470 cites W2003531456 @default.
• W103897470 cites W2007502694 @default.
• W103897470 cites W2022482529 @default.
• W103897470 cites W2029636440 @default.
• W103897470 cites W2065555531 @default.
• W103897470 cites W2072046078 @default.
• W103897470 cites W2075664221 @default.
• W103897470 cites W2076698873 @default.
• W103897470 cites W2079250929 @default.
• W103897470 cites W2085084839 @default.
• W103897470 cites W2090798572 @default.
• W103897470 cites W2097366413 @default.
• W103897470 cites W2105486835 @default.
• W103897470 cites W2111353076 @default.
• W103897470 cites W2134046100 @default.
• W103897470 cites W2155322595 @default.
• W103897470 cites W2159217391 @default.
• W103897470 cites W2399343913 @default.
• W103897470 cites W2911298501 @default.
• W103897470 cites W6038788 @default.
• W103897470 hasPublicationYear "2004" @default.
• W103897470 type Work @default.
• W103897470 sameAs 103897470 @default.
• W103897470 citedByCount "6" @default.
• W103897470 countsByYear W1038974702016 @default.
• W103897470 crossrefType "proceedings-article" @default.
• W103897470 hasAuthorship W103897470A5080306219 @default.
• W103897470 hasConcept C101874905 @default.
• W103897470 hasConcept C102993220 @default.
• W103897470 hasConcept C11648818 @default.
• W103897470 hasConcept C121332964 @default.
• W103897470 hasConcept C124047733 @default.
• W103897470 hasConcept C128838566 @default.
• W103897470 hasConcept C150889026 @default.
• W103897470 hasConcept C160236029 @default.
• W103897470 hasConcept C165801399 @default.
• W103897470 hasConcept C169896238 @default.
• W103897470 hasConcept C172385210 @default.
• W103897470 hasConcept C189790780 @default.
• W103897470 hasConcept C199360897 @default.
• W103897470 hasConcept C203659156 @default.
• W103897470 hasConcept C2185349 @default.
• W103897470 hasConcept C2777796570 @default.
• W103897470 hasConcept C33203268 @default.
• W103897470 hasConcept C33923547 @default.
• W103897470 hasConcept C3845977 @default.
• W103897470 hasConcept C41008148 @default.
• W103897470 hasConcept C62520636 @default.
• W103897470 hasConceptScore W103897470C101874905 @default.
• W103897470 hasConceptScore W103897470C102993220 @default.
• W103897470 hasConceptScore W103897470C11648818 @default.
• W103897470 hasConceptScore W103897470C121332964 @default.
• W103897470 hasConceptScore W103897470C124047733 @default.
• W103897470 hasConceptScore W103897470C128838566 @default.
• W103897470 hasConceptScore W103897470C150889026 @default.
• W103897470 hasConceptScore W103897470C160236029 @default.
• W103897470 hasConceptScore W103897470C165801399 @default.
• W103897470 hasConceptScore W103897470C169896238 @default.
• W103897470 hasConceptScore W103897470C172385210 @default.
• W103897470 hasConceptScore W103897470C189790780 @default.
• W103897470 hasConceptScore W103897470C199360897 @default.
• W103897470 hasConceptScore W103897470C203659156 @default.
• W103897470 hasConceptScore W103897470C2185349 @default.
• W103897470 hasConceptScore W103897470C2777796570 @default.
• W103897470 hasConceptScore W103897470C33203268 @default.
• W103897470 hasConceptScore W103897470C33923547 @default.
• W103897470 hasConceptScore W103897470C3845977 @default.
• W103897470 hasConceptScore W103897470C41008148 @default.
• W103897470 hasConceptScore W103897470C62520636 @default.
• W103897470 hasLocation W1038974701 @default.
• W103897470 hasOpenAccess W103897470 @default.
• W103897470 hasPrimaryLocation W1038974701 @default.
• W103897470 hasRelatedWork W138537645 @default.
• W103897470 hasRelatedWork W1491405159 @default.

• next