Browsing Τμήμα Πληροφορικής / Department of Computer Science 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 ...