Export: Computing abstract distances in logic programs
Casso, Ignacio de, Morales Caballero, José Francisco, López García, Pedro and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X
(2019).
Computing abstract distances in logic programs.
In:
"Computing Abstract Distances in Logic Programs: 29th International Symposium, LOPSTR 2019 Porto, Portugal, October 8–10, 2019 Revised Selected Papers".
Lecture Notes in Computer Science
(12042).
Springer, Suiza, pp. 57-72.
ISBN 978-3-030-45259-9.
https://doi.org/10.1007/978-3-030-45260-5_4.
Please select an output format: