1269 search results - page 71 / 254 » Pi-Calculus in Logical Form |
124
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...
143
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
141
click to vote
ATAL
1999
Springer
15 years 9 months ago
1999
Springer
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
160
Voted
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicab...
125
Voted
EUSFLAT
2003
15 years 6 months ago
2003
Emerging approaches to enforce some form of protection in (pseudo)anonymous peer to peer systems propose the use of reputations as a means to establish the reliability of servents...