This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
Mehdi Dastani, Frank S. de Boer, Frank Dignum, Joh...
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...
Michael D. Hendricks, Max J. Egenhofer, Kathleen H...
—Captions in videos play a significant role for automatically understanding and indexing video content, since much semantic information is associated with them. This paper presen...
Over the past decade there has been a surge of academic and industrial interest in optimistic concurrency, i.e. the speculative parallel execution of code regions that have the se...
For many problems arising in the setting of graph querying (such as finding semantic associations in RDF graphs, exact and approximate pattern matching, sequence alignment, etc.)...