2106 search results - page 84 / 422 » Operational Semantics for DyLPs |
190
click to vote
IS
2006
15 years 6 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
189
click to vote
RAS
2008
15 years 5 months ago
2008
Task planning for mobile robots usually relies solely on spatial information and on shallow domain knowledge, like labels attached to objects and places. Although spatial informat...
150
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
Discovering links between different data items in a single data source or across different data sources is a challenging problem faced by many information systems today. In partic...
183
click to vote
APCCM
2009
15 years 7 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...
170
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...