Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Terreni, G."'
We introduce a new proof procedure for abductive logic programming and prove two soundness results. Our procedure extends that of Fung and Kowalski by integrating abductive reasoning with constraint solving and by relaxing the restrictions on allowed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8a8b95d9d417f101ddefd4faf0160415
http://hdl.handle.net/10044/1/95506
http://hdl.handle.net/10044/1/95506