Work

Model Checking Multi-Agent Programs with CASP

Year: 2003

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-45069-6_10

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

Institutions: University of Liverpool, Ames Research Center, Research Institute for Advanced Computer Science

Language: English

Topic: Multi-Agent Systems and Negotiation

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1580713326

FWCI: 4.191

Cites: 10

Cited by: 52

Related to: 10