Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference20 articles.
1. The Description Logic Handbook: Theory, Implementation, and Applications;Baader,2007
2. Complexity and expressive power of logic programming;Dantsin;ACM Comput. Surv.,2001
3. A machine program for theorem-proving;Davis;Commun. ACM,1962
4. Ultimate approximation and its application in nonmonotonic knowledge representation systems;Denecker;Inf. Comput.,2004
5. A uniform integration of higher-order reasoning and external evaluations in answer-set programming;Eiter,2005
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献