LPForget: A System of Forgetting in Answer Set Programming
暂无分享,去创建一个
[1] Kewen Wang,et al. Forgetting and Conflict Resolving in Disjunctive Logic Programming , 2006, AAAI.
[2] Hans Tompits,et al. Forgetting in Managing Rules and Ontologies , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).
[3] Wolfgang Faber,et al. The DLV system for knowledge representation and reasoning , 2002, TOCL.
[4] R. Reiter,et al. Forget It ! , 1994 .
[5] Michael Gelfond,et al. Logic Programs with Classical Negation , 1990, ICLP.
[6] Abdul Sattar,et al. A Theory of Forgetting in Logic Programming , 2005, AAAI.