Decidability Borders of Verification of Communicating Datalog Agents

Francesco Di Cosmo

doi:10.1007/978-3-031-43264-4_39

Back

Decidability Borders of Verification of Communicating Datalog Agents

Conference proceeding

Peer reviewed

Decidability Borders of Verification of Communicating Datalog Agents

Francesco Di Cosmo

Multi-Agent Systems: 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, Vol.14282, pp.507-513

14282

20th European Conference, EUMAS 2023 (Naples, 14/09/2023–15/09/2023)

2023

DOI: https://doi.org/10.1007/978-3-031-43264-4_39

Handle:

https://hdl.handle.net/10863/50663

Abstract

Petri-Nets

Data-Centricity

Logic Programming

We present our recent results in charting the decidability boundary of formal verification of Communicating Datalog Agents, a multi-agent system grounded in logic programming.

Files and links (1)

url

https://doi.org/10.1007/978-3-031-43264-4_39View

Details

Title: Decidability Borders of Verification of Communicating Datalog Agents
Creators: Francesco Di Cosmo - Free University of Bozen-Bolzano
Publication Details: Multi-Agent Systems: 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, Vol.14282, pp.507-513
Editor(s): Malvone V, Murano A
ISBN: 9783031432637
Conference: 20th European Conference, EUMAS 2023 (Naples, 14/09/2023–15/09/2023)
Series / Volume: 14282
Publisher: Springer
Number of pages: 7
Identifiers: 978-303143263-7
(UNIBZ)90911376
991007246740201241
Scopus ID: 2-s2.0-85171997170
Academic Unit: Faculty of Engineering
Language: English
Resource Type: Conference proceeding
Author Names String: Di Cosmo F
Additional Description: Editors/Supervisors: Malvone V, Murano A

Metrics

1 Record Views