One of the crucial reasons for adding semantic descriptions to Web services is to enable intelligent discovery, removing the need for a human to manually search and browse textual ...
This paper provides a theoretical basis for performing time limited planning within Belief-Desire-Intention (BDI) agents. The BDI agent architecture is recognised as one of the mo...
Building up spatial data infrastructures involves the task of dealing with heterogeneous data sources which often bear inconsistencies and contradictions, respectively. One main re...
One of the major goals in the development of virtual environments in recent years has been to create more and more realistic scenery, characters and natural human forms of interact...
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...