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.
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⟩
68 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More