Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Baader, F.: Logic-based knowledge representation. In: Wooldrige, M.J., Veloso, M. (eds.) Artificial Intelligence Today, Recent Trends and Developments, pp. 13–41. Springer, Heidelberg (1999)
2. Baumgartner, P., Furbach, U., Thomas, B.: Model-based deduction for knowledge representation. In: Proceedings of the International Workshop on the Semantic Web, Hawaii, USA (2002)
3. Bonissone, P.: Soft computing: the convergence of emerging reasoning technologies. Soft computing 1, 6–18 (1997)
4. Borgida, A.: On the relationship between description logic and predicate logic. In: CIKM, pp. 219–225 (1994)
5. Borgida, A.: On the relative expressiveness of description logics and predicate logics. Artificial Intelligence 82(1–2), 353–367 (1996)