Logical Formalisms for Agreement Technologies - Mines Saint-Étienne
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, September 17, 2024-3:45:58 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 UR-LSTI-ENSMSE ISCODE-ENSMSE FAYOL-ENSMSE ISCOD-ENSMSE TDS-MACS INSTITUT-MINES-TELECOM
74 View
0 Download

Altmetric

Share

More