6 search results - page 2 / 2 » A semantics for tracing declarative multi-paradigm programs |
WLP
2007
Springer
14 years 10 days ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...