The paper shows satissability in many propositional modal systems, including K, KD, KT and KB, their combinations as well as their multi-modal versions, can be decided by ordinary resolution procedures. This follows from a general result that resolution and condensing is a decision procedure for the satissability problem of formulae in so-called path logics. Path logics arise from propositional...

Imitation Learning (IL) is anticipated to achieve intelligent robots since it allows the user teach various robot tasks easily．In particular, Few-Shot (FSIL) aims infer and adapt fast unseen with a small amount of data. Though FSIL requires few-shot data, high cost demonstrations in IL still critical problem. Especially when we want new task, need execute task for assignment every time. Inspire...

Metaphor is understanding one thing in terms of another. Metaphors can be experienced two types relation to their modes: monomodal and multimodal metaphors. Taking for granted that conceptual metaphor a matter thought action entails other modes than verbal/linguistic express individually or jointly. Declaring metaphors may represented non-verbally multimodally requires procedures allow us propo...

This paper examines the issue of face, speaker and bi-modal authentication in mobile environments when there is significant condition mismatch. We introduce this mismatch by enrolling client models on high quality biometric samples obtained on a laptop computer and authenticating them on lower quality biometric samples acquired with a mobile phone. To perform these experiments we develop three ...