Towards a Verification Framework for Communicating Rational Agents

BOOK-CHAPTER

Year: 2009 Lecture notes in computer science Pages: 177-182 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-642-04143-3_16

Keywords:

Computer science Modal logic Programming language Semantics (computer science) Logic programming Modal Description logic Theoretical computer science

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.16

Citation Normalized Percentile

Is in top 1%

Is in top 10%

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