Author:
Dao-Tran Minh,Eiter Thomas,Krennwallner Thomas
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1-2), 81–132 (1980)
2. Baader, F., Hollunder, B.: Embedding Defaults into Terminological Knowledge Representation Formalisms. J. Autom. Reasoning 14(1), 149–180 (1995)
3. Straccia, U.: Default inheritance reasoning in hybrid KL-ONE-style logics. In: IJCAI 1993, pp. 676–681. Morgan Kaufmann, San Francisco (1993)
4. Padgham, L., Zhang, T.: A terminological logic with defaults: A definition and an application. In: IJCAI 1993, pp. 662–668. Morgan Kaufmann, San Francisco (1993)
5. Donini, F.M., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Logic 3(2), 177–225 (2002)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献