Author:
Vennekens Joost,Denecker Marc
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Denecker, M.: Logic programming revisited: logic programs as inductive definitions. ACM Transactions on Computational Logic 2(4), 623–654 (2001)
2. Denecker, M., Marek, V., Truszczynski, M.: Approximating operators, stable operators, well-founded fixpoints and applications in non-monotonic reasoning. In: Logic-based Artificial Intelligence. The Kluwer International Series in Engineering and Computer Science, pp. 127–144 (2000)
3. Denecker, M., Marek, V., Truszczynski, M.: Uniform semantic treatment of default and autoepistemic logics. Artificial Intelligence 143(1), 79–122 (2003)
4. Denecker, M., Ternovska, E.: Inductive situation calculus. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), pp. 545–553. AAAI Press, Menlo Park (2004)
5. Lecture Notes in Artificial Intelligence;M. Denecker,2003
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献