Logical Formalisms for Agreement Technologies

Antoine Zimmermann 1, 2
1 ISCOD-ENSMSE - Equipe : Informatique pour les Systèmes Coopératifs, Ouverts Décentralisés
2 ISCOD-ENSMSE - Département Informatique pour les Systèmes Coopératifs Ouverts et Décentralisés
Abstract : This chapter provides an overview of the logical formalisms that have been proposed to define the formal semantics of knowledge systems that are distributed, heterogeneous and multi contextual. It starts with the abstract notions that are common to many of these logics, and then focuses on individual formalisms.
Type de document :
Chapitre d'ouvrage
Sascha Ossowski. Agreement Technologies, Springer Netherlands, pp 69-82, 2013, Law, Governance and Technology Series, 978-94-007-5582-6. 〈10.1007/978-94-007-5583-3_5〉
Liste complète des métadonnées
https://hal-emse.ccsd.cnrs.fr/emse-00776103
Contributeur : Florent Breuil <>
Soumis le : mardi 15 janvier 2013 - 09:06:11
Dernière modification le : mardi 22 mars 2016 - 01:16:24

Identifiants

Collections

FAYOL-ENSMSE | ISCOD-ENSMSE | EMSE | ISCODE-ENSMSE | UR-LSTI-ENSMSE | TDS-MACS

Citation

Antoine Zimmermann. Logical Formalisms for Agreement Technologies. Sascha Ossowski. Agreement Technologies, Springer Netherlands, pp 69-82, 2013, Law, Governance and Technology Series, 978-94-007-5582-6. 〈10.1007/978-94-007-5583-3_5〉. 〈emse-00776103〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

121

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD