Rules with Bounded Negation and the

Rules with Bounded Negation and the Coverage Inference Scheme

ผลลัพธ์ (ไทย) 2:

กฎที่มีขอบเขตการปฏิเสธและครอบคลุมการอนุมานโครงการ

ผลลัพธ์ (ไทย) 3:

กฎจำกัดปฏิเสธและครอบคลุมการอนุมานแบบ