Reasoning about set constraints applied to tractable inference in intuitionistic logic
1998; Oxford University Press; Volume: 8; Issue: 6 Linguagem: Inglês
10.1093/logcom/8.6.855
ISSN1465-363X
Autores Tópico(s)Semantic Web and Ontologies
ResumoJournal Article Reasoning About Set Constraints Applied to Tractable Inference in Instutionstic Logic Get access THOMAS DRAKENGREN, THOMAS DRAKENGREN Department of Computer and Information Science, LinkÖping UniversityS-581 83 LinkÖping, Sweden. E-mail: thodrpetej@ida.liu.se Search for other works by this author on: Oxford Academic Google Scholar PETER JONSSON PETER JONSSON Department of Computer and Information Science, LinkÖping UniversityS-581 83 LinkÖping, Sweden. E-mail: thodrpetej@ida.liu.se Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 8, Issue 6, December 1998, Pages 855–875, https://doi.org/10.1093/logcom/8.6.855 Published: 01 December 1998 Article history Received: 16 December 1996 Published: 01 December 1998
Referência(s)