Sciweavers

682 search results - page 95 / 137
» Situated Semantic Alignment
Sort
View
KI
2007
Springer
14 years 2 months ago
Integrating Action Calculi and Description Logics
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
Conrad Drescher, Michael Thielscher
LPNMR
2007
Springer
14 years 2 months ago
General Default Logic
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
Yi Zhou, Fangzhen Lin, Yan Zhang
ACOM
2006
Springer
14 years 2 months ago
Using Social Commitments to Control the Agents' Freedom of Speech
Communication is essential in multi-agent systems, since it allows agents to share knowledge and to coordinate. However, in open multi-agent systems, autonomous and heterogeneous a...
Guillaume Muller, Laurent Vercouter
BPM
2005
Springer
101views Business» more  BPM 2005»
14 years 2 months ago
Service Retrieval Based on Behavioral Specifications and Quality Requirements
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...
Daniela Grigori, Verónika Peralta, Mokrane ...
GBRPR
2005
Springer
14 years 2 months ago
A Graph-Based, Multi-resolution Algorithm for Tracking Objects in Presence of Occlusions
One of the main difficult problem in video analysis is to track moving objects during a video sequence, especially in presence of occlusions. Unfortunately, almost all the differ...
Donatello Conte, Pasquale Foggia, Jean-Michel Joli...