Author:
Eiter Thomas,Fink Michael
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Ben-Eliyahu, R., Dechter, R.: Propositional semantics for disjunctive logic programs. Annals of Mathematics and Artificial Intelligence 12, 53–87 (1994)
2. Ben-Eliyahu, R., Palopoli, L.: Reasoning with minimal models: Efficient algorithms and applications. In: Proc. KR 1994, pp. 39–50 (1994)
3. Cabalar, P.: A three-valued characterization for strong equivalence of logic programs. In: Proc. AAAI 2002, pp. 106–111 (2002)
4. de Jongh, D.J., Hendriks, L.: Characterizations of strongly equivalent logic programs in intermediate logics. Theory and Practice of Logic Programming 3(3), 259–270 (2003)
5. Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM TODS 22(3), 364–417 (1997)
Cited by
63 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献