Sciweavers

546 search results - page 43 / 110
» An Action Semantics for MML
Sort
View
IFM
2005
Springer
15 years 7 months ago
A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
Héctor Ruíz Barradas, Didier Bert
CORR
1998
Springer
66views Education» more  CORR 1998»
15 years 1 months ago
Textual Economy through Close Coupling of Syntax and Semantics
We focus on the productionof efficient descriptionsof objects, actions and events. We define a type of efficiency, textualeconomy, thatexploitsthe hearer’s recognitionof infe...
Matthew Stone, Bonnie L. Webber
COMPSAC
2008
IEEE
15 years 8 months ago
Towards Engineering Ontologies for Cognitive Profiling of Agents on the Semantic Web
Research shows that most agent-based collaborations suffer from lack of flexibility. This is due to the fact that most agent-based applications assume pre-defined knowledge of age...
Amna Basharat, Gabriella Spinelli
SEMCO
2007
IEEE
15 years 8 months ago
Semantic annotation and retrieval of video events using multimedia ontologies
Effective usage of multimedia digital libraries has to deal with the problem of building efficient content annotation and retrieval tools. In this paper Multimedia Ontologies, th...
Andrew D. Bagdanov, Marco Bertini, Alberto Del Bim...
ATAL
2005
Springer
15 years 7 months ago
Layered message semantics using social commitments
Although mental states have its own place in the definition of message semantics, social commitments have emerged as a complementing element to circumvent the limitations of usin...
Roberto A. Flores, Philippe Pasquier, Brahim Chaib...