Author:
Loyer Yann,Spyratos Nicolas
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Alferes, J.J., Damásio, C.V., Pereira, L.M., A logic programming system for non-monotonic reasoning, Journal of Automated Reasoning, 14: 97–147, 1995.
2. Bidoit N., Froideveaux C., General logical databases and programs: Default logic semantics and stratification, Journal of Information and Computation, 1988.
3. Bidoit N., Froideveaux C., Negation by default and unstratifiable logic programs, TCS, 78, 1991.
4. Brass, S., Dix, J., Characterizations of the disjunctive well-founded semantics: confluent calculi and iterated GCWA, Journal of Automated Reasoning, 20(1): 143–165, 1998.
5. Chen, W., Swift, T., Warren, D.S., Efficient top-down computation of queries under the well-founded semantics, Journal of Logic Programming, 24(3): 161–199, 1995.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献