734 search results - page 56 / 147 » A Question-Answering System Using Argumentation |
127
click to vote
SOFSEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
114
Voted
AAAI
1998
15 years 4 months ago
1998
Our argumentation system, NAG, uses Bayesian networks in a user model and in a normative model to assemble and assess arguments which balance persuasiveness with normative correct...
143
click to vote
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Domain ontologies very rarely model verbs as relations holding between concepts. However, the role of the verb as a central connecting element between concepts is undenia...
155
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In order to obtain semantic interoperability in open MultiAgent Systems, agents need to agree on the basis of different ontologies. In this paper we formally define mapping as cor...
111
Voted
DEXA
2004
Springer
15 years 9 months ago
2004
Springer
Reasoning in legal and social domains appears not to be well dealt with by deductive approaches. This is because such reasoning is open-endedly defeasible, and because the various ...