Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference25 articles.
1. Towards a theory of declarative knowledge;Apt,1988
2. Saturation, nonmonotonic reasoning and the closed world assumption;Bossu;Artificial Intelligence,1985
3. Symbolic Logic and Mechanical Theorem Proving;Chang,1973
4. Negation as failure;Clark,1978
5. On the adequacy of predicate circumscription for closed-world reasoning;Etherington;Comput. Intell.,1985
Cited by
78 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献