Show simple item record

dc.contributor.authorNalon, C
dc.contributor.authorKutz, O
dc.date.accessioned2016-01-13T09:56:00Z
dc.date.available2016-01-13T09:56:00Z
dc.date.issued2014
dc.identifier.citationNalon C, Kutz O (2014). Towards Resolution-based Reasoning for Connected Logics. Electronic Notes in Theoretical Computer Science, 305, 85-102.en_US
dc.identifier.issn1571-0661
dc.identifier.urihttp://dx.doi.org/10.1016/j.entcs.2014.06.007
dc.identifier.urihttp://www.sciencedirect.com/science/article/pii/S157106611400053X
dc.identifier.urihttp://hdl.handle.net/10863/1495
dc.description.abstractThe 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 concerning decidability preservation. However, so far no dedicated automated reasoning solutions have been developed, and the only reasoning available was via translation into sufficiently expressive logics. In this paper, we present a simple modalised version of basic EE-connections, and develop a sound, complete, and terminating resolution-based reasoning procedure. The approach is modular and can be extended to more expressive versions of EE-connections.en_US
dc.publisherElsevieren_US
dc.subjectE-connectionsen_US
dc.subjectnormal modal logicsen_US
dc.subjectTheorem-provingen_US
dc.subjectResolution methoden_US
dc.subjectBridge principlesen_US
dc.titleTowards Resolution-based Reasoning for Connected Logicsen_US
dc.typeArticleen_US
dc.date.updated2016-01-13T09:51:27Z
dc.journal.titleElectronic Notes in Theoretical Computer Science
dc.description.fulltextopenen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record