402 search results - page 48 / 81 » Verification of Distributed Knowledge in Semantic Knowledge ... |
119
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
133
click to vote
ICC
2007
IEEE
15 years 5 months ago
2007
IEEE
Overlay networks have shown tremendous potential in solving large scale data dissemination problem by employing peer-to-peer communication protocols. These networks, however, have ...
121
click to vote
SKG
2006
IEEE
15 years 7 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
131
click to vote
AMAI
2006
Springer
15 years 1 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
136
click to vote
ASP
2005
Springer
15 years 7 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...