Report - A Progression Semantics for First-Order Logic Programsyan/... · nonmonotonic reasoning in the area of knowledge representation and reasoning due to its simplicity, expressive power

Please pass captcha verification before submit form