An Abductive Proof Procedure for Conditional Logic Programming

Contributo in Atti di convegno
Data di Pubblicazione:
1996
Tipologia CRIS:
04B-Conference paper in rivista
Elenco autori:
L. Giordano; A. Martelli; M. L. Sapino
Autori di Ateneo:
SAPINO Maria Luisa
Link alla scheda completa:
https://iris.unito.it/handle/2318/101867
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series