Logical Formalisms for Agreement Technologies - Mines Saint-Étienne Access content directly
Book Sections Year : 2013

Logical Formalisms for Agreement Technologies

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.

Domains

Modeling and Simulation

Florent Breuil  : Connect in order to contact the contributor

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

Submitted on : Tuesday, January 15, 2013-9:06:11 AM

Last modification on : Tuesday, February 28, 2023-3:36:22 PM

No file

Dates and versions

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

Identifiers

Cite

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⟩

Export

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 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More