Explaining Subsumption by Optimal Interpolation
暂无分享,去创建一个
[1] Ulrich Endriss. Reasoning in Description Logics with Wellington 1.0 - System Description , 2000, ARW.
[2] Willard Van Orman Quine,et al. The Problem of Simplifying Truth Functions , 1952 .
[3] Ian Horrocks,et al. Explaining ALC Subsumption , 2000, Description Logics.
[4] Franz Baader,et al. An Overview of Tableau Algorithms for Description Logics , 2001, Stud Logica.
[5] Wolfgang Rautenberg,et al. Modal tableau calculi and interpolation , 1983, J. Philos. Log..
[6] William Craig,et al. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory , 1957, Journal of Symbolic Logic.
[7] Bernhard Nebel,et al. Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..
[8] Stefan Schlobach,et al. Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.
[9] M. Kracht. Tools and Techniques in Modal Logic , 1999 .