2585 search results - page 273 / 517 » Automating Coherent Logic |
105
click to vote
ECSQARU
2005
Springer
16 years 5 days ago
2005
Springer
This paper is centered on the family of Dung’s finite argumentation frameworks when the attacks relation is symmetric (and nonempty and irreflexive). We show that while this fa...
163
click to vote
ISCIS
2004
Springer
16 years 14 hour ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
154
click to vote
NMR
2004
Springer
16 years 6 hour ago
2004
Springer
We propose in this paper a new family of belief merging operators, that is based on a game between sources : Until a coherent set of sources is reached, at each round a contest is...
181
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Clock gating is the insertion of combinational logic along the clock path to prevent the unnecessary switching of registers and reduce dynamic power consumption. The conditions un...
151
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Highly regular, nanodevice based architectures have been proposed to replace pure CMOS based architectures in the emerging post CMOS era. Since bottom-up self-assembly is used to ...