1536 search results - page 148 / 308 » The Underlying Logic of Hoare Logic |
146
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
168
click to vote
VTS
2002
IEEE
15 years 11 months ago
2002
IEEE
Parallel test application helps reduce the otherwise considerable test times in SOCs; yet its applicability is limited by average and peak power considerations. The typical test v...
162
click to vote
TARK
1998
Springer
15 years 10 months ago
1998
Springer
If one has attributed certain initial beliefs to an agent, it is sometimes possible to reason about further beliefs the agent must hold by observing what conclusions one's ow...
185
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we propose a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
169
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...