Towards Resolution-based Reasoning for Connected Logics
MetadataShow full item record
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 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.
Showing items related by title, author, creator and subject.
Bertotti, ML; Montecchiari, P (Elsevier, 1998)The existence is proved, by means of variational arguments, of infinitely many heteroclinic solutions connecting possibly degenerate equilibria for a class of almost periodic Lagrangian system. An analogous multiplicity ...
Gattullo CE; Allegretta I; Medici L; Fijan R; Pii Y; Cesco S; Mimmo T; Terzano R (WILEY-V C H VERLAG GMBH, 2016)Silicon (Si) is a beneficial element for plants as it increases their resistance to several biotic and abiotic stresses. In the rhizosphere, root exudates, especially when released by nutritionally stressed plants, promote ...