Results 271 to 280 of about 129,892 (308)
Some of the next articles are maybe not open access.
Multimodal identification using Markov logic networks
Face and Gesture 2011, 2011Human robot interaction presents a unique set of challenges for biometric person identification. During normal interactions between the robot and a user, a tremendous amount of information is available for identification. Our objective is to use this information to identify users quickly and accurately during interactions with a robot.
Wallace Lawson, Eric Martinson
openaire +2 more sources
Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection
2015We present a satisfiability-preserving embedding of coalition logic into a normal modal logic. An advantage of standard, normal, and modal logics is a well-understood theoretical foundation and the availability of tools for automated verification and reasoning.
Natasha Alechina +2 more
openaire +2 more sources
A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results [PDF]
, 1998 In this paper we present a prefixed analytic tableau calculus for a class of normal multimodal logics and we present some results about decidability and undecidability of this class. The class is characterized by axioms of the form [t 1] ... [t n]ϕ ⊃ [s 1] ... [s m]ϕ, called inclusion axioms, where the t i’s and s j’s are constants.
BALDONI, Matteo +2 more
openaire +1 more source
Multimodal epistemic Łukasiewicz logics with application in immune system
Soft Computing, 2015We offer a new logic, a multimodal epistemic ?ukasiewicz logic, which is an extension of the infinitely valued ?ukasiewicz logic, the language of the logic is an extended by unary connectives that are interpreted as modal operators (knowledge operators). We propose the use such a logic in studying immune system.
Nunu Mitskevich +2 more
openaire +2 more sources
Normal Multimodal Logics with Interaction Axioms
2000In this paper we present a prefixed analytic tableau calculus for a wide class of normal multimodal logics; the calculus can deal in a uniform way with any logic in this class. To achieve this goal, we use a prefixed tableau calculus a la Fitting, where we explicitly represent accessibility relations between worlds by means of a graph and we use the ...
openaire +3 more sources
Modified Tableaux for Some Kinds of Multimodal Logics
2016A multimodal logic is a logic where a certain number of different modal operators appear. In some of these logics we can have at our disposal a labeled tableaux method whereby different modal operators give rise to different labels. The properties of the accessibility relations, in the semantic view, may be treated by means of what we call inheritance ...
Emilio Gómez-Caminero +1 more
openaire +2 more sources
A resolution method for a non monotonic multimodal logic
2005In this paper we present a resolution method for a non monotonic multimodal logic: Hypothesis Theory. As we define a resolution method, we need modal formula to be in clausal normal form. But an important problem with modal logic is that there is no such simple normal form than in classical logic.
openaire +2 more sources
Towards Fuzzy Logic Based Multimodal Speech Filtering
2015After an investigation of state-of-the-art research in Chap. 3, Chap. 4 proposed a new two-stage audiovisual speech enhancement system that makes use of both audio and visual information to filter speech. The results of comprehensive testing in Chap. 5, identified a number of key strengths and weaknesses.
Andrew Abel, Amir Hussain
openaire +2 more sources