2500 search results - page 19 / 500 » Logical Semantics of Modularisation |
ESOP
2005
Springer
15 years 4 months ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...
LPNMR
2007
Springer
15 years 4 months ago
2007
Springer
In this paper by considering an answer set programming approach and some basic ideas from possibilistic logic, we introduce a possibilistic disjunctive logic programming approach t...
RULEML
2004
Springer
15 years 4 months ago
2004
Springer
FUIN
2008
14 years 10 months ago
2008
GCC
2003
Springer
15 years 3 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...