402 search results - page 48 / 81 » Verification of Distributed Knowledge in Semantic Knowledge ... |
172
click to vote
ATAL
2010
Springer
15 years 5 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...
182
click to vote
ICC
2007
IEEE
15 years 9 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 ...
155
click to vote
SKG
2006
IEEE
15 years 11 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 ...
175
click to vote
AMAI
2006
Springer
15 years 5 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...
175
click to vote
ASP
2005
Springer
15 years 11 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...