653 search results - page 16 / 131 » Partial equilibrium logic |
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—In 3G wireless technologies, competitive operators are assigned a fixed part of the spectrum from long-term auctions. This is known to lead to utilization inefficiencies becau...
HOA
1993
13 years 11 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
JAPLL
2006
13 years 7 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
ECAI
2004
Springer
14 years 27 days ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
IOLTS
2003
IEEE
14 years 23 days ago
2003
IEEE
A methodology for the synthesis of partially selfchecking multilevel logic circuits with low-cost paritybased concurrent error detection (CED) is described. A subset of the inputs...