Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
2008 ◽
pp. 71-76
◽
Keyword(s):