1634 search results - page 117 / 327 » Reasoning about Knowledge Using Rough Sets |
CORR
2006
Springer
13 years 10 months ago
2006
Springer
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often i...
SAT
2004
Springer
14 years 3 months ago
2004
Springer
This paper reports about the 2004 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the second in a series of non-competitive events established with the a...
AIIA
2005
Springer
14 years 11 days ago
2005
Springer
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...
EUROCAST
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
ECIS
2004
13 years 11 months ago
2004
The mobile medical information system investigated in the study is developed for mobilizing medical information and knowledge and for matching physicians' multiple needs, inc...