Author:
Niemelä Ilkka,Simons Patrik
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. C. Baral and M. Gelfond. Logic programming and knowledge representation. Journal of Logic Programming, 19&20(73–148), 1994.
2. C. Bell, A. Nerode, R.T. Ng, and V.S. Subrahmanian, Mixed integer programming methods for computing nonmonotonic deductive databases. Journal of the ACM, 41(6):1178–1215, November 1994.
3. W. Chen and D.S. Warren. The SLG system, 1993. Available at ftp://seas.smu.edu/pub/or ftp://sbcs.sunysv.edu/pub/XSB/.
4. W. Chen and D.S. Warren. Computation of stable models and its integration with logical query processing. IEEE Transactions on Knowledge and Data Engineering, 8(5):742–757, 1996.
5. P. Cholewiński, V.W. Marek, A. Mikitiuk, and M. Truszczyński. Experimenting with nonmonotonic reasoning. In Proceedings of the 12th International Conference on Logic Programming, pages 267–281, Tokyo, June 1995.
Cited by
151 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantum Answer Set Programming Solver Using Amplitude Amplification;2024 International Conference on Machine Intelligence and Smart Innovation (ICMISI);2024-05-12
2. A novel vision transformer model for rumor prediction in COVID-19 data CT images;Journal of Intelligent & Fuzzy Systems;2023-12-20
3. Answer Set Planning: A Survey;Theory and Practice of Logic Programming;2022-04-01
4. Parallel Logic Programming: A Sequel;Theory and Practice of Logic Programming;2022-03-28
5. How to Build Your Own ASP-based System?!;Theory and Practice of Logic Programming;2021-12-13