1264 search results - page 123 / 253 » Towards Theory Translation |
SWWS
2008
13 years 10 months ago
2008
- The future of the Semantic Web envisions an interconnected network of data and systems where software agents can communicate seamlessly to perform complicated tasks with limited ...
UAI
2003
13 years 10 months ago
2003
This paper examines a number of solution methods for decision processes with non-Markovian rewards (NMRDPs). They all exploit a temporal logic specification of the reward functio...
AO
2007
13 years 9 months ago
2007
In open heterogeneous multi-agent systems, communication is hampered by lack of common ontologies. Ontologies may differ in naming conventions, granularity and scope. In such an en...
IPL
2008
13 years 9 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first ...