A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming.

Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang

Browse the full ICCI paper archive.