Logical Formalisms for Agreement Technologies - Mines Saint-Étienne Accéder directement au contenu
Chapitre D'ouvrage Année : 2013

Logical Formalisms for Agreement Technologies

Résumé

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.

Domaines

Modélisation et simulation

Florent Breuil  : Connectez-vous pour contacter le contributeur

https://hal-emse.ccsd.cnrs.fr/emse-00776103

Soumis le : mardi 15 janvier 2013-09:06:11

Dernière modification le : mardi 28 février 2023-15:36:22

Fichier non déposé

Dates et versions

emse-00776103 , version 1 (15-01-2013)

Identifiants

Citer

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EMSE INSTITUT-TELECOM UR-LSTI-ENSMSE ISCODE-ENSMSE FAYOL-ENSMSE ISCOD-ENSMSE TDS-MACS
67 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More