VIDEAS

swMATH9771MaRDI QIDQ21750FDOQ21750

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-20895-9_45

Cited In (3)

• FORMULA 2.0
• Answering the ``why in answer set programming -- a survey of explanation approaches
• PTL: a model transformation language based on logic programming

This page was built for software: VIDEAS