Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Denecker, M."

Now showing items 1-2 of 2

    • 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 ...
    • Article  

      Abduction in logic programming 

      Denecker, M.; Kakas, Antonis C. (2002)
      Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. ...