NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics [chapter]

Christian Anger, Kathrin Konczak, Thomas Linke
2001 Lecture Notes in Computer Science  
doi:10.1007/3-540-45402-0_32 fatcat:ic5qzd5cpnc3lfp43zasqmcoiq