Archive for William W. Wadge 2005

Wadge index
Cartesian index
Christos Nomikos, Panos Rondogiannis, William W. Wadge.
A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics.
In Maurizio Gabbrielli, Gopal Gupta (ed.), Proceedings of the 21st International Conference on Logic Programming. Lecture Notes in Computer Science. Vol. 3668. pp.414--415. 2005. Springer-Verlag.
Panos Rondogiannis, William W. Wadge.
Minimum model semantics for logic programs with negation-as-failure.
ACM Transactions on Computational Logic 6(2):441--467, 2005.