A significant extension of logic programming by adapting model building rules
Keyword(s):
2003 ◽
Vol 15
(2)
◽
pp. 69-71
◽
Keyword(s):
2018 ◽
Vol 1
(1)
◽
pp. 21-37
2007 ◽
Vol 22
◽
pp. 37-47
◽
2011 ◽
Vol E94-B
(8)
◽
pp. 2208-2215
Keyword(s):