Publisher
Springer Nature Singapore
Reference17 articles.
1. Clocksin, W.F., Mellish, C.S.: Programming in Prolog. Springer-Verlag, 5th edn. (2003)
2. Ferraris, P., Lifschitz, V.: Mathematical foundations of answer set programming. In: We Will Show Them! (1), pp. 615–664. College Publications (2005)
3. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Multi-shot asp solving with clingo. Theory Pract. Logic Program. 19(1), 27–82 (2019). https://doi.org/10.1017/S1471068418000054
4. Gilpin, L.H.: Anomaly detection through explanations. Ph.D. thesis, Massachusetts Institute of Technology (2020)
5. Klück, F., Li, Y., Tao, J., Wotawa, F.: An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems. Inf. Softw. Technol. 160, 107225 (2023). https://doi.org/10.1016/J.INFSOF.2023.107225