Predicate Answer Set Programming with Coinduction

By Richard Min

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3843365822
• ISBN13: 9783843365826
• Release Date: December 2010
• Publisher: LAP Lambert Academic Publishing
• Length: 180 Pages
• Weight: 0.60 lbs.
• Dimensions: 0.4" x 6.0" x 9.0"