Super Logic Programs: References

BDP97a

S. Brass, J. Dix, T. C. Przymusinski: Super Logic Programs. Technical report, Universität Hannover, Institut für Informatik, 1997.

• Abstract or Postscript (191K) or TeX-dvi (73K)

BDP96b

S. Brass, J. Dix, T. C. Przymusinski: Super Logic Programs. In L.C. Aiello, J. Doyle, S.C. Shapiro (eds.), Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 529-541, Morgan Kaufmann, 1996.

• Abstract or Paper (ps, 90K) or

Prz95a

T. C. Przymusinski: Semantics of Normal and Disjunctive Logic Programs: A Unifying Framework. In J. Dix, L. M. Pereira, T. Przymusinski (eds.), Nonmonotonic Extensions of Logic Programming, LNAI 927, Springer, 1995, 43-67.

• Postscript (252k)

Prz95b

T. C. Przymusinski: Static Semantics for Normal and Disjunctive Logic Programs. Annals of Mathematics and Artificial Intelligence 14, 1995, 323-357.

• Postscript (252k)

Prz94a

T. C. Przymusinski: A Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs. Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI-94, Seattle, Washington, August 1994, 952-959.

• Postscript (264k)

BD95a

S. Brass, J. Dix: A General Approach to Bottom-Up Computation of Disjunctive Semantics. In J. Dix, L. M. Pereira, T. Przymusinski (eds.), Nonmonotonic Extensions of Logic Programming, LNAI 927, Springer, 1995, 127-155.

• Abstract or Postscript (127K)

BD95b

S. Brass, J. Dix: Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. In L. Sterling (ed.), Twelfth International Conference on Logic Programming (ICLP'95), MIT Press, 1995, 199-213.

• Postscript (117K)

If you know further related papers, please send me an email.