2688 search results - page 254 / 538 » A formal semantics for P3P |
174
click to vote
IDEAS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present an extensible and customizable framework for the autonomous discovery of Semantic Web services based on their QoS properties. Using semantic technologies, users can spe...
161
click to vote
SEMWEB
2007
Springer
16 years 24 days ago
2007
Springer
The ability to compute the differences that exist between two RDF models is an important step to cope with the evolving nature of the Semantic Web (SW). In particular, RDF Deltas c...
196
click to vote
SPIN
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
199
click to vote
ASP
2005
Springer
16 years 7 days 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...
173
click to vote
DALT
2005
Springer
16 years 4 days ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...