Defeasible logic programming in satisfiability modulo CHR

DOI10.1007/978-3-319-24309-2_15zbMath1430.68316MaRDI QIDQ2294079

Francesco Santini

Publication date: 10 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-319-24309-2_15

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68N17: Logic programming

68R07: Computational aspects of satisfiability