Exceptions in Contract in Defeasible Logic
Abstract
Although contracts are a central mechanism for defining interactions between firms, there is currently inadequate business support for using the information provided by these contracts. Our work deals with contract's exceptions or violations, with the goal to automate the dispute resolution between business partners. Both, the representation of contracts and agents reasoning modules are captured by defeasible logic using Deimos. The framework includes also OAA agents responsible for: computing penalties, providing default rules and immutable rules, supporting the dispute resolution through argumentation.
Full citation
"Exceptions in Contract in Defeasible Logic", Letia, Ioan Alfred and Groza, Adrian, The 8th International Conference on Development and Application Systems pp. 374--381, Suceava, Romania, ISBN: 973-666-194-6, 2006.