 |
 |
 |
Book sections
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.
https://hal-emse.ccsd.cnrs.fr/emse-00776103
Contributor : Florent Breuil Connect in order to contact the contributor
Submitted on : Tuesday, January 15, 2013 - 9:06:11 AM
Last modification on : Wednesday, June 24, 2020 - 4:19:08 PM
Contributor : Florent Breuil Connect in order to contact the contributor
Submitted on : Tuesday, January 15, 2013 - 9:06:11 AM
Last modification on : Wednesday, June 24, 2020 - 4:19:08 PM