Cited By
View all- Chen YLin FZhang YZhou Y(2011)Loop-separable programs and their first-order definabilityArtificial Intelligence10.1016/j.artint.2010.12.001175:3-4(890-913)Online publication date: 1-Mar-2011
- Zhang YZhou Y(2010)On the progression semantics and boundedness of answer set programsProceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning10.5555/3031748.3031814(518-526)Online publication date: 9-May-2010
- Cosmadakis SFoustoucos ESidiropoulos A(2010)Undecidability and intractability results concerning datalog programs and their persistency numbersACM Transactions on Computational Logic10.1145/1656242.165624711:2(1-29)Online publication date: 22-Jan-2010
- Show More Cited By