Applications of abductive logic programming

作者： A. C. Kakas , A. Michael

DOI:

关键词: Horn clause 、 Logic programming 、 Abductive logic programming 、 Computer science 、 Dynamic logic (modal logic) 、 Prolog 、 Concurrent constraint logic programming 、 Programming language 、 Functional logic programming 、 Inductive programming