5378 search results - page 755 / 1076 » Base Logics in Argumentation |
157
click to vote
CHES
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
170
click to vote
E4MAS
2005
Springer
16 years 10 days ago
2005
Springer
There is a lot of confusion on what the environment of a multi-agent system (MAS) comprises. Sometimes, researchers refer to the environment as the logical entity of a MAS in which...
163
click to vote
LPNMR
2005
Springer
16 years 9 days ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
142
click to vote
SEMWEB
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
174
click to vote
TLCA
2005
Springer
16 years 9 days ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...