BOOK-CHAPTER

Towards a Verification Framework for Communicating Rational Agents

Nils BullingKoen V. Hindriks

Year: 2009 Lecture notes in computer science Pages: 177-182   Publisher: Springer Science+Business Media
Keywords:
Computer science Modal logic Programming language Semantics (computer science) Logic programming Modal Description logic Theoretical computer science

Metrics

1
Cited By
0.00
FWCI (Field Weighted Citation Impact)
9
Refs
0.16
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Multi-Agent Systems and Negotiation
Physical Sciences →  Computer Science →  Artificial Intelligence
Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence
Semantic Web and Ontologies
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

BOOK-CHAPTER

Communicating rational agents

B. van LinderWiebe van der HoekJohn-Jules Meyer

Lecture notes in computer science Year: 1994 Pages: 202-213
BOOK-CHAPTER

Towards Limited Rational Agents

The MIT Press eBooks Year: 1991 Pages: 171-186
BOOK-CHAPTER

A Model of Rational Agency for Communicating Agents

Shakil M. KhanYves Lespérance

Lecture notes in computer science Year: 2005 Pages: 242-259
BOOK-CHAPTER

Decidability Borders of Verification of Communicating Datalog Agents

Francesco Di Cosmo

Lecture notes in computer science Year: 2023 Pages: 507-513
JOURNAL ARTICLE

Verification of Distributed Systems Using Structured Communicating Agents Nets.

Elie Najm

Journal:   Internal Medicine Journal Year: 1984 Vol: 53 (9)Pages: 295-308
© 2026 ScienceGate Book Chapters — All rights reserved.