Sciweavers

2307 search results - page 208 / 462
» Dynamic Fuzzy Logic
Sort
View
121
Voted
IGPL
2008
103views more  IGPL 2008»
15 years 5 months ago
Transition Logic Revisited
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
Wolfgang Bibel
160
Voted
ISSE
2007
15 years 5 months ago
Specifying real-time properties in autonomic systems
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K...
LFCS
2009
Springer
15 years 11 months ago
Completeness Results for Memory Logics
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
Carlos Areces, Santiago Figueira, Sergio Mera
FUZZIEEE
2007
IEEE
15 years 11 months ago
Blockwise Similarity in [0, 1] via Triangular Norms and Sugeno Integrals - Application to Cluster Validity
— In many fields, e.g. decision-making, numerical values in [0,1] are available and one is often interested in detecting which are similar. In this paper, we propose an operator...
Hoel Le Capitaine, Thomas Batard, Carl Frél...
ROBOCOMM
2007
IEEE
15 years 11 months ago
Cooperative information fusion in a network robot system
—The vision of network robot systems involves robots embedded in smart environments, with which they can collaborate and communicate. In such systems, robots have access to many ...
Kevin LeBlanc, Alessandro Saffiotti