{"product_id":"predicate-answer-set-programming-with-coinduction-coinductive-sldnf-and-its-applcation-to-predicate-answer-set-programming-3843365822","title":"Predicate Answer Set Programming with Coinduction: Coinductive SLDNF and its applcation to Predicate Answer Set Programming","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 3843365822\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Min, Richard\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\u003cp\u003eWe 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 to Answer Set Programming (ASP). ASP is a powerful programming paradigm for performing non-monotonic 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.\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":68174033781024,"sku":"NEW3843365822","price":154.0,"currency_code":"CAD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/61tzp3SbFgS.jpg?v=1794052131","url":"https:\/\/miakarts.com\/en-ca\/products\/predicate-answer-set-programming-with-coinduction-coinductive-sldnf-and-its-applcation-to-predicate-answer-set-programming-3843365822","provider":"Miakarts Books","version":"1.0","type":"link"}