ITEM METADATA RECORD
Title: SLDNFA: an abductive procedure for normal abductive programs
Authors: Denecker, Marc ×
De Schreye, Danny #
Issue Date: 1992
Host Document: Proc. of the International Joint Conference and Symposium on Logic Programming pages:686-700
Conference: the International Joint Conference and Symposium on Logic Programming
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
27846.pdf Published 186KbAdobe PDFView/Open

 


All items in Lirias are protected by copyright, with all rights reserved.