Matches in SemOpenAlex for { <https://semopenalex.org/work/W3174666910> ?p ?o ?g. }
- W3174666910 endingPage "43" @default.
- W3174666910 startingPage "1" @default.
- W3174666910 abstract "Abstract We address the problem of compiling defeasible theories to Datalog¬ programs. We prove the correctness of this compilation, for the defeasible logic DL (∂ || ), but the techniques we use apply to many other defeasible logics. Structural properties of DL (∂ || ) are identified that support efficient implementation and/or approximation of the conclusions of defeasible theories in the logic, compared with other defeasible logics. We also use previously well-studied structural properties of logic programs to adapt to incomplete Datalog¬ implementations." @default.
- W3174666910 created "2021-07-05" @default.
- W3174666910 creator A5055569573 @default.
- W3174666910 date "2021-11-02" @default.
- W3174666910 modified "2023-10-18" @default.
- W3174666910 title "Defeasible Reasoning via Datalog¬" @default.
- W3174666910 cites W1484403583 @default.
- W3174666910 cites W148452912 @default.
- W3174666910 cites W1516535258 @default.
- W3174666910 cites W1534677344 @default.
- W3174666910 cites W1585614051 @default.
- W3174666910 cites W1589769424 @default.
- W3174666910 cites W1593944505 @default.
- W3174666910 cites W1642736128 @default.
- W3174666910 cites W165195483 @default.
- W3174666910 cites W1671718115 @default.
- W3174666910 cites W1847820984 @default.
- W3174666910 cites W194413726 @default.
- W3174666910 cites W1968513265 @default.
- W3174666910 cites W1984187667 @default.
- W3174666910 cites W1991304154 @default.
- W3174666910 cites W1994120178 @default.
- W3174666910 cites W2003531456 @default.
- W3174666910 cites W2008865455 @default.
- W3174666910 cites W2010104109 @default.
- W3174666910 cites W2013815977 @default.
- W3174666910 cites W2024943265 @default.
- W3174666910 cites W2036481185 @default.
- W3174666910 cites W2063727779 @default.
- W3174666910 cites W2069972706 @default.
- W3174666910 cites W2070598037 @default.
- W3174666910 cites W2079635218 @default.
- W3174666910 cites W2082180192 @default.
- W3174666910 cites W2094817192 @default.
- W3174666910 cites W2095821948 @default.
- W3174666910 cites W2097366413 @default.
- W3174666910 cites W2098791425 @default.
- W3174666910 cites W2102178883 @default.
- W3174666910 cites W2104126268 @default.
- W3174666910 cites W2111353076 @default.
- W3174666910 cites W2111643426 @default.
- W3174666910 cites W2118078906 @default.
- W3174666910 cites W2131817760 @default.
- W3174666910 cites W2134321625 @default.
- W3174666910 cites W2142953387 @default.
- W3174666910 cites W2152977648 @default.
- W3174666910 cites W2165876990 @default.
- W3174666910 cites W2215524946 @default.
- W3174666910 cites W2417567569 @default.
- W3174666910 cites W2493901872 @default.
- W3174666910 cites W2607115772 @default.
- W3174666910 cites W2755491428 @default.
- W3174666910 cites W2784561305 @default.
- W3174666910 cites W2808240130 @default.
- W3174666910 cites W2856694434 @default.
- W3174666910 cites W2898098713 @default.
- W3174666910 cites W2963234253 @default.
- W3174666910 cites W2963275055 @default.
- W3174666910 cites W2963571216 @default.
- W3174666910 cites W2963870233 @default.
- W3174666910 cites W2964084085 @default.
- W3174666910 cites W2980763670 @default.
- W3174666910 cites W3011613428 @default.
- W3174666910 cites W3030827257 @default.
- W3174666910 cites W3101609070 @default.
- W3174666910 cites W3103588546 @default.
- W3174666910 cites W3109650547 @default.
- W3174666910 cites W3132839588 @default.
- W3174666910 cites W4241686962 @default.
- W3174666910 cites W4244579861 @default.
- W3174666910 cites W48620657 @default.
- W3174666910 doi "https://doi.org/10.1017/s1471068421000387" @default.
- W3174666910 hasPublicationYear "2021" @default.
- W3174666910 type Work @default.
- W3174666910 sameAs 3174666910 @default.
- W3174666910 citedByCount "0" @default.
- W3174666910 crossrefType "journal-article" @default.
- W3174666910 hasAuthorship W3174666910A5055569573 @default.
- W3174666910 hasConcept C140843580 @default.
- W3174666910 hasConcept C148230440 @default.
- W3174666910 hasConcept C154945302 @default.
- W3174666910 hasConcept C193856179 @default.
- W3174666910 hasConcept C199360897 @default.
- W3174666910 hasConcept C26713055 @default.
- W3174666910 hasConcept C41008148 @default.
- W3174666910 hasConcept C55439883 @default.
- W3174666910 hasConcept C80444323 @default.
- W3174666910 hasConceptScore W3174666910C140843580 @default.
- W3174666910 hasConceptScore W3174666910C148230440 @default.
- W3174666910 hasConceptScore W3174666910C154945302 @default.
- W3174666910 hasConceptScore W3174666910C193856179 @default.
- W3174666910 hasConceptScore W3174666910C199360897 @default.
- W3174666910 hasConceptScore W3174666910C26713055 @default.
- W3174666910 hasConceptScore W3174666910C41008148 @default.
- W3174666910 hasConceptScore W3174666910C55439883 @default.
- W3174666910 hasConceptScore W3174666910C80444323 @default.
- W3174666910 hasLocation W31746669101 @default.
- W3174666910 hasOpenAccess W3174666910 @default.