BENNETT,B.,DIXON,C.,FISHER, M., HUSTADT,U.,FRANCONI, E., HORROCKS, I., AND DE RIJKE,M. 2002. Combinations of modal logics. Artif. Intel. Rev. 17,1(Mar.), 1--20. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Semantic Patterns - Staab, Erdmann, Mädche (Correct)
....possible purposes and applications of the future Semantic Web. A similar statement holds for current combinations of modal logics; in fact, the field as a whole is very young and can be exploited for practical purposes only to very limited extent in the near future (cf. the excellent survey paper [5]) Along similar lines KIF [19] was invented, but was most often only used at the syntactical rather than at the semantic level of knowledge transportation. Building on KIF, Gruber [22] 22 has investigated the translation between languages using the frame ontology as its interlingua. Though the ....
B. Bennett, C. Dixon, M. Fisher, E. Franconi, I. Horrocks, U. Hustadt, and M. de Rijke. Combinations of modal logics. submitted for publication, 2000.
Resolution-Based Proof for Multi-Modal Temporal Logics of.. - Dixon, Fisher (2000) (1 citation) Self-citation (Dixon Fisher) (Correct)
....temporal or dynamic logic is used for the dynamic aspects, the modal logics S5 and KD45 to represent knowledge and belief, and the modal logic KD for desires, intentions and wishes. Indeed the area of combining logics is a focus for much current research interest and activity, see for example [1, 2]. To be able to verify properties of specifications in these combined logics we need proof methods for them. However, comparatively little effort has been devoted to proof methods for combined logics. A resolution based method for linear time temporal logic with finite past and infinite future ....
....Further, in this paper we give a decision procedure for the logic KL n whereas for the method mentioned in [14] temination and its correctness with respect to the original modal and temporal logic semantics is also not discussed. Further issues relating to combining logics are considered in in [2, 1]. 8 Conclusions We have presented a resolution method for a multimodal temporal logic of knowledge. This extends the single modal temporal logic of knowledge presented in [6] Further, it corrects the suggestion of how to extend the single modal version to a multi modal version given at the end ....
B. Bennett, C. Dixon, M. Fisher, E. Franconi, I. Horrocks, U. Hustadt, and M. de Rijke. Combinations of Modal Logics. (Submitted).
acmj054-02 ACM-TRANSACTION April 25, 2005 21:57 - Supporting Application.. (2005) (Correct)
No context found.
BENNETT,B.,DIXON,C.,FISHER, M., HUSTADT,U.,FRANCONI, E., HORROCKS, I., AND DE RIJKE,M. 2002. Combinations of modal logics. Artif. Intel. Rev. 17,1(Mar.), 1--20.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC