Programmazione logica abduttiva: differenze tra le versioni

Versione delle 12:03, 21 apr 2015

Versione delle 12:49, 9 gen 2016

Riga 20:

* Kakas-Mancarella

* SLDNFA

* [{{cita web|http://ada.cs.ucy.ac.cy/aclp/ |ACLP]}}

* IFF

* [{{cita web|http://www.cs.kuleuven.ac.be/~bertv/Asystem/ |A-system]}}

* [{{cita web|http://lia.deis.unibo.it/research/sciff/ |SCIFF]}}

{{portale|informatica|ingegneria}}