1912 search results - page 178 / 383 » On the evaluation of argumentation formalisms |
162
click to vote
SEMWEB
2007
Springer
16 years 19 days ago
2007
Springer
Semantic descriptions of non-textual media available on the web can be used to facilitate retrieval and presentation of media assets and documents containing them. While technologi...
127
click to vote
ICAS
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper presents an integrated architecture for ad hoc Grids developed within the Java CoG Kit project. It provides an overview of the key component frameworks that collectivel...
165
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...
160
click to vote
KI
2005
Springer
16 years 22 hour ago
2005
Springer
In this paper we present a highly modular planning system architecture. It is based on a proper formal account of hybrid planning, which allows for the formal definition of (flex...
149
click to vote
DIAGRAMS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...