3891 search results - page 523 / 779 » A logic for strategic reasoning |
179
click to vote
TARK
2005
Springer
16 years 5 days ago
2005
Springer
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...
201
click to vote
KR
2004
Springer
16 years 2 days ago
2004
Springer
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...
162
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the or...
188
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. Knowledge discovery is a time-consuming and space intensive endeavor. By distributing such an endeavor, we can diminish both time and space. System INDED pronounced indee...
220
click to vote
ISKI
1994
15 years 10 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...