Browsing by Author "Kowalski, R. A."
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 ...
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, ...