{"product_id":"predicate-answer-set-programming-with-coinduction-von-richard-min","title":"Predicate Answer Set Programming with Coinduction","description":"\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\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783843365826\"\u003e\u003ch3\u003eCoinductive SLDNF and its applcation to Predicate Answer Set Programming\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783843365826","offer_id":39497063891037,"sku":"9783843365826","price":68.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/4af4e877-035c-4673-9a2d-00e68e536e6b.jpg?v=1757655764","url":"https:\/\/shop.autorenwelt.de\/products\/predicate-answer-set-programming-with-coinduction-von-richard-min","provider":"Autorenwelt Shop","version":"1.0","type":"link"}