1549 search results - page 97 / 310 » On the rules of intermediate logics |
ARC
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents the implementation of an environment for the evolution of one-dimensional cellular automata using a reconfigurable logic device. This configware is aimed at eva...
INFORMATICALT
2002
13 years 8 months ago
2002
This paper analyses the control of nonlinear plant with the changing dynamics. Adaptive controllers, based on fuzzy logics, are synthesized for the control of air pressure and wate...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
CSL
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
VLDB
1987
ACM
14 years 16 days ago
1987
ACM
A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The techni...