• Article  

      Abductive logic programming 

      Kakas, Antonis C.; Kowalski, R. A.; Toni, F. (1992)
      This paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). We outline the general framework of abduction and its applications ...
    • Article  

      The scientific contribution of marek sergot 

      Barker, S.; Jones, A. J. I.; Kakas, Antonis C.; Kowalski, R. A.; Lomuscio, A.; Miller, R.; Muggleton, S.; Sartor, G. (2012)
      Marek Sergot's technical contributions range over different subjects. He has developed a series of novel ideas and formal methods bridging different research domains, such as artificial intelligence, computational logic, ...