2145 search results - page 159 / 429 » Lax Logical Relations |
103
Voted
GLVLSI
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper introduces pass-transistor logic design with dualthreshold voltages. A set of single-rail, fully restored, passtransistor gates are presented. Logic transistors are imp...
97
Voted
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...
104
click to vote
WCFLP
2005
ACM
15 years 6 months ago
2005
ACM
Programmers need mechanisms to store application specific data that persists multiple program runs. To accomplish this task, they usually have to deal with storage specific code...
97
Voted
KR
1998
Springer
15 years 4 months ago
1998
Springer
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
135
click to vote
PODC
1990
ACM
15 years 4 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...