6 found
Order:
  1.  28
    The ASPIC+ Framework for Structured Argumentation: A Tutorial.Sanjay Modgil & Henry Prakken - 2014 - Argument and Computation 5 (1):31-62.
  2.  60
    Introduction to Structured Argumentation.Philippe Besnard, Alejandro Garcia, Anthony Hunter, Sanjay Modgil, Henry Prakken, Guillermo Simari & Francesca Toni - 2014 - Argument and Computation 5 (1):1-4.
    In abstract argumentation, each argument is regarded as atomic. There is no internal structure to an argument. Also, there is no specification of what is an argument or an attack. They are assumed to be given. This abstract perspective provides many advantages for studying the nature of argumentation, but it does not cover all our needs for understanding argumentation or for building tools for supporting or undertaking argumentation. If we want a more detailed formalization of arguments than is available with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  10
    Normality, Non-contamination and Logical Depth in Classical Natural Deduction.Marcello D’Agostino, Dov Gabbay & Sanjay Modgil - 2020 - Studia Logica 108 (2):291-357.
    In this paper we provide a detailed proof-theoretical analysis of a natural deduction system for classical propositional logic that represents classical proofs in a more natural way than standard Gentzen-style natural deduction, admits of a simple normalization procedure such that normal proofs enjoy the Weak Subformula Property, provides the means to prove a Non-contamination Property of normal proofs that is not satisfied by normal proofs in the Gentzen tradition and is useful for applications, especially in formal argumentation, naturally leads to (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  4.  16
    Norms and Value Based Reasoning: Justifying Compliance and Violation.Trevor Bench-Capon & Sanjay Modgil - 2017 - Artificial Intelligence and Law 25 (1):29-64.
    There is an increasing need for norms to be embedded in technology as the widespread deployment of applications such as autonomous driving, warfare and big data analysis for crime fighting and counter-terrorism becomes ever closer. Current approaches to norms in multi-agent systems tend either to simply make prohibited actions unavailable, or to provide a set of rules which the agent is obliged to follow, either as part of its design or to avoid sanctions and punishments. In this paper we argue (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  18
    Warsaw Argumentation Week (Waw 2018) Organised by the Polish School of Argumentation and Our Colleagues From Germany and the UK, 6th-16th September 2018. [REVIEW]Katarzyna Budzynska, Michał Araszkiewicz, Agnieszka Budzyńska-Daca, Martin Hinton, John Lawrence, Sanjay Modgil, Matthias Thimm, Jacky Visser, Tomasz Żurek, Marcin Koszowy, Katie Atkinson, Kamila Dębowska-Kozłowska, Magdalena Kacprzak, Paweł Łupkowski, Barłomiej Skowron, Mariusz Urbański & Maria Załęska - 2018 - Studies in Logic, Grammar and Rhetoric 55 (1):231-239.
    In September 2018, the ArgDiaP association, along with colleagues from Germany and the UK, organised one of the longest and most interdisciplinary series of events ever dedicated to argumentation - Warsaw Argumentation Week, WAW 2018. The eleven-day ‘week’ featured a five day graduate school on computational and linguistic perspectives on argumentation ; five workshops: on systems and algorithms for formal argumentation, argumentation in relation to society, philosophical approaches to argumentation, legal argumentation and argumentation in rhetoric ; and two conferences: on (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  11
    Monitoring Compliance with E-Contracts and Norms.Sanjay Modgil, Nir Oren, Noura Faci, Felipe Meneguzzi, Simon Miles & Michael Luck - 2015 - Artificial Intelligence and Law 23 (2):161-196.
    The behaviour of autonomous agents may deviate from that deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a means to regulate agent behaviours in open and dynamic systems, where these norms specify the obliged, permitted and prohibited behaviours of agents. Regulation can effectively be achieved through use of enforcement mechanisms that result in a net loss of utility for an agent in cases where the agent’s behaviour (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark