178 search results - page 9 / 36 » Dependability Arguments with Trusted Bases |
JAR
2006
13 years 7 months ago
2006
To simplify the task of proving termination and AC-termination of term rewriting systems, elimination transformations have been vigorously studied since the 1990's. Dummy elim...
ARGMAS
2009
Springer
14 years 2 months ago
2009
Springer
Resolving the semantic heterogeneity problem is crucial to allow interoperability between ontology-based systems. Ontology matching based on argumentation is an innovative research...
IMC
2005
ACM
14 years 29 days ago
2005
ACM
The Domain Name System, DNS, is based on nameserver delegations, which introduce complex and subtle dependencies between names and nameservers. In this paper, we present results f...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we study how argumentation can be used as a basis for negotiation between autonomous agents, where negotiation strategies of the different parties are represented a...
CHI
2003
ACM
14 years 7 months ago
2003
ACM
E-commerce stretches interactions over space and time, and thus requires more trust than traditional shopping. Current approaches to building trust in e-commerce focus on cognitiv...