The Cognitive Agents Specification Language and Verification Environment

DOI10.1007/978-1-4419-6984-2_10zbMath1201.68127OpenAlexW1502812478MaRDI QIDQ3056334

Hector J. Levesque, Yves Lespérance, Steven Shapiro

Publication date: 11 November 2010

Published in: Specification and Verification of Multi-agent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4419-6984-2_10

zbMATH Keywords

multiagent systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Related Items (4)

Bounded situation calculus action theories ⋮ Progression and verification of situation calculus agents with bounded beliefs ⋮ A logical theory of localization ⋮ Verifying Systems of Resource-Bounded Agents

Uses Software

• GOLOG
• PVS

This page was built for publication: The Cognitive Agents Specification Language and Verification Environment