Programmazione logica abduttiva: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m →Procedure abduttive: Bot: Aggiungo navbox |
Recupero di 2 fonte/i e segnalazione di 0 link interrotto/i. #IABot (v2.0beta15) |
||
Riga 20:
* Kakas-Mancarella
* SLDNFA
* {{cita web | 1 = http://ada.cs.ucy.ac.cy/aclp/ | 2 = ACLP | accesso = 1 giugno 2006 | urlarchivio = https://web.archive.org/web/20070310140828/http://ada.cs.ucy.ac.cy/aclp/ | dataarchivio = 10 marzo 2007 | urlmorto = sì }}
* IFF
* {{cita web | 1 = http://www.cs.kuleuven.ac.be/~bertv/Asystem/ | 2 = A-system | accesso = 1 giugno 2006 | urlarchivio = https://web.archive.org/web/20050728121306/http://www.cs.kuleuven.ac.be/~bertv/Asystem/ | dataarchivio = 28 luglio 2005 | urlmorto = sì }}
* {{cita web|http://lia.deis.unibo.it/research/sciff/|SCIFF}}
| |||