Next: Yannis Dimopoulos
Up: Discussion and remarks from
Previous: L.M. Pereira
first points out
three important features of Ilog solvers:
- Not rule-based.
- Rich syntax.
- Declarative way to express procedural aspects.
Even with this, people are reluctant to buy these solvers.
Along these features, ASP needs to:
- Hide rules.
- Enrich the syntax.
- Provide a declarative way to ``guide" search.
Stefan Woltran
2005-08-22