3028 search results - page 319 / 606 » Integrating Temporal Logics |
160
click to vote
ICLP
1994
Springer
15 years 11 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
194
click to vote
AAAI
2007
15 years 9 months ago
2007
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
206
click to vote
FOMI
2009
15 years 4 months ago
2009
The semantic integration of manufacturing systems has been impeded by the lack of rigorous ontologies for specific domains of manufacturing processes and resources. In this paper w...
180
click to vote
CONCUR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
179
Voted
MSS
2003
IEEE
16 years 1 days ago
2003
IEEE
Data grids federate storage resources. They provide a logical name space that can be used to register digital entities, a storage repository ion for manipulating data, and a high ...