2722 search results - page 476 / 545 » Automating Language Evolution |
130
click to vote
CSL
2009
Springer
15 years 9 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
109
click to vote
OTM
2009
Springer
15 years 9 months ago
2009
Springer
When automating work, it is often desirable to compensate completed work by undoing the work done by one or more activities. In the context of workflow, where compensation actions...
122
Voted
PKDD
2009
Springer
15 years 9 months ago
2009
Springer
Probabilistic logics have attracted a great deal of attention during the past few years. While logical languages have taken a central position in research on knowledge representati...
131
click to vote
RR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...
166
Voted
RR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can ...