2500 search results - page 116 / 500 » Logical Semantics of Modularisation |
131
click to vote
TKDE
2010
14 years 9 months ago
2010
We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end users. In particular, we show how the function-bas...
126
click to vote
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...
142
click to vote
AGENTCL
2000
Springer
15 years 7 months ago
2000
Springer
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...
124
click to vote
SWAP
2008
15 years 4 months ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
125
click to vote
PSSS
2003
15 years 4 months ago
2003
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...