A functional perspective on argumentation schemes

In multi-agent systems (MAS), abstract argumentation and argumentation schemes are increasingly important. To be useful for MAS, argumentation schemes require a computational approach so that agents can use the components of a scheme to construct and present arguments and counterarguments. This paper proposes a syntactic analysis that integrates argumentation schemes with abstract argumentation. Schemes can be analysed into the roles that propositions play in each scheme and the structure of the associated propositions, yielding a greater understanding of the schemes, a uniform method of analysis, and a systematic means to relate one scheme to another. This analysis of the schemes helps to clarify what is needed to provide denotations of the terms and predicates in a semantic model

Foundations of implementations for formal argumentation

We survey the current state of the art of general techniques, as well as specific software systems for solving tasks in abstract argumentation frameworks, structured argumentation frameworks, and approaches for visualizing and analysing argumentation. Furthermore, we discuss challenges and promising techniques such as parallel processing and approximation approaches. Finally, we address the issue of evaluating software systems empirically with links to the International Competition on Computational Models of Argumentation

Ontologies for Legal Relevance and Consumer Complaints. A Case Study in the Air Transport Passenger Domain

Applying relevant legal information to settle complaints and disputes is a common challenge for all legal practitioners and laymen. However, the analysis of the concept of relevance itself has thus far attracted only sporadic attention. This thesis bridges this gap by understanding the components of complaints, and by defining relevant legal information, and makes use of computational ontologies and design patterns to represent this relevant knowledge in an explicit and structured way. This work uses as a case-study a real situation of consumer disputes in the Air Transport Passenger domain. Two artifacts were built: the Relevant Legal Information in Consumer Disputes Ontology, and its specialization, the Air Transport Passenger Incidents Ontology, aimed at modelling relevant legal information; and the Complaint Design Pattern proposed to conceptualize complaints. In order to demonstrate the ability of the ontologies to serve as a knowledge base for a computer program providing relevant legal information, a demonstrative application was developed

The Carneades web service

The Carneades Web Service is open source software providing APIs for argument construction, storage, navigation, querying, evaluation, visualization and interchange