383 search results - page 62 / 77 » On bipolarity in argumentation frameworks |
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
81
Voted
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
79
Voted
IFIP13
2004
14 years 11 months ago
2004
: The failure of a safety-critical system, though undesirable, is often a source of valuable lessons that can help prevent future failures. Current analysis practices do not always...
ECIS
2000
14 years 11 months ago
2000
- Computer based information systems (IS) in work-based organisation are generally acknowledged as incorporating a social as well as technical dimension. Information system strateg...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
— Separable games are a structured subclass of continuous games whose payoffs take a sum-of-products form; the zero-sum case has been studied in earlier work. Included in this su...