Browsing by Author "Van Nuffelen, B."
Now showing items 1-2 of 2
-
Article
A-system: Declarative programming with abduction
Van Nuffelen, B.; Kakas, Antonis C. (2001)
-
Conference Object
A-system: Problem solving through abduction
Kakas, Antonis C.; Van Nuffelen, B.; Denecker, M. (2001)This paper presents a new system, called the A-System, performing abductive reasoning within the framework of Abductive Logic Programming. It is based on a hybrid computational model that implements the abductive search ...