2500 search results - page 258 / 500 » Logical Semantics of Modularisation |
164
click to vote
BPSC
2009
15 years 7 months ago
2009
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
150
click to vote
ENTCS
2006
15 years 6 months ago
2006
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
182
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Groenendijk and Stokhof (1984, 1996; Groenendijk 1999) provide a logically attractive theory of the semantics of natural language questions, commonly referred to as the partition t...
163
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
190
click to vote
JODL
2000
15 years 6 months ago
2000
Z39.50 is a client/server protocol widely used in digital libraries and museums for searching and retrieving information spread over a number of heterogeneous sources. To overcome ...