Programmazione logica abduttiva: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
fix +portale
Botcrux (discussione | contributi)
m Procedure abduttive: Bot: fix citazione web (v. discussione)
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}}