1419 search results - page 115 / 284 » Notes on Formalizing Context |
132
click to vote
SGAI
2007
Springer
16 years 11 days ago
2007
Springer
Argumentation has proved to be a very influential reasoning mechanism particularly in the context of multi agent systems. In this paper we introduce PADUA (Protocol for Argumenta...
214
click to vote
VLDB
2007
ACM
16 years 11 days ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
164
click to vote
EUROMICRO
2006
IEEE
16 years 9 days ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
159
click to vote
WMTE
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper we report early findings from a sample of Australian participants using Nokia’s Lifeblog software on mobile phones to record aspects of living and learning in both...
142
click to vote
IUI
2005
ACM
15 years 11 months ago
2005
ACM
When designing mixed-initiative systems, full formalization of all potentially relevant knowledge may not be cost-effective or practical. This paper motivates the need for semi-fo...