Sciweavers

2348 search results - page 100 / 470
» A Fuzzy Description Logic
Sort
View
CORR
2007
Springer
119views Education» more  CORR 2007»
14 years 10 months ago
Using Description Logics for Recognising Textual Entailment
The aim of this paper is to show how we can handle the Recognising Textual Entailment (RTE) task by using Description Logics (DLs). To do this, we propose a representation of natur...
Paul Bedaride
CDES
2006
99views Hardware» more  CDES 2006»
14 years 11 months ago
Realization of Digital Fuzzy Operations Using Multi-Valued Fredkin Gates
Multi-valued Fredkin gates (MVFG) are reversible gates and they can be considered as modified version of the better known reversible gate the Fredkin gate. Reversible logic gates ...
Amin Ahsan Ali, Hafiz Md. Hasan Babu, Ahsan Raja C...
CADE
2008
Springer
15 years 10 months ago
MTT: The Maude Termination Tool (System Description)
Francisco Durán, Salvador Lucas, José...
ECAI
2010
Springer
14 years 11 months ago
Verifying Properties of Infinite Sequences of Description Logic Actions
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
Franz Baader, Hongkai Liu, Anees ul Mehdi
IJAR
2008
117views more  IJAR 2008»
14 years 10 months ago
New geometric inference techniques for type-2 fuzzy sets
This paper presents new techniques for performing logical operations on type-2 fuzzy sets. These techniques make significant use of geometric methods to give, for the first time, ...
Simon Coupland, Robert John