Jurgen Dix

• Non-monotonic extensions of logic programming
• Non-monotonic extensions of logic programming