2500 search results - page 1 / 500 » Logical Semantics of Modularisation |
CSL
1991
Springer
13 years 10 months ago
1991
Springer
KCAP
2003
ACM
13 years 11 months ago
2003
ACM
Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for ‘normalisation’ to achieve analogous aims are s...
SLE
2009
Springer
14 years 26 days ago
2009
Springer
Modularisation can reduce the effort in designing and maintaining language specifications. Existing approaches to language modularisation are typically either focused on language ...
OWLED
2008
13 years 7 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
ATAL
2006
Springer
13 years 10 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...