Author:
Cabalar Pedro,Odintsov Sergei,Pearce David
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Bonatti, P.: Autoepistemic logics as a unifying framework for the semantic of logic programs. Journal of Logic Programming 22(2), 91–149 (1995)
2. Brass, S., Dix, J.: A disjunctive semantics based on unfolding and bottom-up evaluation. In: IFIP 1994 Congress, Workshop FG2: Disjunctive Logic Programming and Disjunctive Databases, pp. 83–91 (1994)
3. Brass, S., Dix, J.: Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. Journal of Logic Programming 30, 207–228 (1997)
4. Brass, S., Dix, J.: Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA. Journal of Automated Reasoning 20, 143–165 (1998)
5. Cabalar, P.: Well-founded semantics as two-dimensional here-and-there. In: Proceedings of ASP 2001, 2001 AAAI Spring Symposium Series (2001)