Switch to: References

Add citations

You must login to add citations.
  1. Alternative foundations for Reiter's default logic.Thomas Linke & Torsten Schaub - 2000 - Artificial Intelligence 124 (1):31-86.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach.Björn Lellmann, Francesca Gulisano & Agata Ciabattoni - 2020 - Artificial Intelligence and Law 29 (3):351-394.
    Over the course of more than two millennia the philosophical school of Mīmāṃsā has thoroughly analyzed normative statements. In this paper we approach a formalization of the deontic system which is applied but never explicitly discussed in Mīmāṃsā to resolve conflicts between deontic statements by giving preference to the more specific ones. We first extend with prohibitions and recommendations the non-normal deontic logic extracted in Ciabattoni et al. from Mīmāṃsā texts, obtaining a multimodal dyadic version of the deontic logic \. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • An argument-based approach to reasoning with specificity.Phan Minh Dung & Tran Cao Son - 2001 - Artificial Intelligence 133 (1-2):35-85.