Author:
Janhunen Tomi,Niemelä Ilkka
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Brass, S., Dix, J.: Characterizations of the (disjunctive) stable semantics by partial evaluation. Journal of Logic Programming 32(3), 207–228 (1997)
2. Eiter, T., Gottlob, G.: On the computational cost of disjunctive logic programming: Propositional case. Annals of Mathematics and Artificial Intelligence 15, 289–323 (1995)
3. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365–385 (1991)
4. Janhunen, T., Niemelä, I., Seipel, D., Simons, P., You, J.-H.: Unfolding partiality and disjunctions in stable model semantics. CoRR: cs.AI/0303009 (March 2003) (submitted for publication)
5. Leone, N., et al.: A disjunctive datalog system DLV (2002-04-12) (2002), Available in the World Wide Web http://www.dbai.tuwien.ac.at/proj/dlv/
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献