Work

Model checking agentspeak

Year: 2003

Type: conference-paper

Source: Adaptive Agents and Multi-Agents Systems

DOI: 10.1145/860575.860641

Authors: Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge

Institution: University of Liverpool

Language: English

Topic: Multi-Agent Systems and Negotiation

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1976097854

FWCI: 16.96

Cites: 22

Cited by: 164

Related to: 10