Analyzing open source license compatibility issues with Carneades

Abstract

The Carneades software system provides support for constructing, evaluating and visualizing arguments, using formal representations of facts, concepts, defeasible rules and argumentation schemes. This paper illustrates features of Carneades with a prototype legal application for analyzing open source software license compatibility issues in particular cases. The Carneades system provides a unique combination of features that make to our knowledge applications of this kind possible for the first time.