共 53 条
[1]
Ahlgren J, 2013, J MACH LEARN RES, V14, P3649
[2]
Bacchus F, 2021, FRONT ARTIF INTEL AP, P929, DOI 10.3233/FAIA201008
[3]
From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems
[J].
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL,
2023, 7 (POPL)
:185-217
[5]
Bordes A., 2013, P 27 ANN C NEUR INF, P2787
[6]
Bramley Neil, 2018, P 40 ANN C COGN SCI
[8]
Corapi Domenico, 2012, Inductive Logic Programming. 21st International Conference, ILP 2011. Revised Selected Papers, P91, DOI 10.1007/978-3-642-31951-8_12
[9]
Cropper A., 2023, ECAI 2023 26 EUROPEA, P501
[10]
Cropper A, 2022, J ARTIF INTELL RES, V74, P765