On the Computational Aspect of Rule Based Database Updates
暂无分享,去创建一个
[1] Jan Maluszy¿ski. Answer Sets for Prioritized Logic Programs , 1997 .
[2] P. Simons. Eecient Implementation of the Well- Founded and Stable Model Seman- Tics , 1996 .
[3] José Júlio Alferes,et al. Dynamic Logic Programming , 1998, APPIA-GULP-PRODE.
[4] Ilkka Niemelä,et al. Efficient Implementation of the Well-founded and Stable Model Semantics , 1996, JICSLP.
[5] Yan Zhang,et al. Implementing Prioritized Logic Programming , 1999, ISMIS.
[6] Vladimir Lifschitz,et al. Splitting a Logic Program , 1994, ICLP.
[7] Victor W. Marek,et al. Autoepistemic logic , 1991, JACM.
[8] Victor W. Marek,et al. Annotated Revision Programs , 1999, LPNMR.