Asp

Answer Set Programming: Logic Programming with Stable Models

Comprehensive guide to answer set programming, exploring logic programming with stable model semantics for knowledge representation and reasoning.