Sciweavers

383 search results - page 62 / 77
» On the bipolarity in argumentation frameworks
Sort
View
80
Voted
CONCUR
2006
Springer
15 years 3 months ago
Weak Bisimulation Up to Elaboration
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...
Damien Pous
ECAI
2006
Springer
15 years 3 months ago
Towards ACL Semantics Based on Commitments and Penalties
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...
Leila Amgoud, Florence Dupin de Saint-Cyr
IFIP13
2004
15 years 1 months ago
Failure Analysis and the Safety-Case Lifecycle
: 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...
William S. Greenwell, Elisabeth A. Strunk, John C....
ECIS
2000
15 years 1 months ago
The Exercise of Power and Information Systems Strategy: The Need for a New Perspective
- Computer based information systems (IS) in work-based organisation are generally acknowledged as incorporating a social as well as technical dimension. Information system strateg...
K. S. Horton
CORR
2007
Springer
111views Education» more  CORR 2007»
14 years 11 months ago
Separable and Low-Rank Continuous Games
— 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...
Noah D. Stein, Asuman E. Ozdaglar, Pablo A. Parril...