Author:
You Jia-Huai,Yuan Li Yan,Goebel Randy
Reference41 articles.
1. C. Aravindan, An abductive framework for negation in disjunctive logic programming, Technical Report, University of Koblenz-Landau, 1996
2. Logic programming and knowledge representation;Baral;Journal of Logic Programming,1994
3. C. Baral, V. Subrahmanian, Stable and extension class theory for logic programs and default logic, Journal of Automated Reasoning (1992) 345–366
4. Model elimination without contrapositives and its application to PTTP;Baumgartner;Journal of Automated Reasoning,1994
5. P. Baumgartner, U. Furbach, Calculi for disjunctive logic programming, in: Proceedings of ILPS'97, MIT Press, Cambridge, MA, 1997, pp. 229–244
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献