Next: F. Banti
Up: Discussion and remarks from
Previous: Marco Cadoli
asks in response to L.M. Pereira:
Why shift from ``top-down" (goal-oriented, resolution) to ``bottom-up"
(model-oriented, Davis-Putnam)? The answer is efficiency.
The well-founded semantics is not sufficiently expressive.
Stefan Woltran
2005-08-22