BOOK-CHAPTER
Decidability Borders of Verification of Communicating Datalog Agents
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
Lecture notes in computer science Year: 2009 Pages: 177-182
BOOK
Decidability of Parameterized Verification
Roderick BloemAyrat KhalimovSwen JacobsIgor KonnovHelmut VeithJosef WidderSasha Rubin
Synthesis lectures on distributed computing theory Year: 2015
JOURNAL ARTICLE
Decidability in Parameterized Verification
Roderick BloemSwen JacobsAyrat KhalimovIgor KonnovSasha RubinHelmut VeithJosef Widder
Journal: ACM SIGACT News Year: 2016 Vol: 47 (2)Pages: 53-64