3053 search results - page 62 / 611 » A Logic of Abstract Argumentation |
154
click to vote
ISLPED
2003
ACM
15 years 11 months ago
2003
ACM
Traditional pulldown comparators that are used to implement associativeaddressing logic in superscalar microprocessors dissipate energy on a mismatch in any bit position in the co...
208
click to vote
AAMAS
2005
Springer
15 years 6 months ago
2005
Springer
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
170
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...
131
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present new careful semantics within Dung’s theory of argumentation. Under such careful semantics, two arguments cannot belong to the same extension whenever one of ...
163
click to vote
FOSSACS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...