Agents and Multi-Agent Systems (MAS) are a technology that has many fields of application, which extend also to human sciences and where Computational Logic has been widely applied. In this paper, we join together two of our long-lasting lines of work in this field. In particular, we introduce time and time intervals into the epistemic logic L-DINF, that copes with group dynamics in MAS.
Temporalizing Epistemic Logic L-DINF
Costantini S.
;Formisano A.
;Pitoni V.
2022-01-01
Abstract
Agents and Multi-Agent Systems (MAS) are a technology that has many fields of application, which extend also to human sciences and where Computational Logic has been widely applied. In this paper, we join together two of our long-lasting lines of work in this field. In particular, we introduce time and time intervals into the epistemic logic L-DINF, that copes with group dynamics in MAS.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
cilc2022-CFP-CEUR-Final.pdf
accesso aperto
Tipologia:
Documento in Versione Editoriale
Licenza:
Creative commons
Dimensione
454.05 kB
Formato
Adobe PDF
|
454.05 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
