- 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 ...
Danny Chen, John Lastusky, James Starz, Stephen Ho...
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...
Attentive vision is characterized by selective sensing in space and time as well as selective processing with respect to a specic task. Selection in space involves the splitting ...
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...
Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dig...
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...