4595 search results - page 393 / 919 » Reasoning about Plans |
198
click to vote
ENC
2003
IEEE
16 years 27 days ago
2003
IEEE
Societies are regulated by norms and, consequently, autonomous agents that want to be part of them must be able to reason about norms. However, no reasoning can be done if agents ...
179
click to vote
TPHOL
2003
IEEE
16 years 27 days ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
186
click to vote
CSL
2003
Springer
16 years 25 days ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
186
click to vote
HYBRID
2003
Springer
16 years 25 days ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
218
click to vote
ICCBR
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...