Title
A-system: Declarative Programming with Abduction
Year
DOI
Venue
2001
10.1007/3-540-45402-0_29
LPNMR
Keywords
DocType
ISBN
declarative programming,abductive reasoning,computer model,proof of principle,abductive logic programming,system performance
Conference
3-540-42593-4
Citations 
PageRank 
References 
12
1.19
7
Authors
2
Name
Order
Citations
PageRank
Bert Van Nuffelen118912.33
Antonis C. Kakas2127797.13