4978 search results - page 265 / 996 » Logical models of argument |
144
click to vote
MKM
2004
Springer
15 years 11 months ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
179
click to vote
ASP
2001
Springer
15 years 10 months ago
2001
Springer
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
125
click to vote
JCNS
2006
15 years 5 months ago
2006
We construct a neuronal network to model the logic of associative conditioning as revealed in experimental results using the terrestrial mollusk Limax maximus. We show, in particul...
158
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
158
click to vote
PATMOS
2004
Springer
15 years 11 months ago
2004
Springer
Basic combinational gates, including NAND, NOR and XOR, are fundamental building blocks in CMOS digital circuits. This paper analyses and compares the power consumption due to tran...