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.
Characterization and 1.57 angstrom resolution structure of the key fire blight phosphatase AmsI from Erwinia amylovora Salomone-Stagni M; Musiani F; Benini S (INT UNION CRYSTALLOGRAPHY, 2016)AmsI is a low-molecular-weight protein tyrosine phosphatase that regulates the production of amylovoran in the Gram-negative bacterium Erwinia amylovora, a specific pathogen of rosaceous plants such as apple, pear and ...
Resolution-adaptive risk-aware trajectory planning for surface vehicles operating in congested civilian traffic Shah BC; Švec P; Bertaska IR; Sinisterra AJ; Klinger W; von Ellenrieder K; Dhanak M; Gupta SK (Springer US, 2015)The growing variety and complexity of marine research and application oriented tasks requires unmanned surface vehicles (USVs) to operate fully autonomously over long time horizons even in environments with significant ...