8228 search results - page 239 / 1646 » Structural Logical Relations |
182
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...
150
Voted
ICTAI
2005
IEEE
15 years 10 months ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
124
click to vote
PATMOS
2004
Springer
15 years 10 months ago
2004
Springer
The main result is the development, and delay comparison based on Logical Effort, of a number of high speed circuits for common arithmetic and related operations using threshold l...
133
Voted
AUSAI
2003
Springer
15 years 10 months ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
132
Voted
LICS
1994
IEEE
15 years 9 months ago
1994
IEEE
The original semantics of Evaluation Logic in [Mog93] relies on additional properties of strong monads. This paper extends the original semantics by dropping all additional requir...