Publisher
Springer Science and Business Media LLC
Reference29 articles.
1. Antonelli, G. A.: A directly cautious theory of defeasible consequence for default logic via the notion of a general extension, Artificial Intelligence 109 (1999), 71–109.
2. Apt, K. R., Blair, H. A., and Walker, A.: Towards a theory of declarative knowledge, in Jack Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, San Mateo, CA, 1988, pp. 89–148.
3. Baader, F. and Hollunder, B.: Priorities on defaults with prerequisites, and their applications in treating specificity in terminological default logic, Journal of Automated Reasoning 15 (1995), 41–68.
4. Brewka, G.: Adding priorities and specificity to default logic, in Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA-94), Springer Verlag Lecture Notes in Artificial Intelligence, Springer, Berlin Heidelberg New York, 1994, pp. 247–260.
5. Brewka, G.: Reasoning about priorities in default logic, in Proceedings of the Twelveth National Conference on Artificial Intelligence (AAAI-94), AAAI/MIT, 1994, pp. 940–945.
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献