4266 search results - page 128 / 854 » A Framework for Defining Logics |
MICAI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper, a new fuzzy logic-based approach to production scheduling in the presence of uncertain disruptions is presented. The approach is applied to a real-life pro...
VL
2003
IEEE
15 years 3 months ago
2003
IEEE
At the beginning stage of programming education, comprehending program logics plays a more important role than capturing knowledge of a specific program language. In this paper, t...
RSCTC
2000
Springer
15 years 1 months ago
2000
Springer
The aim of the paper is to present basic notions related to granular computing, namely the information granule syntax and semantics as well as the inclusion and closeness (similari...
IGPL
2002
14 years 9 months ago
2002
The semantics of the independence friendly logic of Hintikka and Sandu is usually defined via a game of imperfect information. We give a definition in terms of a game of perfect i...
EUSFLAT
2009
14 years 7 months ago
2009
Abstract-- The concept of an M-approximative system is introduced. Basic properties of the category of M-approximative systems and in a natural way defined morphisms between them a...