next up previous
Next: F. Banti Up: Discussion and remarks from Previous: Marco Cadoli

Yannis Dimopoulos

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