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

Formisano A.;
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  
paper_13.pdf

accesso aperto

Tipologia: Versione Editoriale (PDF)
Licenza: Creative commons
Dimensione 557.55 kB
Formato Adobe PDF
557.55 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/1234985
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact