@inproceedings{ab77a76e6b22419f8648e48a9f8245ff,
title = "A new semantics of social commitments using Branching Space-Time logic",
abstract = "Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representations and evolved the commitments as {"}world-wide{"} states called moments. These approaches do not capture the space and space-like dimensions and ignore the causal relation between the participating agents. This paper presents a significant step towards developing a new logical semantics of social commitments based on Branching Space-Time (BST) logic. The contributions of this paper are threefold: first, we reformulate BST-logic from philosophical perspective to computational logic being used in computer science discipline; second, we enhance this logic with social commitments (propositional and conditional) and space-like modalities; and third, we present a new semantics model for social commitments and two-party operations that manipulate commitments in the same framework.",
keywords = "Branching Space-Time, Social commitments, Space-like operator",
author = "M. El-Menshawy and J. Bentahar and R. Dssouli",
year = "2009",
doi = "10.1109/WI-IAT.2009.333",
language = "British English",
isbn = "9780769538013",
series = "Proceedings - 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009",
pages = "492--496",
booktitle = "Proceedings - 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009",
note = "2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009 ; Conference date: 15-09-2009 Through 18-09-2009",
}