Skip to content

A-system: Declarative Programming with Abduction.

Bert Van Nuffelen, Antonis C. Kakas

VenueBLPNMR
Year2001
ProceedingsLPNMR

Browse the full LPNMR paper archive.