AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically

Go Generating

AI Traceability

AI parses the academic lineage of this thesis

Generate MRT

Practical First-Order Argumentation

AAAI, pp.590-595, (2005)

Cited: 56|Views7

Full Text

Other Links

dl.acm.org academic.microsoft.com dblp.uni-trier.de

Bibtex

Keywords

conflicting argumentpractical first-order argumentationargument treeformal representationkey pointMore(8+)

Abstract

There are many frameworks for modelling argumentation in logic. They include a formal representation of individual ar- guments and techniques for comparing conflicting arguments. A problem with these proposals is that they do not consider arguments for and against first-order formulae. We present a framework for first-order logic argument...More

Code:

Data:

Full Text

PPT (Upload PPT)

Similar

Reference

Cited

Author

Philippe Besnard

[0]

Anthony Hunter

[0]

Your rating :

No Ratings