Author:
Grosof Benjamin,Kifer Michael,Swift Theresa,Fodor Paul,Bloomfield Janine
Publisher
Springer Nature Switzerland
Reference40 articles.
1. Baader, F., Hollunder, B.: Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. J. Autom. Reason. 15(1), 41–68 (1995)
2. Bonner, A., Kifer, M.: Transaction logic programming. In: Int’l Conference on Logic Programming, pp. 257–282. MIT Press, Budapest, Hungary (June 1993)
3. Bonner, A., Kifer, M.: An overview of transaction logic. Theor. Comput. Sci. 133, 205–265 (1994)
4. Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. Artif. Intell. 109, 297–356 (1999)
5. Brewka, G., Eiter, T.: Prioritizing default logic. In: Intellectics and Computational Logic - Papers in Honour of Wolfgang Bibel, pp. 27–45. Kluwer Academic Publishers (2000)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献