Publisher
Springer Berlin Heidelberg
Reference58 articles.
1. Areces C, ten Cate B (2007) Hybrid logics. In: Blackburn P, van Benthem J, Wolter F (eds) Handbook of modal logic. Elsevier, pp 821–868
2. Baader F, Küsters R (2006) Nonstandard inferences in description logics: the story so far. In: Gabbay DM, Goncharov SS, Zakharyaschev M (eds) Mathematical problems from applied logic I: logics for XXIst century, volume 4 of international mathematical series, pp 1–75. Springer
3. Baader F, Nutt W (2002) Basic description logics. In: Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) Description logic handbook, Cambridge University Press, pp 47–100
4. Barrat A, Barthélémy M, Pastor-Satorras R, Vespignani A (2004) The architecture of complex weighted networks. Proc Natl Acad Sci 101(11):3747–3752
5. Blackburn P (2000) Representation, reasoning, and relational structures: a hybrid logic manifesto. Log J IGPL 8(3):339–625