4978 search results - page 294 / 996 » Logical models of argument |
144
Voted
DATE
2008
IEEE
16 years 16 days ago
2008
IEEE
This paper presents a concurrent error detection technique targeted towards control logic in a processor with emphasis on low area overhead. Rather than detect all modeled transie...
160
click to vote
ECSQARU
2007
Springer
16 years 7 days ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...
211
click to vote
VLDB
2007
ACM
16 years 5 days ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
158
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
157
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a first step towards a security model that defines access control for logical document structures. el benefits from roles to abstract from users and from secur...