Sciweavers

2307 search results - page 129 / 462
» Dynamic Fuzzy Logic
Sort
View
JUCS
2006
135views more  JUCS 2006»
15 years 4 months ago
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs
Abstract: Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of...
Pascual Julián, Ginés Moreno, Jaime ...
TYPES
1995
Springer
15 years 8 months ago
A Natural Deduction Approach to Dynamic Logic
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
Furio Honsell, Marino Miculan
IJCAI
2003
15 years 5 months ago
On the Undecidability of Description and Dynamic Logics with Recursion and Counting
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar­ chy of decidable logics with multiple maximal el­ ements. It would be desirable to ...
Piero A. Bonatti
EUSFLAT
2009
146views Fuzzy Logic» more  EUSFLAT 2009»
15 years 2 months ago
Opposite Fuzzy Sets with Applications in Image Processing
Diverse forms of the concept of opposition are already existent in philosophy, linguistics, psychology and physics. The interplay between entities and opposite entities is apparent...
Hamid R. Tizhoosh
MICAI
2005
Springer
15 years 10 months ago
Fuzzeval: A Fuzzy Controller-Based Approach in Adaptive Learning for Backgammon Game
Abstract. In this paper we investigate the effectiveness of applying fuzzy controllers to create strong computer player programs in the domain of backgammon. Fuzzeval, our proposed...
Mikael Heinze, Daniel Ortiz Arroyo, Henrik Legind ...