Logo del repository
  1. Home
 
Opzioni

Temporalizing Epistemic Logic L-DINF

Costantini S.
•
Formisano A.
•
Pitoni V.
2022
  • conference object

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.
Archivio
https://hdl.handle.net/11390/1234985
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85138284027
https://ricerca.unityfvg.it/handle/11390/1234985
Diritti
open access
Soggetti
  • Agents and Multi-Agen...

  • Epistemic Logic Progr...

  • Temporal Reasoning

google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback