@inbook {Efstathiou2009,
title = {An algorithm for generating arguments in classical predicate logic},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty},
year = {2009},
pages = {119{\textendash}130},
publisher = {Springer},
organization = {Springer},
abstract = {There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con icting arguments. A common assumption for logic-based argumentation is that an argument is a pair where is a minimal subset of the knowledgebase such that is consistent and entails the claim. Different logics provide different definitions for consistency and entailment and hence give us different options for argumentation. An appealing option is classical first-order logic which can express much more complex knowledge than possible with defeasible or classical propositional logics. However the computational viability of using classical first-order logic is an issue. Here we address this issue by using the notion of a connection graph and resolution with unification. We provide a theoretical framework and algorithm for this, together with some theoretical results.},
url = {http://www.csri.gr/files/publications/5.an agorithm for generating arguments in classical predicate logic.pdf},
author = {Vasiliki Efstathiou and Hunter, Anthony}
}