A formal analysis of the AIF in terms of the ASPIC framework.

Floris Bex Henry Prakken Chris Reed

Published in: COMMA (2010)

Keyphrases

formal analysis
main contribution
data sets
low cost
open source
information retrieval
artificial intelligence
web services
relational databases
co occurrence
lightweight
business process
formal methods