Year:

Forthcoming articles
  1. Mare Koit & Haldur Õim (forthcoming). A Computational Model of Argumentation in Agreement Negotiation Processes. Argument and Computation:1-28.
    The paper describes a computational model that we have implemented in an experimental dialogue system . Communication in a natural language between two participants A and B is considered, where A has a communicative goal that his/her partner B will make a decision to perform an action D. A argues the usefulness, pleasantness, etc. of D , in order to guide B's reasoning in a desirable direction. A computational model of argumentation is developed, which includes reasoning. Our model is based (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Tangming Yuan, Tim Kelly & Tianhua Xu (forthcoming). Computer-Assisted Safety Argument Review – a Dialectics Approach. Argument and Computation:1-19.
    There has been increasing use of argument-based approaches in the development of safety-critical systems. Within this approach, a safety case plays a key role in the system development life cycle. The key components in a safety case are safety arguments, which are designated to demonstrate that the system is acceptably safe. Inappropriate reasoning in safety arguments could undermine a system's safety claims which in turn contribute to safety-related failures of the system. The review of safety arguments is therefore a crucial (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Ofer Arieli & Christian Straßer (forthcoming). Sequent-Based Logical Argumentation. Argument and Computation:1-27.
    We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks between arguments are represented by sequent elimination rules, and deductions are made according to Dung-style skeptical or credulous semantics. This framework accommodates different languages and logics in which arguments may be represented, allows for a flexible and simple way of expressing and identifying arguments, supports a variety of attack relations , and is faithful to standard methods of drawing (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Peter Novák & Cees Witteveen (forthcoming). Context-Aware Reconfiguration of Large-Scale Surveillance Systems: Argumentative Approach. Argument and Computation:1-21.
    The Metis research project aims at supporting maritime safety and security by facilitating continuous monitoring of vessels in national coastal waters and prevention of phenomena, such as vessel collisions, environmental hazard, or detection of malicious intents, such as smuggling. Surveillance systems such as Metis typically comprise a number of heterogeneous information sources and information aggregators. Among the main problems of their deployment lies their scalability with respect to a potentially large number of monitored entities. One of the solutions to the (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation