1604 search results - page 14 / 321 » A Logical Viewpoint on Architectures |
76
Voted
DAGSTUHL
2007
14 years 11 months ago
2007
Abstract. In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible
DAC
2001
ACM
15 years 10 months ago
2001
ACM
DAC
2003
ACM
15 years 10 months ago
2003
ACM
139
Voted
ARVLSI
1995
IEEE
15 years 1 months ago
1995
IEEE
Precomputation is a recently proposed logic optimization technique which selectively disables the inputs of a sequential logic circuit, thereby reducing switching activity and pow...
TABLEAUX
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...