BOOK-CHAPTER

Decidability Borders of Verification of Communicating Datalog Agents

Francesco Di Cosmo

Year: 2023 Lecture notes in computer science Pages: 507-513   Publisher: Springer Science+Business Media
Keywords:
Datalog Decidability Computer science Programming language Logic programming Theoretical computer science Boundary (topology) Mathematics

Metrics

0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
20
Refs
0.32
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Topics

Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Multi-Agent Systems and Negotiation
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

JOURNAL ARTICLE

Verification of Unary Communicating Datalog Programs

C. AiswaryaDiego CalvaneseFrancesco Di CosmoMarco Montali

Journal:   Proceedings of the ACM on Management of Data Year: 2024 Vol: 2 (2)Pages: 1-26
JOURNAL ARTICLE

Communicating borders

Martin van der VeldeHenk van Houtum

Journal:   Journal of Borderlands Studies Year: 2003 Vol: 18 (1)Pages: 1-11
BOOK-CHAPTER

Towards a Verification Framework for Communicating Rational Agents

Nils BullingKoen V. Hindriks

Lecture notes in computer science Year: 2009 Pages: 177-182
© 2026 ScienceGate Book Chapters — All rights reserved.