Matches in SemOpenAlex for { <https://semopenalex.org/work/W1662406360> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1662406360 abstract "ACLP is a system which combines abductive reasoning and constraint solving by integrating the frameworks of Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). It forms a general high-level knowledge representation environment for abductive problems in Artificial Intelligence and other areas. In ACLP, the task of abduction is supported and enhanced by its non-trivial integration with constraint solving facilitating its application to complex problems. The ACLP system is currently implemented on top of the CLP language of ECLiPSe as a meta-interpreter exploiting its underlying constraint solver for finite domains. It has been applied to the problems of planning and scheduling in order to test its computational effectiveness compared with the direct use of the (lower level) constraint solving framework of CLP on which it is built. These experiments provide evidence that the abductive framework of ACLP does not compromise significantly the computational efficiency of the solutions. Other experiments show the natural ability of ACLP to accommodate easily and in a robust way new or changing requirements of the original problem." @default.
- W1662406360 created "2016-06-24" @default.
- W1662406360 creator A5019675760 @default.
- W1662406360 date "2000-03-07" @default.
- W1662406360 modified "2023-09-27" @default.
- W1662406360 title "ACLP: Integrating Abduction and Constraint Solving" @default.
- W1662406360 cites W1482476173 @default.
- W1662406360 cites W1586787260 @default.
- W1662406360 cites W1589487547 @default.
- W1662406360 cites W1603879287 @default.
- W1662406360 cites W176609766 @default.
- W1662406360 cites W2063727779 @default.
- W1662406360 cites W2078139775 @default.
- W1662406360 cites W2079333278 @default.
- W1662406360 cites W2772521659 @default.
- W1662406360 cites W2899987233 @default.
- W1662406360 cites W2953216676 @default.
- W1662406360 cites W64635289 @default.
- W1662406360 cites W80505390 @default.
- W1662406360 hasPublicationYear "2000" @default.
- W1662406360 type Work @default.
- W1662406360 sameAs 1662406360 @default.
- W1662406360 citedByCount "16" @default.
- W1662406360 countsByYear W16624063602014 @default.
- W1662406360 countsByYear W16624063602015 @default.
- W1662406360 crossrefType "posted-content" @default.
- W1662406360 hasAuthorship W1662406360A5019675760 @default.
- W1662406360 hasConcept C126255220 @default.
- W1662406360 hasConcept C137631369 @default.
- W1662406360 hasConcept C154945302 @default.
- W1662406360 hasConcept C166088908 @default.
- W1662406360 hasConcept C173404611 @default.
- W1662406360 hasConcept C176783269 @default.
- W1662406360 hasConcept C199360897 @default.
- W1662406360 hasConcept C204306468 @default.
- W1662406360 hasConcept C2524010 @default.
- W1662406360 hasConcept C2776036281 @default.
- W1662406360 hasConcept C2778770139 @default.
- W1662406360 hasConcept C33923547 @default.
- W1662406360 hasConcept C41008148 @default.
- W1662406360 hasConcept C44616089 @default.
- W1662406360 hasConcept C49937458 @default.
- W1662406360 hasConceptScore W1662406360C126255220 @default.
- W1662406360 hasConceptScore W1662406360C137631369 @default.
- W1662406360 hasConceptScore W1662406360C154945302 @default.
- W1662406360 hasConceptScore W1662406360C166088908 @default.
- W1662406360 hasConceptScore W1662406360C173404611 @default.
- W1662406360 hasConceptScore W1662406360C176783269 @default.
- W1662406360 hasConceptScore W1662406360C199360897 @default.
- W1662406360 hasConceptScore W1662406360C204306468 @default.
- W1662406360 hasConceptScore W1662406360C2524010 @default.
- W1662406360 hasConceptScore W1662406360C2776036281 @default.
- W1662406360 hasConceptScore W1662406360C2778770139 @default.
- W1662406360 hasConceptScore W1662406360C33923547 @default.
- W1662406360 hasConceptScore W1662406360C41008148 @default.
- W1662406360 hasConceptScore W1662406360C44616089 @default.
- W1662406360 hasConceptScore W1662406360C49937458 @default.
- W1662406360 hasLocation W16624063601 @default.
- W1662406360 hasOpenAccess W1662406360 @default.
- W1662406360 hasPrimaryLocation W16624063601 @default.
- W1662406360 hasRelatedWork W108833919 @default.
- W1662406360 hasRelatedWork W1488364561 @default.
- W1662406360 hasRelatedWork W1493537175 @default.
- W1662406360 hasRelatedWork W1497840745 @default.
- W1662406360 hasRelatedWork W1565043690 @default.
- W1662406360 hasRelatedWork W1586787260 @default.
- W1662406360 hasRelatedWork W176609766 @default.
- W1662406360 hasRelatedWork W1766332311 @default.
- W1662406360 hasRelatedWork W2020153579 @default.
- W1662406360 hasRelatedWork W2022472812 @default.
- W1662406360 hasRelatedWork W2063727779 @default.
- W1662406360 hasRelatedWork W2071787143 @default.
- W1662406360 hasRelatedWork W2078139775 @default.
- W1662406360 hasRelatedWork W2079333278 @default.
- W1662406360 hasRelatedWork W2083915057 @default.
- W1662406360 hasRelatedWork W2084130127 @default.
- W1662406360 hasRelatedWork W2148042027 @default.
- W1662406360 hasRelatedWork W2524588181 @default.
- W1662406360 hasRelatedWork W2772521659 @default.
- W1662406360 hasRelatedWork W80505390 @default.
- W1662406360 isParatext "false" @default.
- W1662406360 isRetracted "false" @default.
- W1662406360 magId "1662406360" @default.
- W1662406360 workType "article" @default.