Embedding-based approaches to paraconsistent and temporal description logics
2011; Oxford University Press; Volume: 22; Issue: 5 Linguagem: Inglês
10.1093/logcom/exr016
ISSN1465-363X
Autores Tópico(s)Logic, programming, and type systems
ResumoJournal Article Embedding-based approaches to paraconsistent and temporal description logics Get access Norihiro Kamide Norihiro Kamide Waseda Institute for Advanced Study, Waseda University, 1-6-1 Nishi Waseda, Shinjuku-ku, Tokyo 169-8050, Japan.E-mail: drnkamide08@kpd.biglobe.ne.jp Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 22, Issue 5, October 2012, Pages 1097–1124, https://doi.org/10.1093/logcom/exr016 Published: 25 June 2011 Article history Received: 20 September 2010 Published: 25 June 2011
Referência(s)