Koller, D., Levy, A., & Pfeffer, A. (1997). P-CLASSIC: A tractable probabilistic **description**
logic. In Proc. of the 14th Nat. Conf. on Artificial Intelligence (AAAI-97), pp. **390–**
397.

Kruse, R., Schwecke, E., & Heinsohn, J. (1991). Uncertainty and Vagueness in **Knowledge**
Based Systems. Springer-Verlag, Berlin, **Germany.**
Lee, R. C. T. (1972). Fuzzy logic and the resolution principle. Journal of the ACM, 19 **(1),**
109–119.

Meghini, C., Sebastiani, F., & Straccia, U. (1997). Modelling the retrieval of **structured**
documents containing texts and images. In Proceedings of the First European Conference on Research and Advanced Technology for Digital Libraries, No. 1324 in **Lecture**
Notes in Computer Science, pp. 325–344 Pisa, **Italy.**
Meghini, C., Sebastiani, F., & Straccia, U. (1998). Mirlog: A logic for multimedia information retrieval. In Crestani, F., Lalmas, M., & van Rijsbergen, C. (Eds.), Logic and Uncertainty in Information Retrieval: Advanced models for the representation and retrieval of information, Vol. 4 of The Kluwer International Series On **Information**
Retrieval, chap. 7, pp. 151–185. Kluwer Academic Publishers, Boston, **USA.**
Meghini, C., & Straccia, U. (1996). A relevance terminological logic for information **retrieval.**
In Proceedings of the 19th Annual International ACM SIGIR Conference on **Research**
and Development in Information Retrieval (ACM SIGIR-96), pp. 197–205 **Zurich,**
Switzerland.

Nebel, B. (1988). Computational complexity of terminological reasoning in BACK. **Artificial**
Intelligence, 34, **371–383.**
Nebel, B. (1990). Reasoning and revision in hybrid representation systems. Springer, Heidelberg, **FRG.**
Papadimitriou, C. H., & Steiglitz, K. (1982). Combinatorial Optimization: Algorithms and Complexity. Prentice-Hall, Englewood Cliffs, New **Jersey.**
Pearl, J. (1988). Probabilistic Reasoning in Intelligent Systems: Networks of **Plausible**
Inference. Morgan Kaufmann, Los **Altos.**
Peltason, C. (1991). The BACK system - an overview. SIGART Bulletin, 2 (3), **114–119.** Roth, D. (1996). On the hardness of approximate reasoning. Artificial Intelligence **Journal**,
82, **273–302.**
Schmidt-Schauß, M., & Smolka, G. (1991). Attributive concept descriptions with complements. Artificial Intelligence, 48, **1–26.** Sebastiani, F. (1994). A probabilistic terminological logic for modelling information retrieval. In Proceedings of SIGIR-94, 17th ACM International Conference on **Research**
and Development in Information Retrieval, pp. 122–130 Dublin, IRL. **Published** by Springer Verlag, Heidelberg, **FRG.**