The attached send cwm.py into an infinite loop. Is that sorta by design? Should we consider well-founded semantics or stable semantics? Or would something constructive/intuitionistic help? References... http://www.polleres.net/publications/poll-etal-2006b.pdf 1. V. Lifschitz, L. R. Tang, and H. Turner. Nested expressions in logic programs. Annals of Mathematics and Artificial Intelligence, 25(3-4):369–389, 1999. 2. D. Pearce. Equilibrium logic. Annals of Mathematics and Artificial Intelligence, 2006. in press, online version available at http://dx.doi.org/10.1007/s10472-006-9028-z. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:10:59 GMT