Matches in SemOpenAlex for { <https://semopenalex.org/work/W2282023992> ?p ?o ?g. }
- W2282023992 abstract "We introduce negation into coinductive logic programming (co-LP) via what we term Coinductive SLDNF (co-SLDNF ) resolution. We present declarative and operational semantics of co-SLDNF resolution and present their equivalence under the restriction of rationality and its applications. We apply co-LP with co-SLDNF resolution to Answer Set Programming (ASP). ASP is a powerful programming paradigm for performing nonmonotonic reasoning within logic programming. The current state of ASP solvers has been restricted to “grounded range-restricted function-free normal programs”, with a “bottom-up” evaluation strategy (that is, not goal-driven) until now. The introduction of co-LP with co-SLDNF resolution has enabled the development of top-down goal evaluation strategies for ASP. We present a novel and innovative approach to solving ASP programs with co-LP. Our method eliminates the need for grounding, allows functions, and effectively handles a large class of predicate ASP programs including possibly infinite ASP programs. Moreover, it is goal-directed and top-down execution method that provides an innovative and attractive alternative to current ASP solver technology." @default.
- W2282023992 created "2016-06-24" @default.
- W2282023992 creator A5036757709 @default.
- W2282023992 creator A5067377863 @default.
- W2282023992 date "2010-12-20" @default.
- W2282023992 modified "2023-09-25" @default.
- W2282023992 title "Predicate Answer Set Programming with Coinduction" @default.
- W2282023992 cites W121190113 @default.
- W2282023992 cites W127451913 @default.
- W2282023992 cites W133375989 @default.
- W2282023992 cites W139008883 @default.
- W2282023992 cites W1481294694 @default.
- W2282023992 cites W1487409515 @default.
- W2282023992 cites W1491405159 @default.
- W2282023992 cites W1494051470 @default.
- W2282023992 cites W1494102861 @default.
- W2282023992 cites W1495396426 @default.
- W2282023992 cites W1498432697 @default.
- W2282023992 cites W1498722751 @default.
- W2282023992 cites W1503579182 @default.
- W2282023992 cites W1504482310 @default.
- W2282023992 cites W1504738844 @default.
- W2282023992 cites W1505455772 @default.
- W2282023992 cites W1506396519 @default.
- W2282023992 cites W1511336005 @default.
- W2282023992 cites W1511711492 @default.
- W2282023992 cites W1514729613 @default.
- W2282023992 cites W1519044014 @default.
- W2282023992 cites W1520331889 @default.
- W2282023992 cites W1523712082 @default.
- W2282023992 cites W1524332517 @default.
- W2282023992 cites W1526625950 @default.
- W2282023992 cites W1530765221 @default.
- W2282023992 cites W1536525036 @default.
- W2282023992 cites W1541434994 @default.
- W2282023992 cites W1543461272 @default.
- W2282023992 cites W1547562281 @default.
- W2282023992 cites W1549946801 @default.
- W2282023992 cites W1552605223 @default.
- W2282023992 cites W1555563750 @default.
- W2282023992 cites W1557561422 @default.
- W2282023992 cites W1559402073 @default.
- W2282023992 cites W1560084034 @default.
- W2282023992 cites W1562940416 @default.
- W2282023992 cites W1566723378 @default.
- W2282023992 cites W1567025285 @default.
- W2282023992 cites W1568715102 @default.
- W2282023992 cites W1568909857 @default.
- W2282023992 cites W1569596742 @default.
- W2282023992 cites W1570021672 @default.
- W2282023992 cites W1572277334 @default.
- W2282023992 cites W1572712485 @default.
- W2282023992 cites W1578088218 @default.
- W2282023992 cites W1589232796 @default.
- W2282023992 cites W1589875904 @default.
- W2282023992 cites W1592287058 @default.
- W2282023992 cites W1600919542 @default.
- W2282023992 cites W1602567617 @default.
- W2282023992 cites W1603799276 @default.
- W2282023992 cites W1606891084 @default.
- W2282023992 cites W1607619406 @default.
- W2282023992 cites W1627528933 @default.
- W2282023992 cites W1630259549 @default.
- W2282023992 cites W1639901403 @default.
- W2282023992 cites W1663140555 @default.
- W2282023992 cites W1667362966 @default.
- W2282023992 cites W1672891595 @default.
- W2282023992 cites W1694306392 @default.
- W2282023992 cites W1720682562 @default.
- W2282023992 cites W1732487661 @default.
- W2282023992 cites W1733489975 @default.
- W2282023992 cites W173759488 @default.
- W2282023992 cites W1751869754 @default.
- W2282023992 cites W1757148883 @default.
- W2282023992 cites W1764055246 @default.
- W2282023992 cites W1765915613 @default.
- W2282023992 cites W1766332311 @default.
- W2282023992 cites W1794109234 @default.
- W2282023992 cites W1809050960 @default.
- W2282023992 cites W1848771705 @default.
- W2282023992 cites W1924904173 @default.
- W2282023992 cites W1966552757 @default.
- W2282023992 cites W1968513265 @default.
- W2282023992 cites W1969682671 @default.
- W2282023992 cites W1970598347 @default.
- W2282023992 cites W1975629841 @default.
- W2282023992 cites W1976303542 @default.
- W2282023992 cites W1977815811 @default.
- W2282023992 cites W1979129485 @default.
- W2282023992 cites W197957271 @default.
- W2282023992 cites W1984715534 @default.
- W2282023992 cites W1985274317 @default.
- W2282023992 cites W1985819576 @default.
- W2282023992 cites W1991650963 @default.
- W2282023992 cites W1993979893 @default.
- W2282023992 cites W1998363560 @default.
- W2282023992 cites W1999459111 @default.
- W2282023992 cites W2003531456 @default.
- W2282023992 cites W2003545826 @default.
- W2282023992 cites W2004414305 @default.