Exécution de notre outil de synthèse sur un nouvel article
Vérifiez l’article ci-dessous, puis lancez sa synthèse.
Spatial Reasoning and Modal Logic
Gérard Ligozat
DOI: 10.1002/9781118601457.ch13 (Computer Science)
Licence : non indiquée (tous droits réservés)
Résumé : This chapter contains sections titled: “The blind men and the elephant” Space and modal logics The modal logic S4 Topological models Translating the RCC-8 predicates An alternative modal translation of RCC-8 Generalized frames Complexity Complements
Publié le 13 Fév. 2013