Switch to: References

Add citations

You must login to add citations.
  1. Representation of Formal Dispute with Astanding Order.Gerard A. W. Vreeswijk - 2000 - Artificial Intelligence and Law 8 (2-3):205-231.
    Computational dialectics is concerned with the formal representation of argument and dispute. The field emerged from developments in philosophy, artificial intelligence and legal theory. Its goal is to suggestalgorithms, procedures and protocols to investigate the tenability of logical claims, on the basis of information in the form of rules and cases. Currently, the field slowlyconverges to the opinion that dispute is the most fair and effective way to investigate claims. The basic assumption of this field is that dispute is the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • An Exercise in Formalising Teleological Case-Based Reasoning.Henry Prakken - 2002 - Artificial Intelligence and Law 10 (1-3):113-133.
    This paper takes up Berman and Hafner's (1993) challenge to model legal case-based reasoning not just in terms of factual similarities and differences but also in terms of the values that are at stake. The formal framework of Prakken and Sartor (1998) is applied to examples of case-based reasoning involving values, and a method for formalising such examples is proposed. The method makes it possible to express that a case should be decided in a certain way because that advances certain (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations