857 search results - page 11 / 172 » Compositional Semantics in Verbmobil |
VLDB
1994
ACM
13 years 11 months ago
1994
ACM
Making a database system active entails developing an expressive event specification language with well-defined semantics, algorithms for the detection of composite events, and an...
TCS
2002
13 years 7 months ago
2002
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
ICIP
1999
IEEE
14 years 9 months ago
1999
IEEE
ASP
2005
Springer
14 years 28 days ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
BIRTHDAY
2004
Springer
14 years 24 days ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...