5 search results - page 1 / 1 » Arguments in OWL: A Progress Report |
COMMA
2008
13 years 6 months ago
2008
Abstract. In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilo...
CORR
2011
Springer
12 years 8 months ago
2011
Springer
extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-cal...
TMRA
2005
Springer
13 years 10 months ago
2005
Springer
This report summarizes the eleven contributions by eight presenters from the two open space sessions that took place during the TMRA’05 workshop on 6th and 7th of October 2005. T...
COMMA
2006
13 years 6 months ago
2006
Abstract. In 2005, Gordon and Walton presented initial ideas for a computational model of defeasible argument [12, 26], which builds on and elaborates Walton's theory of argum...
PODS
1991
ACM
13 years 8 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...