Browsing by Author "Kowalski, R. A."
Now showing items 1-2 of 2
-
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, ...