Publisher
Springer Nature Singapore
Reference12 articles.
1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symb. Log. 50, 510–530 (1985)
2. Avron, A.: Gentzen-type systems, resolution and tableaux. J. Autom. Reason. 10, 265–281 (1993)
3. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, Applications. Cambridge University Press, Cambridge, UK (2003)
4. Baader, F., Horrocks, I., Sattler, U.: Description logics (Chap. 3). In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier (2007)
5. Fermé, E., Hansson, S.O.: AGM 25 years, twenty-five years of research in belief change. J. Philos. Log. 40, 295–331 (2011)