Now showing items 1-1 of 1

    • Towards Resolution-based Reasoning for Connected Logics 

      Nalon, C; Kutz, O (Elsevier, 2014)
      The method of connecting logics has gained a lot of attention in the knowledge representation and ontology communities because of its intuitive semantics and natural support for modular KR, its generality, and its robustness ...