a gentle introduction to the stable model semantics for logic programs

Name: a gentle introduction to the stable model semantics for logic programs
Uploaded: Nov 2, 2024
Description: a gentle introduction to the stable model semantics for logic programs