528 search results - page 34 / 106 » Transition Logic Revisited |
115
Voted
JAIR
2007
15 years 1 months ago
2007
It is widely recognized today that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are...
114
click to vote
IGPL
2010
14 years 11 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
102
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
103
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
A probabilistic power estimation technique for combinational circuits is presented. A novel set of simple waveforms is the kernel of this technique. The transition density of each...
115
Voted
ISSS
1998
IEEE
15 years 6 months ago
1998
IEEE
After being niche markets for several years, application markets for one-chip integration of large DRAMs and logic circuits are growing very rapidly as the transition to 0.25