Author:
Soininen Timo,Niemelä Ilkka
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. T. Axling and S. Haridi. A tool for developing interactive configuration applications. Journal of Logic Programming, 19:658–679, 1994.
2. Y. Dimopoulos, B. Nebel, and J. Koehler. Encoding planning problems in nonmonotonic logic programs. In Proceedings of the Fourth European Conference on Planning. Springer-Verlag, 1997.
3. J. Dix. Semantics of logic programs: Their intuitions and formal properties. In Logic, Action and Information-Essays on Logic in Philosophy and Artificial Intelligence, pages 241–327. DeGruyter, 1995.
4. W.F. Dowling and J.H. Gallier. Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Journal of Logic Programming, 3:267–284, 1984.
5. T. Eiter and G. Gottlob. On the computational cost of disjunctive logic programming: Propositional case. Annals of Mathematics and Artificial Intelligence, 15:289–323, 1995.
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献